Equation 677 Database

Magma c5c647a9945a…

magma c5c647a9945a
Size
361
Isomorphism class hash
c5c647a9945ac8851b4e26d835994e0f1dfb2aa550903b7f9521a375da75c5aa
Satisfies Equation 255
yes
Right-cancellative
yes
Idempotent
yes
Submitted by
b-reinke
Submitted at
2026-05-14 05:11:22
Display reorder
0,2,165,128,219,85,25,310,350,67,44,64,351,318,36,89,205,123,172,1,81,307,298,119,130,321,31,226,259,252,222,30,338,121,114,280,301,93,249,236,21,331,120,109,288,317,91,11,83,311,290,104,131,328,20,232,242,77,340,300,35,95,209,138,175,12,10,162,133,215,99,26,308,341,74,54,39,69,173,189,98,266,158,258,314,253,154,267,96,181,164,62,22,282,296,213,334,244,47,132,7,66,274,279,65,15,139,41,247,325,211,297,156,281,355,246,270,312,115,28,153,234,159,33,118,316,263,245,346,55,218,206,53,182,326,223,358,204,140,134,137,152,200,343,225,333,188,241,169,87,168,250,220,63,125,344,278,184,289,186,275,357,126,68,228,94,102,52,56,111,80,293,342,193,315,4,320,339,18,313,197,359,285,171,110,272,212,261,103,166,117,231,13,40,24,185,37,48,9,237,116,145,167,322,61,70,337,170,147,284,92,49,180,141,151,190,59,82,294,6,207,239,309,360,319,229,217,16,227,19,58,27,195,34,50,3,221,107,157,160,327,60,71,332,177,155,106,187,303,8,329,330,14,305,183,352,283,176,113,271,202,262,100,161,295,349,347,265,196,299,194,268,354,135,73,230,90,101,46,42,112,84,238,78,136,210,142,127,124,150,214,348,233,336,192,240,178,97,179,251,198,323,235,353,23,149,224,143,38,105,302,260,256,345,43,216,208,45,356,255,273,306,108,75,269,264,76,17,122,57,254,324,203,291,146,287,201,335,257,51,129,5,243,304,248,148,276,88,199,163,79,29,286,292,32,72,174,191,86,277,144 history
Raw table
canonical order · displayed order
Equational Theories
Finite Magma Explorer

Commentary

Size-361 = 19² idempotent right-cancellative magma satisfying Eq 677 and Eq 255. The carrier is the additive group of F_361 = GF(19²), which is (Z/19)² as an elementary abelian 19²-group; the magma is fully (Z/19)²-translation-invariant under two commuting order-19 fix-free magma automorphisms τ_1, τ_2. Distinguishing features: • Both L_0 = T[0, ·] and R_0 = T[·, 0] have cycle structure (1, 36¹⁰) — order 36, with 10 orbits of length 36 covering F_361* (order 360 = 36 · 10). So 10 cosets of an order-36 subgroup of F_361* partition the non-zero elements. • 2-generated: <0, 1> = the full 361 elements. • L_0 is axis-additive on each F_19-axis but NOT globally F_19-linear (only ~10% of cells match the F_19-linear prediction f(a, b) = a·f(e_1) + b·f(e_2)), the structural fingerprint of near-field multiplication. Why neither simple-linear nor AG(2, 19) line magmas exist at this size with the standard α: F_19 has |F_19*| = 18 and 10 ∤ 18, so F_19 contains no primitive 10th roots of unity — Φ_10 has no roots in F_19, ruling out per-line F_19-linear magmas. F_361 = F_19² DOES have primitive 10th roots (since 10 | 360), so simple-linear F_361 magmas exist, but their L_0 would have order 10 (not 36); ours has order 36, so this is NOT simple-linear F_361. Since 19 is NOT in the Zassenhaus exceptional near-field list {5, 7, 11, 23, 29, 59}, this is most likely a 10-coset Tao Type II piecewise-linear construction on F_361, equivalently a Dickson near-field of order 19² with the order-2 Frobenius x ↦ x^19. The 'axis-additive but globally non-linear' L_0 is the fingerprint of this non-distributive multiplication. Sibling magmas (other b-reinke size-361 entries with the same template, presumably differing in which 10 multipliers are assigned to which cosets): magma#91224574, magma#f304c339. Display reorder lays out elements as (i, j) ↦ τ_1^i τ_2^j(0) at new index 19·i + j. Under this reorder the table is fully (Z/19)²-translation-invariant; the rendered image shows clean diagonal banding from the translation symmetry, with finer within-block structure reflecting the near-field's non-distributive multiplication. [text written by Claude]

last edited by dwrensha at 2026-05-15 00:11:47 · history