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