Equation 677 Database
log in with GitHub
← magma 8b5d0724ed8c…
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_13(9,11).
dwrensha · 2026-04-29 13:30:12
Direct product: (nRC-25 d732efd1) × F_13(9,11).
dwrensha · 2026-04-29 13:46:11
dwrensha · 2026-04-29 13:30:12