## Stream: maths

### Topic: finitely generated (sub)module

#### 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