Equation 677 Database

Magma 45fe20d3a83c…

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

Commentary

Size-91 (= 7 × 13) right-cancellative fiber bundle: F_7(4, 1) base × F_13(9,11) fiber, in the "twisted" Family B variant. The 91 elements partition into 7 fibers of 13 (a non-trivial congruence with F_7 quotient), but only ONE fiber is itself a sub-magma — the fiber at F_7-natural index 0 (the F_7 idempotent coset), which is isomorphic to F_13(9,11). The other 6 fibers are congruence classes that are NOT closed under ◇. The full magma is a quasigroup (LC + RC) with a unique idempotent, and the F_13 sub-magma acts regularly on each non-closed fiber via left-multiplication. Analogous in structure to the size-77 F_7 × F_11 family-B magmas in the database.

last edited by dwrensha at 2026-04-29 15:17:30 · history