Lõplikult moodustatud Abeli rühm: erinevus redaktsioonide vahel

Lõplikult moodustatud Abeli rühma iga [[alamrühm]] ja iga [[faktorrühm]] on lõplikult moodustatud Abeli rühm. Lõplikult moodustatud Abeli rühmad koos [[rühmade homomorfism]]idega moodustavad [[Abeli kategooria]].

 

<math>\mathbb{Q}</math> [[Abeli rühma astak|astak]] on 1, kuid see rühm ei ole lõplikult moodustatud. Teine näide on [[jäägiklassirühm]]a <math>\mathbb{Z}/2\mathbb{Z}</math> lõpmata paljude eksemplaride [[otsesumma]], mille astak on 0, mis aga ei ole lõplikult moodustatud.