Equation 677 Database
log in with GitHub
← magma 624c20fb2112…
Commentary history
2 edits.
dwrensha · 2026-04-29 13:46:11
Direct product of a non-right-cancellative factor and a small linear (right-cancellative) factor: (nRC-25 d732efd1) × F_11(5,7).
dwrensha · 2026-04-29 13:30:11
Direct product: (nRC-25 d732efd1) × F_11(5,7).
dwrensha · 2026-04-29 13:46:11
dwrensha · 2026-04-29 13:30:11