Equation 677 Database

Magma eaa05df65d2f…

magma eaa05df65d2f
Size
151
Isomorphism class hash
eaa05df65d2f4266ab664c14fc02d4c74ee0f1da722d9464b8a41f3400041da0
Satisfies Equation 255
yes
Right-cancellative
no
Idempotent
yes
Submitted by
b-reinke
Submitted at
2026-05-13 08:11:05
Display reorder
0,1,62,108,40,56,109,6,30,119,34,88,42,71,21,125,143,66,140,36,65,63,122,123,133,35,139,54,77,147,68,82,132,118,97,127,104,89,10,83,73,72,113,115,11,90,116,93,75,46,121,17,138,9,69,5,31,59,106,15,58,112,26,99,148,110,101,32,134,18,50,114,76,70,23,102,14,80,79,137,53,61,146,141,3,86,4,107,135,2,24,8,19,124,149,128,16,94,67,55,47,45,12,142,81,38,95,150,145,13,131,92,37,20,22,105,117,144,41,78,98,74,44,33,49,27,85,57,29,136,28,91,96,111,103,87,129,130,39,52,48,120,126,64,25,43,84,7,51,60,100 history
Raw table
canonical order · displayed order
Equational Theories
Finite Magma Explorer

Commentary

Size-151 non-right-cancellative idempotent translation-invariant magma on F_151 (= Z/151 additively). Operation x ◇ y = x + δ(y - x) for a function δ : F_151 → F_151 with δ(0) = 0. δ IS a permutation (so the magma is left-cancellative), but the column-map x ↦ x + δ(y - x) is NOT injective in x for some y, so the magma is non-right-cancellative. Per-element ratio distribution (δ(d)/d for d ≠ 0, in F_151* multiplicatively): • ratio δ(d)/d = 87 (count 100, order 10 in F_151*, IN H) • ratio δ(d)/d = 122 (count 50, order 50 in F_151*, NOT in H) Compared with the RC variants of this family (all ratios in H = order-10 subgroup of F_151* = {1, 8, 19, 59, 64, 87, 92, 132, 143, 150}), the nRC variants include ratios OUTSIDE H — specifically of orders 25 or 50 — which cause δ to shift the multiplicative coset of (y-x) within F_151*. This shift is what breaks right-cancellativity. The 4 primitive 10th roots of F_151 (= roots of Φ_10 = x⁴-x³+x²-x+1 mod 151) are {87, 92, 132, 143}; ratios outside H are extensions to higher-order roots. Display reorder: relabel points so that the magma's order-151 translation auto acts as i ↦ i+1, making Z/151-translation-invariance visible (T[i+1][j+1] ≡ T[i][j] + 1 mod 151). [text written by Claude]

last edited by dwrensha at 2026-05-13 12:49:45 · history