Equation 677 Database

Magma 0501393c5996…

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

Commentary

Size-99 twisted fiber-bundle magma satisfying Eq 677 (and Eq 255). Carrier Z/11 × F_9 with operation (x, s) ◇ (y, t) = ( x + 2·(y − x) mod 11 , α_d·s + β_d·t in F_9 ), where d = y − x mod 11. The base coefficient c = 2 is a primitive 10th root of unity mod 11 (Φ₁₀(2) = 2⁴ − 2³ + 2² − 2 + 1 ≡ 0 mod 11), which is exactly what Eq 677 forces on the base operation x + c·(y − x). The fiber field is F_9 = F_3[a]/(a^2+1), element i encodes i0 + 3*i1 <-> i0 + i1*a. The fiber coefficient pair (α_d, β_d) depends on the base difference d: d = 0: (α, β) = (1, 5) d = 1: (α, β) = (3, 7) d = 2: (α, β) = (4, 6) d = 3: (α, β) = (5, 8) d = 4: (α, β) = (4, 6) d = 5: (α, β) = (5, 8) d = 6: (α, β) = (4, 6) d = 7: (α, β) = (5, 8) d = 8: (α, β) = (4, 6) d = 9: (α, β) = (5, 8) d = 10: (α, β) = (6, 4) 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 11): β_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; not idempotent; it satisfies Eq 255 (consistent with the 677 ⇒ 255 finite conjecture). [text written by Claude]

last edited by dwrensha at 2026-06-10 13:28:37 · history