G1 (. 4.1.) 䳿:
, ;
;
;
, , ;
.
. 4.1. G1
. 4.2. G2
G2 (. 4.2.) 䳿:
, ;
;
.
(. 4.1., 4.2.) G3 䳿:
4.1
x1 | x2 | x3 | x4 | x5 | x6 | |
X1 | ||||||
X2 | ||||||
X3 | ||||||
X4 | ||||||
X5 | ||||||
X6 |
4.2
x1 | x2 | x3 | x4 | x5 | |
X1 | |||||
X2 | |||||
X3 | |||||
X4 | |||||
X5 |
, ;
, ;
.
j = (M, P), = (1, 2, 3, 4) = 2\Em, .
.
G4 (. 4.3.) 䳿:
5 8 1 4;
1 4;
;
.
. 4.3. G4
, , , - .
-, , .
FG = ({x2, x3, x4}, {x4, x5}, {x4}, {Æ}, {x3, x4, x5}).
-1 , , , .
P = ({x5}, {x1, x2}, {x2}, {x1, x2}, {x4}, {x3, x4})
G' G, (. 4.3., 1 v1):
4.3
v1 | V2 | v3 | V4 | v5 | v6 | v7 | V8 | |
x1 | ||||||||
x2 | ||||||||
x3 | ||||||||
x4 | ||||||||
x5 |
|
|
;
X = {x1, x3, x4}.
, G = (, ), n , 2|| = S=1ns(). , .
, :
;
;
, ;
, .
-
G H - FG = ({x2}, {x2, x3}, {Æ}) FH = ({x2}, {x1}), :
GÈH, GÇH;
`G, `H;
G\H, H\G;
GÅH, GÅ`H.
G, H P - FG = ({x2, x3}, {x3}, {Æ}), FH = ({x1}, {x1, x2}) P = ({x1}, {x2}, {x3}), :
G\H, H\G;
G\PÇH;
(PÈH)\(GÇH);
(PÅH)Ç(G\H).
G H, - FG = ({x1, x2}, {x2}) FH = ({y1}, {y1, y2}), , :
;
.
G, H P, ( . 4.4., 4.5. 4.6.), , :
GÈH, GÇH;
`G, `H;
G\H, H\G, G\P, P\H;
(G\P)Ç(GÈ`H);
(GÅ`H)Ç(`PÈG).
4.4
x1 | x2 | x3 | |
x1 | |||
x2 | |||
x3 |
4.5
x1 | x2 | x3 | X4 | |
x1 | ||||
x2 | ||||
x3 | ||||
x4 |
4.6
X1 | x2 | x3 | x4 | |
x1 | ||||
x2 | ||||
x3 | ||||
x4 |
G H, ( . 4.7. 4.8., , ' , ), , :
GÈH, GÇH;
`G, `H;
G\H, H\G;
(GÅH), (`GÅ`H).
4.7
v1 | v2 | v3 | v4 | v5 | V6 | |
X1 | -1 | -1 | ||||
X2 | -1 | |||||
X3 | -1 | -1 | -1 |
4.8
v1 | v2 | V3 | |
x1 | |||
x2 | -1 | -1 | |
x3 | -1 |
G H, ( . 4.9. 4.10.), , :
;
.
4.9
x1 | x2 | X3 | |
x1 | |||
x2 | |||
x3 |
4.10
x1 | x2 | X3 | |
x1 | |||
x2 | |||
x3 |
G H 6, ( . 4.9. 4.10.), - :
|
|
GÈH, GÇH;
`G, `H;
G\H, H\G;
(GÅH);
(GÅ`H)Ç(`GÈH).
G H, - FG = ({x1, x2}, {x2}) FH = ({y1}, {y1, y2}), - :
;
.