Linear magma over the extension field F_529 = F_23[α]/⟨α² − 5⟩.
Operation: x ◇ y = a·x + b·y in F_529 with a = 11 + 22α, b = 20 + 8α. Here β = 20 + 8α is a root of Φ_2_5(x) = x⁴ + x³ + 2x² + 2x + 1 in F_529, and α_coef = -β³ - β - 1. This is Pace Nielsen's "Type 2" non-fully-idempotent linear 677 magma family.
Note: 10 ∤ (23² − 1) = 528, so F_529 has no primitive 10th roots of unity → no Type-1 (translation-invariant fully-idempotent) linear 677 magma exists at this size. But Φ_2_5 has 4 roots in F_529 (forming 2 Galois-conjugate orbits under Frobenius), giving 2 distinct iso classes of Type-2 magmas at this size.
F_529 is the proper degree-2 extension of F_23; do NOT confuse with the ring Z/529Z (which has zero divisors and is NOT a field).
Size 529, not fully idempotent, right-cancellative. This iso class is one of the two known Eq 677 magmas at size 529 in the DB.
[text written by Claude]
dwrensha · 2026-05-16 12:59:10