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

Prove or disprove the following:

$(1)$ Let $H$,$K$ be subgroups of a finite group $G$. If $|HK|=|\langle H,K \rangle|$, then $HK=\langle H,K \rangle$, that is, $HK$ is a subgroup of $G$.

$(2)$ Let $H_{1}$,$H_{2}$,..., $H_{n}$ be subgroups of a finite group $G$, where $n$ is a positive intger. If $|H_{1}H_{2}...H_{n}|=|\langle H_{1},H_{1},...,H_{n} \rangle|$, then $H_{1}H_{2}...H_{n}=\langle H_{1},H_{1},...,H_{n} \rangle$, that is, $H_{1}H_{2}...H_{n}$ is a subgroup of $G$.

My try:

$(1)$ $HK$ is a subset of $\langle H,K \rangle$. Since $|HK|=|\langle H,K \rangle|$ and $\langle H,K \rangle$ is a subgroup of $G$, then $HK=\langle H,K \rangle$.

$(2)$ Same as in $(1)$.

share|cite|improve this question
What have you done? – Alexander Gruber Nov 20 '12 at 15:14
@AlexanderGruber: Please see the question again. – user28083 Nov 20 '12 at 15:38
Looks correct to me. Good job. – Alexander Gruber Nov 20 '12 at 16:01
Thank you very much. – user28083 Nov 21 '12 at 21:19

Your Answer


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

Browse other questions tagged or ask your own question.