Documentation

HexConway.PrimitiveProofs.S1_4

source
theorem Hex.Conway.primitive_7_3 :
Primitive 7 3 supportedEntry_7_3 [2, 3, 19] [1, 2, 1]

C(7, 3) has a generator of order 342.

source
theorem Hex.Conway.primitive_863_2 :
Primitive 863 2 supportedEntry_863_2 [2, 3, 431] [6, 3, 1]

C(863, 2) has a generator of order 744768.

source
theorem Hex.Conway.primitive_103_2 :
Primitive 103 2 supportedEntry_103_2 [2, 3, 13, 17] [4, 1, 1, 1]

C(103, 2) has a generator of order 10608.

source
theorem Hex.Conway.primitive_383_2 :
Primitive 383 2 supportedEntry_383_2 [2, 3, 191] [8, 1, 1]

C(383, 2) has a generator of order 146688.

source
theorem Hex.Conway.primitive_59_2 :
Primitive 59 2 supportedEntry_59_2 [2, 3, 5, 29] [3, 1, 1, 1]

C(59, 2) has a generator of order 3480.

source
theorem Hex.Conway.primitive_193_2 :
Primitive 193 2 supportedEntry_193_2 [2, 3, 97] [7, 1, 1]

C(193, 2) has a generator of order 37248.

source
theorem Hex.Conway.primitive_5_3 :
Primitive 5 3 supportedEntry_5_3 [2, 31] [2, 1]

C(5, 3) has a generator of order 124.

source
theorem Hex.Conway.primitive_37_2 :
Primitive 37 2 supportedEntry_37_2 [2, 3, 19] [3, 2, 1]

C(37, 2) has a generator of order 1368.

source
theorem Hex.Conway.primitive_19_2 :
Primitive 19 2 supportedEntry_19_2 [2, 3, 5] [3, 2, 1]

C(19, 2) has a generator of order 360.

source
theorem Hex.Conway.primitive_11_2 :
Primitive 11 2 supportedEntry_11_2 [2, 3, 5] [3, 1, 1]

C(11, 2) has a generator of order 120.

source
theorem Hex.Conway.primitive_547_1 :
Primitive 547 1 supportedEntry_547_1 [2, 3, 7, 13] [1, 1, 1, 1]

C(547, 1) has a generator of order 546.

source
theorem Hex.Conway.primitive_691_1 :
Primitive 691 1 supportedEntry_691_1 [2, 3, 5, 23] [1, 1, 1, 1]

C(691, 1) has a generator of order 690.

source
theorem Hex.Conway.primitive_991_1 :
Primitive 991 1 supportedEntry_991_1 [2, 3, 5, 11] [1, 2, 1, 1]

C(991, 1) has a generator of order 990.

source
theorem Hex.Conway.primitive_521_1 :
Primitive 521 1 supportedEntry_521_1 [2, 5, 13] [3, 1, 1]

C(521, 1) has a generator of order 520.

source
theorem Hex.Conway.primitive_599_1 :
Primitive 599 1 supportedEntry_599_1 [2, 13, 23] [1, 1, 1]

C(599, 1) has a generator of order 598.

source
theorem Hex.Conway.primitive_617_1 :
Primitive 617 1 supportedEntry_617_1 [2, 7, 11] [3, 1, 1]

C(617, 1) has a generator of order 616.

source
theorem Hex.Conway.primitive_659_1 :
Primitive 659 1 supportedEntry_659_1 [2, 7, 47] [1, 1, 1]

C(659, 1) has a generator of order 658.

source
theorem Hex.Conway.primitive_709_1 :
Primitive 709 1 supportedEntry_709_1 [2, 3, 59] [2, 1, 1]

C(709, 1) has a generator of order 708.

source
theorem Hex.Conway.primitive_743_1 :
Primitive 743 1 supportedEntry_743_1 [2, 7, 53] [1, 1, 1]

C(743, 1) has a generator of order 742.

source
theorem Hex.Conway.primitive_787_1 :
Primitive 787 1 supportedEntry_787_1 [2, 3, 131] [1, 1, 1]

C(787, 1) has a generator of order 786.

source
theorem Hex.Conway.primitive_827_1 :
Primitive 827 1 supportedEntry_827_1 [2, 7, 59] [1, 1, 1]

C(827, 1) has a generator of order 826.

source
theorem Hex.Conway.primitive_881_1 :
Primitive 881 1 supportedEntry_881_1 [2, 5, 11] [4, 1, 1]

C(881, 1) has a generator of order 880.

source
theorem Hex.Conway.primitive_937_1 :
Primitive 937 1 supportedEntry_937_1 [2, 3, 13] [3, 2, 1]

C(937, 1) has a generator of order 936.

source
theorem Hex.Conway.primitive_971_1 :
Primitive 971 1 supportedEntry_971_1 [2, 5, 97] [1, 1, 1]

C(971, 1) has a generator of order 970.