Equation 677 Database

Magma 40b041b0d9e4…

magma 40b041b0d9e4
Size
49
Isomorphism class hash
40b041b0d9e4117c64e398f175e71db904288bc259e6c638e3212204f13040e5
Satisfies Equation 255
yes
Right-cancellative
no
Idempotent
no
Submitted by
b-reinke
Submitted at
2026-05-26 10:27:24
Display reorder
5,2,3,0,48,1,4,7,6,9,8,10,11,42,30,45,34,31,33,32,35,36,39,37,38,41,46,40,18,21,19,20,23,43,22,12,47,16,13,15,14,17,25,24,27,26,28,29,44 history
Raw table
canonical order · displayed order
Equational Theories
Finite Magma Explorer

Commentary

Order-49 (=7^2) non-right-cancellative eq677 magma of fiber-bundle type. It carries a congruence with 7 classes of size 7; the quotient is the order-7 magma F_7(4,3), and the 7 classes are order-7 fibers. Being non-right-cancellative, some right multiplications collapse a fiber to a point (this is what breaks cancellativity). It has a single idempotent. The display reorder uses (base, fiber) coordinates with the base in canonical F_7 order, so the Cayley table shows a clean 7x7 block super-grid, each block being the fiber action over a pair of base points. See the size-49 notes for the broader taxonomy. [text written by Claude]

last edited by dwrensha at 2026-05-27 05:14:50 · history