Possible order of a group that has a subgroup of order 7 I need the result of the following question, however I cannot solve it myself. Dear fellows please help me.
Thank you in advance.
The statement is:
Know $G$ is a finite group and it has a subgroup $H$ of order 7, and $H$ has no element except the identity is its own inverse, determine the possible order of group $G$.
 A: Edit: I misread the question as asking that $G$ have no element other than the identity that is its own inverse. What follows answer under that assumption.
The answer is that the order of $G$ can be any odd multiple of $7$.
That the order of $G$ must be a multiple of $7$ follows from Lagrange's Theorem.
That the order of $G$ cannot be even follows from Cauchy's Theorem (if $2$ divides the order of $G$, then $G$ would have an element of order $2$; i.e., an element other than the identity that is its own inverse). Alternatively, it is a standard exercise to show that if $G$ has even order, then it must have an element other than the identity that is equal to its own inverse: simply define an equivalence relation on $G$ by letting $x\sim y$ if and only if $x=y$ or $x=y^{-1}$; this partitions $G$ into equivalence classes, and each equivalence class has either two elements (if the elements are not equal to their inverses) or one element (if the element equals its own inverse). Let $E$ be the number of classes with two elements, and $O$ the number of classes with two elements. Then $|G| = 2|E|+O$. Since $|G|$ and $2|E|$ are both even, then $|O|$ is even. But $|O|$ is at least $1$, since $e$ is its own inverse, so $|O|\geq 2$, and so there must be some element other than the identity that is equal to its own inverse. Thus, if $|G|$ is even, then $G$ cannot satisfy the condition "no element other than the identity is its own inverse."
That any odd multiple of $7$ can be the order of $G$ follows by taking the cyclic group of order $7k$ with $k$ odd, which satisfies the given conditions.

But the problem says $H$ has no elements other than the identity that are their own inverse. Well, that is no restriction on $H$! No group of odd order (including $H$, which has order $7$) can have an element other than the identity that equals its own inverse: if $x\in H$ is such that $x=x^{-1}$, then $\langle x\rangle = \{x,e\}$, so $|\langle x\rangle|=1$ or $2$; since by Lagrange's Theorem the order of $\langle x\rangle$ must divide $|H|=7$, then $|\langle x\rangle|=1$, hence $x=e$.
A: Lagrange's Theorem will be helpful here. It shows that if $G$ has a subgroup $H$ of order 7, then $7=|H|$ must divide $|G|$. So, any such group $G$ will have an order that is divisible by 7. 
However, you need to consider whether any number that is divisble by 7 occurs as the order of such a $G$ (perhaps it is possible that even though 21 is divisible by 7, no group $G$ of order 21 has a subgroup of order 7). See if you can get this part on your own.
