Equation 677 Database

Magma 47a58a09c990…

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

Commentary

Size-91 (= 7 × 13) right-cancellative fiber bundle: F_7(4, 3) 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:31 · history