Size-49 (= 7²) non-right-cancellative fiber bundle: F_7(4, 3) base × F_7(4, 1) fiber. The 49 elements partition into 7 fibers of 7 (an F_7-quotient congruence); only ONE fiber is itself a sub-magma — the fiber at the F_7-idempotent coset, ≅ F_7(4, 1). The other 6 fibers are non-closed congruence classes. Left-cancellative but not right-cancellative; unique idempotent.
dwrensha · 2026-04-29 15:53:35