Equation 677 Database

Magma 092d754976d1…

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