Documentation

HexConway.PrimitiveProofs.S2_4

source
theorem Hex.Conway.primitive_2_5 :
Primitive 2 5 supportedEntry_2_5 [31] [1]

C(2, 5) has a generator of order 31.

source
theorem Hex.Conway.primitive_67_2 :
Primitive 67 2 supportedEntry_67_2 [2, 3, 11, 17] [3, 1, 1, 1]

C(67, 2) has a generator of order 4488.

source
theorem Hex.Conway.primitive_83_2 :
Primitive 83 2 supportedEntry_83_2 [2, 3, 7, 41] [3, 1, 1, 1]

C(83, 2) has a generator of order 6888.

source
theorem Hex.Conway.primitive_109_2 :
Primitive 109 2 supportedEntry_109_2 [2, 3, 5, 11] [3, 3, 1, 1]

C(109, 2) has a generator of order 11880.

source
theorem Hex.Conway.primitive_41_2 :
Primitive 41 2 supportedEntry_41_2 [2, 3, 5, 7] [4, 1, 1, 1]

C(41, 2) has a generator of order 1680.

source
theorem Hex.Conway.primitive_61_2 :
Primitive 61 2 supportedEntry_61_2 [2, 3, 5, 31] [3, 1, 1, 1]

C(61, 2) has a generator of order 3720.

source
theorem Hex.Conway.primitive_107_2 :
Primitive 107 2 supportedEntry_107_2 [2, 3, 53] [3, 3, 1]

C(107, 2) has a generator of order 11448.

source
theorem Hex.Conway.primitive_47_2 :
Primitive 47 2 supportedEntry_47_2 [2, 3, 23] [5, 1, 1]

C(47, 2) has a generator of order 2208.

source
theorem Hex.Conway.primitive_23_2 :
Primitive 23 2 supportedEntry_23_2 [2, 3, 11] [4, 1, 1]

C(23, 2) has a generator of order 528.

source
theorem Hex.Conway.primitive_13_2 :
Primitive 13 2 supportedEntry_13_2 [2, 3, 7] [3, 1, 1]

C(13, 2) has a generator of order 168.

source
theorem Hex.Conway.primitive_571_1 :
Primitive 571 1 supportedEntry_571_1 [2, 3, 5, 19] [1, 1, 1, 1]

C(571, 1) has a generator of order 570.

source
theorem Hex.Conway.primitive_859_1 :
Primitive 859 1 supportedEntry_859_1 [2, 3, 11, 13] [1, 1, 1, 1]

C(859, 1) has a generator of order 858.

source
theorem Hex.Conway.primitive_331_1 :
Primitive 331 1 supportedEntry_331_1 [2, 3, 5, 11] [1, 1, 1, 1]

C(331, 1) has a generator of order 330.

source
theorem Hex.Conway.primitive_211_1 :
Primitive 211 1 supportedEntry_211_1 [2, 3, 5, 7] [1, 1, 1, 1]

C(211, 1) has a generator of order 210.

source
theorem Hex.Conway.primitive_541_1 :
Primitive 541 1 supportedEntry_541_1 [2, 3, 5] [2, 3, 1]

C(541, 1) has a generator of order 540.

source
theorem Hex.Conway.primitive_613_1 :
Primitive 613 1 supportedEntry_613_1 [2, 3, 17] [2, 2, 1]

C(613, 1) has a generator of order 612.

source
theorem Hex.Conway.primitive_647_1 :
Primitive 647 1 supportedEntry_647_1 [2, 17, 19] [1, 1, 1]

C(647, 1) has a generator of order 646.

source
theorem Hex.Conway.primitive_701_1 :
Primitive 701 1 supportedEntry_701_1 [2, 5, 7] [2, 2, 1]

C(701, 1) has a generator of order 700.

source
theorem Hex.Conway.primitive_739_1 :
Primitive 739 1 supportedEntry_739_1 [2, 3, 41] [1, 2, 1]

C(739, 1) has a generator of order 738.

source
theorem Hex.Conway.primitive_761_1 :
Primitive 761 1 supportedEntry_761_1 [2, 5, 19] [3, 1, 1]

C(761, 1) has a generator of order 760.

source
theorem Hex.Conway.primitive_823_1 :
Primitive 823 1 supportedEntry_823_1 [2, 3, 137] [1, 1, 1]

C(823, 1) has a generator of order 822.

source
theorem Hex.Conway.primitive_877_1 :
Primitive 877 1 supportedEntry_877_1 [2, 3, 73] [2, 1, 1]

C(877, 1) has a generator of order 876.

source
theorem Hex.Conway.primitive_919_1 :
Primitive 919 1 supportedEntry_919_1 [2, 3, 17] [1, 3, 1]

C(919, 1) has a generator of order 918.

source
theorem Hex.Conway.primitive_953_1 :
Primitive 953 1 supportedEntry_953_1 [2, 7, 17] [3, 1, 1]

C(953, 1) has a generator of order 952.