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]
dwrensha · 2026-05-27 05:14:57