Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

It is given that every element of a group generates a cyclic subgroup. I am not able to see how. If, let's say, $H=\langle a \rangle, a\in G$ then, $H={\{...,-a^{-2},-a^{-1},a^0,a^1,a^2,...\}}$. Then how is $H$ necessarily a subset of $G$ ? And further, a subgroup ?

share|improve this question

2 Answers 2

up vote 3 down vote accepted

Since $G$ is a group, for every $a\in G$ and $n \in \mathbb Z$ we have $a^n \in G$ (closure of the group operation). So $H=<a>$ is indeed a subset of $G$. It is a subgroup, since $a^0=e_G \in H$, and for all $a^n,a^k \in H$ we have $a^na^k=a^{n+k}\in H$ by definition. The same goes for the inverse. If $a^n\in H$, then its inverse $a^{-n}$ is also in H.

share|improve this answer
    
got it ! Thanks –  Aman Mittal Sep 8 '13 at 8:22

$H$ will have to be a subset otherwise your group $G$ does not satisfy the closure condition.

You can check that $H$ is a subgroup by checking the necessary conditions (3 of them):

  • identity which is $e = a^0\in H$
  • inverse $a^n$ has inverse $a^{-n}\in H$ (check that $a^n\cdot a^{-n} = a^{-n}\cdot a^n = e$)
  • closure as $a^n\cdot a^m = a^{n+m} \in H$ as $n+m \in \mathbb N$

The proofs are straightforward. You can conclude that $H$ = $<a>$ is a cyclic subgroup of $G$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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