Fact: Let A be a commutative ring, let M be a Noetherian A-module and let M₁ and M₂ be two submodules of M. If M₁ ⊆ M₂ and M/M₁ ≅ M/M₂ then M₁ = M₂.
Is this fact obvious to an algebraist (which I am not)? Does it have a name?
Jean Abou Samra (new account)
npub14p…htzwd
2025-12-20 11:32:22 GMT
Author Public Key
npub14pv6xjcsz2qa6tctew034s5wsj5p2xuh65q86qe6gpegaslstc6qjhtzwdPublished at
2025-12-20 11:32:22 GMTEvent JSON
{
"id": "f30cf85f104c364befc190c251f448435f43b936c6f7336c7b0d63ab7ee89ec6",
"pubkey": "a859a34b101281dd2f0bcb9f1ac28e84a8151b97d5007d033a40728ec3f05e34",
"created_at": 1766230342,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/jeanas/statuses/115751671728400886",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "Fact: Let A be a commutative ring, let M be a Noetherian A-module and let M₁ and M₂ be two submodules of M. If M₁ ⊆ M₂ and M/M₁ ≅ M/M₂ then M₁ = M₂.\n\nIs this fact obvious to an algebraist (which I am not)? Does it have a name?",
"sig": "7b57c527f43a2a2d9673244ac03ab103e0b839d3d39dbe258c5c3bff5b71652346602380a423bb7508ac4f7586ceca18534f839f0c05fa019d595a002dd03226"
}