2
$\begingroup$

My textbook (author : fraleigh) says that Fundamental theorem of finitely generated abelian groups

Every finitely generated abelian group $G$ is isomorphic to a direct product of cyclic groups of the form $$\Bbb{Z_{(p_1)^{r_1}}}\times \Bbb{Z_{(p_2)^{r_2}}}\times\dots\times \Bbb{Z_{(p_n)^{r_n}}}\times\underbrace{\Bbb{Z}\times\Bbb{Z}\dots\times\Bbb{Z}}_{\text{r times, r : betti number}}$$ where $p_i$ are primes, not necessarily distinct, and $r_i$ are positive integers. The prime powers $(p_i)^{r_i}$ are unique.

I don't understand the theorem. So I was trying to show examples. So I can apply the theorem to several problems. But I don't know what Betti number say. Can you tell me some examples to understand Betti numbers? Actually when I see the next statements, I cannot start.

Any two finitely generated abelian groups with the same Betti number are isomorphic.

It is false.

Every finite abelian group has a Betti number of 0.

It is true.

$\endgroup$
1
$\begingroup$

The appearance of the term "Betti number" in your theorem should be seen as a definition. The Betti number of a finitely generated abelian group $G$ is the number of $\mathbb{Z}$ factors appearing in the decomposition claimed by your theorem, or differently stated, the rank of $G$ as a $\mathbb{Z}$-module.

You can also understand it as a sort of analogue to the dimension of a vector space. Indeed, tensoring $G$ with $\mathbb{Q}$ will convert it into a $\mathbb{Q}$-vector space whose dimension is exactly the rank/Betti number of $G$.

That is, for example, if $G=\mathbb{Z}^n$, then $n$ is the Betti number.

Another example is $G=\mathbb{Z}_{(p)}$. There is no $\mathbb{Z}$ factor, so the Betti number is $0$.

Now let us look at your two statements:

The first one is false: Take $G=\mathbb{Z}$ and $H=\mathbb{Z}\times \mathbb{Z}_{(2)}$. They both have Betti number $1$, but they are clearly not isomorphic.

The second one is true: if the Betti number was positive, then the group would have a subgroup isomorphic to $\mathbb{Z}$, in particular it would have infinitely many elements.

$\endgroup$
  • $\begingroup$ Good day, then if I have this group: $\mathbb{Z}_2\times \mathbb{Z}_6 \times \mathbb{Z}_{24} \times \mathbb{Z} \times \mathbb{Z} \times \mathbb{Z} \times \mathbb{Z}$, Betti number is 4? I only sum $\mathbb{Z}$? $\endgroup$ – Salvattore May 12 '16 at 14:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.