Reid Barton (Feb 13 2019 at 23:45):
It's a little weird that
fg is defined for a submodule and not just a module. It's sort of like compact subset vs compact space--a finitely generated submodule is just a submodule which is finitely generated as a module.
Is this worth changing or possibly having both versions?
Last updated: May 06 2021 at 19:30 UTC