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