To prove that every element of $G$ has finite order.

2.9k Views Asked by At

Let $G$ be a group such that the intersection of all its subgroups which are different from $e$ is a subgroup different from $e$. Prove that every element of $G$ has finite order.

Can i get some hints to get started?

Thanks.

EDIT

As per suggestion of user Slade, i have proceeded according to this

If $g$ has infinite order, then the cyclic group that $g$ generates will have elements of the form $\{g,g^{2},g^{3},......)$.

The claim is that no two elements are same, i.e. there are no repetitions. To show this let us assume that there are repetitions, say $a^{i}=a^{j}$, for some $i,j$. Then $a^{i-j}=e$ and this contradiction of $a$ having infinite order.

What should i do next?

4

There are 4 best solutions below

0
On

Hint by absurd, take an element $a$ without a finite order and consider $I$ is the intersection of subgroups of $<a>$ different from $\{e\}$. prove that : $$I=\{e\} $$ (if $x=a^m \in I$ then $x\in <a^{m+1}>\cap <a^{m+1}>\cdots$)

28
On

Suppose that $G$ has an element $g$ of infinite order. What are the subgroups of the cyclic group that $g$ generates?

0
On

Observe that in infinite cyclic group that intersection is just the identity. Conclude that your group has not a cyclic infinite subgroup. This evidently equivalent to being every element of finite order

0
On

A direct approach would be to take some $g\neq e$ which is contained in all nontrivial subgroups (which exists by hypothesis), and note that for any $x\neq e$, the set $\{e,x,x^2,x^3,\ldots\}$ forms a nontrivial subgroup and hence contains $g$. Thus, for any $x\neq e$ we have $x^n=g$ for some $n$. We can first use this to show that, letting $x=g^2$ we have either that $g^{2}=e$ or $g^{2n}=g$ for some $n$ - either of which means $g$ has finite order - that is, it satisfies $g^m=e$ for some $m>0$. However, since any $x$ other than the identity has a finite $n$ such that $x^n=g$ we have $x^{nm}=g^m=e$, hence every element has finite order.