Equation 677 Database

Magma 912245748a55…

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