Equation 677 Database

Magma c54ddefc1977…

magma c54ddefc1977
Size
151
Isomorphism class hash
c54ddefc1977344bc8f23b978cdbf01d51e805eed34dbcd28941945adbb8a57b
Satisfies Equation 255
yes
Right-cancellative
yes
Idempotent
yes
Submitted by
b-reinke
Submitted at
2026-05-13 08:10:15
Display reorder
0,1,146,86,129,119,131,89,78,94,72,15,21,74,100,73,43,120,28,44,26,2,103,84,142,93,108,105,136,70,88,126,52,48,138,118,12,96,137,114,85,140,17,51,75,37,79,124,87,33,66,10,39,135,148,81,5,49,107,29,19,80,47,141,6,31,134,127,102,109,16,46,116,7,55,34,14,132,9,45,56,123,110,24,25,91,18,62,149,54,22,50,76,32,115,60,139,112,71,27,143,113,8,77,101,63,95,111,130,133,68,117,59,128,42,11,4,13,145,3,98,125,99,36,30,97,69,53,64,106,144,104,61,121,41,40,92,90,57,147,23,83,35,150,20,58,38,122,82,65,67 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: 10×δ=87 / 5×δ=143. Per-coset δ values (in the F_151*/H ordering induced by a primitive root): coset0:143, coset1:87, coset2:87, coset3:143, coset4:87, coset5:87, coset6:143, coset7:87, coset8:87, coset9:143, coset10:87, coset11:87, coset12:143, coset13:87, coset14:87. 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:05 · history