Equation 677 Database

Magma 3c0f9b5a025d…

magma 3c0f9b5a025d
Size
151
Isomorphism class hash
3c0f9b5a025d3dff58619436926e158f1399ef9ef1a93fec5343177f91041d22
Satisfies Equation 255
yes
Right-cancellative
yes
Idempotent
yes
Submitted by
b-reinke
Submitted at
2026-05-13 08:10:43
Display reorder
0,1,76,141,27,64,111,74,60,57,2,124,91,103,32,129,146,137,90,77,127,78,69,109,139,12,99,148,145,35,131,17,29,45,63,31,105,28,54,79,20,55,126,119,49,15,65,118,70,9,80,73,142,11,62,115,138,113,140,21,52,117,7,40,50,4,143,24,56,89,144,101,14,61,39,13,93,130,96,22,85,94,58,106,75,120,123,34,53,114,134,3,38,102,37,25,112,121,104,97,128,26,149,68,16,19,8,136,23,92,116,36,67,66,43,41,47,86,107,125,135,44,122,72,51,88,95,33,108,18,42,71,150,5,82,59,133,98,30,48,10,6,147,84,110,100,132,46,87,81,83 history
Raw table
canonical order · displayed order
Equational Theories
Finite Magma Explorer

Commentary

Size-151 idempotent right-cancellative translation-invariant magma on F_151 (= Z/151 additively). The operation has the form x ◇ y = x + δ_i · (y - x) where δ_i depends on which coset of the order-10 subgroup H ⊂ F_151* the difference (y - x) lies in (15 cosets total). δ-distribution across the 15 cosets: 5×δ=92 / 10×δ=132. Per-coset δ values (in the F_151*/H ordering induced by a primitive root): coset0:132, coset1:132, coset2:92, coset3:132, coset4:132, coset5:92, coset6:132, coset7:132, coset8:92, coset9:132, coset10:132, coset11:92, coset12:132, coset13:132, coset14:92. Each δ_i is one of the 4 primitive 10th roots of unity in F_151* — namely {87, 92, 132, 143} — exactly the roots of the 10th cyclotomic polynomial Φ_10(x) = x⁴ - x³ + x² - x + 1 mod 151. eq677 follows from the per-coset identity α⁴ - α³ + α² - α + 1 ≡ 0. The magma is globally NOT medial. Display reorder relabels points by the cyclic translation group: original index 0 stays at 0, and successive indices follow a fixed magma automorphism of order 151. Under this reorder the Cayley table is Z/151-translation-invariant: T[i+1][j+1] ≡ T[i][j] + 1 (mod 151). [text written by Claude]

last edited by dwrensha at 2026-05-13 12:48:12 · history