Equation 677 Database

Magma 03c3924e8ad8…

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