Equation 677 Database

Magma 2b2d8d8f08c4…

magma 2b2d8d8f08c4
Size
80
Isomorphism class hash
2b2d8d8f08c40f6ac2cfeea68781b001e79ae550f3ecdaefafd59d17f1fb5461
Satisfies Equation 255
yes
Right-cancellative
yes
Idempotent
yes
Submitted by
dwrensha
Submitted at
2026-06-10 12:53:08
Display reorder
74,77,65,72,75,64,73,68,71,69,70,76,79,78,67,66,55,41,63,20,6,16,59,45,38,23,48,9,52,13,34,27,60,21,53,24,10,35,42,1,17,56,28,49,31,14,3,46,8,44,47,58,30,15,37,5,26,19,33,2,12,40,51,62,25,36,39,57,54,11,4,18,22,0,7,50,61,43,32,29 history
Raw table
canonical order · displayed order
Equational Theories
Finite Magma Explorer

Commentary

Size-80 twisted fiber-bundle magma satisfying Eq 677 (and Eq 255). Carrier Z/5 × F_16 with operation (x, s) ◇ (y, t) = ( x + 4·(y − x) mod 5 , α_d·s + β_d·t in F_16 ), where d = y − x mod 5. The base coefficient c = 4 is a primitive 10th root of unity mod 5 (Φ₁₀(4) = 4⁴ − 4³ + 4² − 4 + 1 ≡ 0 mod 5), which is exactly what Eq 677 forces on the base operation x + c·(y − x). The fiber field is F_16 = F_2[a]/(a^4+a+1), element i encodes its base-2 digits i0+2*i1+4*i2+8*i3 <-> i0 + i1*a + i2*a^2 + i3*a^3. The fiber coefficient pair (α_d, β_d) depends on the base difference d: d = 0: (α, β) = (2, 3) d = 1: (α, β) = (2, 10) d = 2: (α, β) = (4, 1) d = 3: (α, β) = (14, 5) d = 4: (α, β) = (9, 13) Eq 677 holds iff the pairs satisfy, for every d (writing e₁ = −d, e₂ = cd, e₃ = d(1 − c + c²), e₄ = −d/c, all mod 5): β_e₄·α_e₃ + β_e₄·β_e₃·α_e₂·β_e₁ = 1 and α_e₄ + β_e₄·β_e₃·(α_e₂·α_e₁ + β_e₂) = 0, with the d = 0 pair therefore satisfying the standard linear-677 conditions α₀β₀(1 + β₀²) = 1, α₀ + α₀²β₀² + β₀³ = 0. This family strictly generalizes the quadratic-residue-class bundles searched earlier (where (α_d, β_d) was constant on QR/non-QR classes): here the pair may vary with d arbitrarily. Found June 2026 by an exhaustive constraint solve over all per-d coefficient assignments; Eq 677 verified directly on the full Cayley table. The magma is right-cancellative; every element is idempotent; it satisfies Eq 255 (consistent with the 677 ⇒ 255 finite conjecture). [text written by Claude]

last edited by dwrensha at 2026-06-10 12:53:08 · history