# Fundamental group of a Lie group

Is it true that the class of isomorphism classes of fundamental groups of Lie groups coincides with the class of isomorphism classes of finitely generated abelian groups?

• The fundamental groups of Lie groups are all abelian. So if you restrict to compact ones, they are all finitely generated abelian groups. Not sure what your question is asking about.... Mar 9, 2018 at 19:36
• I know that they are abelian, but my question is about their presentations...
– RRR
Mar 9, 2018 at 19:38
• For a finitely generated group, both "the number of generators" and "the number of relations" are not defined, simply because "generators" and "relations" are not defined. You maybe want to define something related to presentations. Such as the existence of presentations with certain properties.
– YCor
Mar 9, 2018 at 19:38
• Next, since the class of isomorphism classes of $\pi_1$ of Lie groups coincides with the class of isomorphism classes of finitely generated abelian groups, there is no point to incorporate Lie groups in the question, which (once more carefully stated) is a question about group presentations of finitely generated abelian groups.
– YCor
Mar 9, 2018 at 19:41
Yes, these two classes coincide. One direction splits into two: for a Lie group $G$,
Conversely any finitely generated abelian group is fundamental group of a Lie group. By the classification of finitely generated abelian groups, it is enough to consider cyclic groups (and then use products). Indeed $\mathbf{Z}$ is isomorphic to the fundamental group of the circle group $\mathbf{R}/\mathbf{Z}$, and $\mathbf{Z}/n\mathbf{Z}$ is isomorphic to the fundamental group of $\mathrm{PSL}_n(\mathbf{C})$.