Equation 677 Database

Magma 7a7b8be778b5…

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