, .
: ( = 2).
: , α ( ) β( ) ( = 3).
, . GCH , GEDH (.9
).
.9
, α β , EN DF. . , EN, α (, 1 1). + α. α. , F, , α - β- .
, F D, . , DF β- (, IV 2 3 ). , , , β- α|| (, IV), β- . DF. β , β . ( ), α- , β- (.10). , , , α|| ( α ), .
|
|
N , .. α- , D F - , .. β- .
E D ED, , - . , , , . , α β. (α + β), : → αE + βD. , , .. , .
, , -. α - (, II 1). (, 1 2) + α. EC (, 2) , ( /
, D -. β- (, III 1) (, III 1 2) + β. CD , , .. → (α + β). , . DF. ( DF) , . β αII||. , (, 111 2) : β + (α + β) + αII. - β, (α + β) αII, α- β.