Documentation

HexConway.PrimitiveProofs.S3_5

source
theorem Hex.Conway.primitive_947_1 :
Primitive 947 1 supportedEntry_947_1 [2, 11, 43] [1, 1, 1]

C(947, 1) has a generator of order 946.

source
theorem Hex.Conway.primitive_271_1 :
Primitive 271 1 supportedEntry_271_1 [2, 3, 5] [1, 3, 1]

C(271, 1) has a generator of order 270.

source
theorem Hex.Conway.primitive_307_1 :
Primitive 307 1 supportedEntry_307_1 [2, 3, 17] [1, 2, 1]

C(307, 1) has a generator of order 306.

source
theorem Hex.Conway.primitive_349_1 :
Primitive 349 1 supportedEntry_349_1 [2, 3, 29] [2, 1, 1]

C(349, 1) has a generator of order 348.

source
theorem Hex.Conway.primitive_397_1 :
Primitive 397 1 supportedEntry_397_1 [2, 3, 11] [2, 2, 1]

C(397, 1) has a generator of order 396.

source
theorem Hex.Conway.primitive_439_1 :
Primitive 439 1 supportedEntry_439_1 [2, 3, 73] [1, 1, 1]

C(439, 1) has a generator of order 438.

source
theorem Hex.Conway.primitive_491_1 :
Primitive 491 1 supportedEntry_491_1 [2, 5, 7] [1, 1, 2]

C(491, 1) has a generator of order 490.

source
theorem Hex.Conway.primitive_151_1 :
Primitive 151 1 supportedEntry_151_1 [2, 3, 5] [1, 1, 2]

C(151, 1) has a generator of order 150.

source
theorem Hex.Conway.primitive_199_1 :
Primitive 199 1 supportedEntry_199_1 [2, 3, 11] [1, 2, 1]

C(199, 1) has a generator of order 198.

source
theorem Hex.Conway.primitive_241_1 :
Primitive 241 1 supportedEntry_241_1 [2, 3, 5] [4, 1, 1]

C(241, 1) has a generator of order 240.

source
theorem Hex.Conway.primitive_103_1 :
Primitive 103 1 supportedEntry_103_1 [2, 3, 17] [1, 1, 1]

C(103, 1) has a generator of order 102.

source
theorem Hex.Conway.primitive_569_1 :
Primitive 569 1 supportedEntry_569_1 [2, 71] [3, 1]

C(569, 1) has a generator of order 568.

source
theorem Hex.Conway.primitive_641_1 :
Primitive 641 1 supportedEntry_641_1 [2, 5] [7, 1]

C(641, 1) has a generator of order 640.

source
theorem Hex.Conway.primitive_769_1 :
Primitive 769 1 supportedEntry_769_1 [2, 3] [8, 1]

C(769, 1) has a generator of order 768.

source
theorem Hex.Conway.primitive_839_1 :
Primitive 839 1 supportedEntry_839_1 [2, 419] [1, 1]

C(839, 1) has a generator of order 838.

source
theorem Hex.Conway.primitive_929_1 :
Primitive 929 1 supportedEntry_929_1 [2, 29] [5, 1]

C(929, 1) has a generator of order 928.

source
theorem Hex.Conway.primitive_61_1 :
Primitive 61 1 supportedEntry_61_1 [2, 3, 5] [2, 1, 1]

C(61, 1) has a generator of order 60.

source
theorem Hex.Conway.primitive_317_1 :
Primitive 317 1 supportedEntry_317_1 [2, 79] [2, 1]

C(317, 1) has a generator of order 316.

source
theorem Hex.Conway.primitive_383_1 :
Primitive 383 1 supportedEntry_383_1 [2, 191] [1, 1]

C(383, 1) has a generator of order 382.

source
theorem Hex.Conway.primitive_449_1 :
Primitive 449 1 supportedEntry_449_1 [2, 7] [6, 1]

C(449, 1) has a generator of order 448.

source
theorem Hex.Conway.primitive_503_1 :
Primitive 503 1 supportedEntry_503_1 [2, 251] [1, 1]

C(503, 1) has a generator of order 502.

source
theorem Hex.Conway.primitive_137_1 :
Primitive 137 1 supportedEntry_137_1 [2, 17] [3, 1]

C(137, 1) has a generator of order 136.

source
theorem Hex.Conway.primitive_173_1 :
Primitive 173 1 supportedEntry_173_1 [2, 43] [2, 1]

C(173, 1) has a generator of order 172.

source
theorem Hex.Conway.primitive_227_1 :
Primitive 227 1 supportedEntry_227_1 [2, 113] [1, 1]

C(227, 1) has a generator of order 226.