Sitzungsberichte der
Heidelberger Akademie der Wissenschaften

10

Max Steck

Ρ^ξεΡ/0).
p2(0) = p2(0)
^Ρι,λ2,^);. ps(0) = p^(0)

P.J°)—^p.,(°)
P3(°)Z--Pi(0)
P/°)7=±P2W

(D - Vi Ψ ^3= t 4> 7)


1^2 ^^3 = 2, 5, 8)

(72 = 1,2,...)·

(A1, Λ, -φ 23 = 3, 6, 9)

Beweis: Er werde für das Indextripel ^ = 2, 5, 8, also für
die fl*’ ‘"d geführt. (Für die beiden übrigen ist er analog.)

a) n = l: (12) X (45) = Ρ/θ), (23) X (56) = P^, (34) X (61) = P3<°>
2θ3: (13) X (45) | (32) X (56) = P/0) (24) X (61) |
1θ4: (43) X (15) I (32) X (56) = P2<"> (21) X (64) I
5θδ: (43)X(16) = PS<°>, (32) X (65) = Pä™, (21) X (54) = P1<»>.

b) Es müssen ferner folgende Ersetzbarkeiten gezeigt werden:
W (2, 5, 8)__ 7J (2, 8, 5) _ 7/Γ (5, 2, 8) = W (5, 8, 2)= 7J (8, 2, 5)= (8, 5, 2),
3 3 3 3 3 3

Wir schließen unmittelbar an die Folge Φ3(2,5’8) unter a) an.
Dann ergibt sich:

2θ3: (13) X (45) | (32) X (56) (24) X (61)
5 «6: (13)X(46) I (32) X (65) (24) X (51)
1θ4: (43)X(16) = PS<°>, (32) X (65) = P2<’>, (21) X (54) = P,™

1θ4
2o3
5θ6
(42) X (15)
(43) Χ(15)
(43)Χ(16) = Ι
(23) X (56) (31)Χ(64)
(32) X (56) (21) X (64)
V”, (32) X (65) = Ρ3<«>, (21) X (54) = I
HO)
1 θ4
5θ6
2θ3
(42) X (15)
(42) X (16) J
(43) Χ(16) = 1
(23) X (56) (31) X (64)
(23) X (65) (31) X (54)
%<»>, (32)Χ(65) = Ρ3»ι, (21)Χ(54) = Γ
> (0)
5θ6
2θ3
1 θ4
(12) Χ(46)
(13) Χ(46) ■
(43)X(16) = F
(23) X (65) (34) X (51)
(32) X (65) (24) X (51) J
(32)Χ(65) = Ρ.<°>, (21)X(54) = F
HO)
5θ6: (12) X (46)
(23) X (65) (34) X (51)

1«4: (42) X (16) J- (23) X (65) (31) X (54) 1
2θ3: (43)X(16) = PSW, (32) X (65) = P.,<0’, (21) X (54)=P,<°>.

Damit ist der erste Teil des Satzes bewiesen.