Equation 677 Database
log in with GitHub
← magma c200891c3d99…
Commentary history
2 edits.
dwrensha · 2026-04-29 13:46:08
Direct product of a non-right-cancellative factor and a small linear (right-cancellative) factor: (nRC-25 d732efd1) × F_9.
dwrensha · 2026-04-29 13:30:09
Direct product: (nRC-25 d732efd1) × F_9.
dwrensha · 2026-04-29 13:46:08
dwrensha · 2026-04-29 13:30:09