Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Please help me with the following problem.

Prove that if $|H|=\{e\}$ then $|G/H|= |G|$. Then show that if $|G/H|=|G|$ then $H={e}$.

share|cite|improve this question

marked as duplicate by amWhy, Alexander Gruber, Calvin Lin, lhf, Thomas Feb 6 '13 at 23:55

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

1. Please don't phrase questions as commands. 2. Please cut the "strong text" business. 3. What do you know about quotient groups? How far did you get with this problem? Where did you get stuck? – Gerry Myerson Feb 6 '13 at 23:12

Let $\mu:G\rightarrow G/H$ by $\mu(x)=xH$. What's $\operatorname{Ker}(\mu)$ if $|G/H|=|G|$?

share|cite|improve this answer
+1 tricky approach. – Babak S. Feb 8 '13 at 5:14

Well let $g\in G/H$, then it is of the form $gH$.

If $H=\{e\}$,then we have $g$ is the form $g.1$ $\forall g\in G$. Obviously this is the entire group So even stronger,we have that $G/1 = G$.

If $|G/H|=|G|$, we know that $|G|/|H|=|G|$, but this is only true if $|H|=1$. A group must contain ${e}$, so that is the only element.

share|cite|improve this answer

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