Equation 677 Database

Magma 3055ca0b5f60…

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