show/hide this revision's text 2 allowed being more specific

Is there a classification theorem for "finitely generated abelian groups with a distinguished element"? If it helps, you can restrict this to the cases where the order of each element divides the order of the distinguished element.

My idea would be to try to use this for a classification theorem for rings with a finitely generated additive group, where the distinguished element is 1.

show/hide this revision's text 1

slight extension to classification of finitely generated abelian groups

Is there a classification theorem for "finitely generated abelian groups with a distinguished element"?

My idea would be to try to use this for a classification theorem for rings with a finitely generated additive group, where the distinguished element is 1.