Equation 677 Database

Magma f304c339b753…

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