Equation 677 Database

Magma a7cf489ff1cd…

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