Equation 677 Database

Magma 9e89b287f720…

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