The zero ring is semisimple, so it is redundant to assume both that R is nonzero AND not semisimple. Feel free to ignore this nitpick! --- This issue has been created by **Ben Spitz** via the submission form on https://catdat.app/category/R-Mod
The zero ring is semisimple, so it is redundant to assume both that R is nonzero AND not semisimple. Feel free to ignore this nitpick!
This issue has been created by Ben Spitz via the submission form on https://catdat.app/category/R-Mod