Equation 677 Database

Magma a0f77a001aaf…

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