Equation 677 Database

Magma 65d226b60c18…

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