Equation 677 Database

Magma 5f38e8c86c1d…

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