8
$\begingroup$

Here is a problem from "An introduction to the Theory of Groups" by J.J.Rotman:

Let $G$ be a finite group, and let $H$ be a normal subgroup with $(|H|,[G:H])=1$. Prove that $H$ is the unique such subgroup in $G$.

I assumed there was another normal subgroup like $H$, say $K$, such that $(|K|,[G:K])=1$. My aim was to show that $[K: K\cap H]=1 $ that was not held if I didn’t suppose $|H|=|K|$ . My question is if my last assumption about two subgroups is right? If it isn’t, please guide me. Thanks.

  • 2
    $[K:K\cap H]=1$ iff $K=K\cap H$ iff $K\le H$. By symmetry, you would also have $[H:H\cap K]=1$ hence $H\le K$ and thus $H=K$. Note that $|H|=|K|$ is not the same as $H=K$ however.2012-07-12
  • 2
    Hint: let $K$ be another subgroup of this order. What can you say about $HK$?2013-01-25
  • 0
    Is an assumption missing from the stated claim? Answerers seem to assume that $|H|=|K|$. Why? I do know that the claim is false without that assumption: Let $G=C_6=\langle c\rangle$, $H=\langle c^2\rangle$, $K=\langle c^3\rangle$, and we have $(|H|,[G:H])=1,$ $(|K|,[G:K])=1$??2013-03-02
  • 1
    @JyrkiLahtonen: I found the number of problem. Do you have the book? It is 2.54. and there is no just a hint "If $K$ be another such subgroup,what happens to $K$ in G/H"2013-03-02
  • 0
    @Babak: I don't have a copy, but the assumption made by the answerers is a must. The exercise makes no sense otherwise. The conditions $H\lhd G, (|H|,[G:H])=1$ are satisfied by all the Sylow subgroups of all nilpotent groups, so there are plenty of counterexamples otherwise.2013-03-02
  • 0
    @JyrkiLahtonen: I do see what are you telling me. I saw the problem again and there is nothin added just that hint in my previous comment. Maybe, in the time I asked this question, I had this exact point you are telling me. I am puzzled.2013-03-02
  • 0
    Actually this has come up on this site before: [this question](http://math.stackexchange.com/questions/260837/rotman-introduction-to-theory-of-groups-exercise?rq=1) was one of the 'Related' questions over on the right. It seems there is simply a mistake in the book.2013-03-02
  • 0
    @TaraB: Oh thanks for the time and the link. I really appreciate you. :)2013-03-02
  • 0
    @BabakS.: Actually, the other question was asked after yours and refers back to yours.2013-03-02
  • 0
    @TaraB: Yes, I saw that and Tobias great explanation +1. I wish these tow question could be merged in some way to create a colored picture.2013-03-02
  • 0
    @JyrkiLahtonen: See above link in the comments. I wasn't aware of that defect till you noted me. Thanks.2013-03-02

6 Answers 6

13

Alternatively, you might note that if $K$ is any other subgroup of order $|H|$, whether or not $K$ is normal (but assuming $H$ is normal), then $HK$ is a subgroup of $G$, so its order must divide $|G|$.

  • 0
    This is better, I think. Less technology needed!2012-07-12
  • 0
    @DylanMoreland:You mean we have $\frac{|H||K|}{|H\cap K|}|[G:H]$ and because of our first assumption in the problem, we necessarily get $|H|=|H\cap K|$?2012-07-12
  • 0
    @BabakSorouh [Not sure how these comments got on this answer, sorry Geoff] I guess what I said leads toward saying that $\#(f(K))$ divides $(G : H)$ and also $\#(K) = \#(H)$ because it is a homomorphic image and hence a quotient of $K$. But to be more precise you could restrict the map to $K$ and get $K/(K \cap H) \simeq (KH)/H$, and the order of this last group divides $(G : H)$. Is that what you meant to say?2012-07-12
  • 0
    @DylanMoreland: Yes. Exactly. Thank you and Geoff again.2012-07-12
7

Let $L$ be any subgroup of $G$ with order $|H|$. Let $p$ be the natural projection $G \to \frac{G}{H}$. Then $p(L)$ is a quotient group of $L$, so $|p(L)|$ divides $|L|=|H|$. But $p(L)$ is also a subgroup of $\frac{G}{H}$, so $|p(L)|$ also divides $|G:H|$. By the coprimality hypothesis, $|p(L)|=1$ so $p$ is trivial on $L$. This means that $L \subseteq H$. Finally $L=H$ because those two subgroups have the same cardinality.

  • 0
    Very nice answer.2013-01-25
  • 0
    May I know is $p(L)=\{lH\;|\;l\in L\}$? and why $p(L)$ is a quotient group of $L$? since $H$ is not necessarily contained in $L$ yet.2016-11-30
  • 0
    @AlanWang Answer to question 1 : $p(L)$ is the image of $L$ by $p$. It can also be described as $\lbrace lH | l\in L\rbrace$ as you say. Answer to question 2 : $p(L)$ is a quotient group of $L$ because it is the image of $L$ by a homomorphism (explicitly, $p(L)$ is isomorphic to $\frac{L}{L\cap H}$).2016-11-30
4

One way to see this is to look at the quotient map $f\colon G \to G/H$. Using Lagrange's theorem a couple of times, what can you say about the order of $f(K)$? [This isn't far from proving a well known formula for $\#(HK)$.]

2

Consider the more general result proven by user Gastón Burrull here. It states

If $K\triangleleft G$, $|K|$ finite, $H\leq G$, $[G:H]$ finite and $|K|$, $[G:H]$ are relatively prime then $H\leq K$

In other words, if the index of a subgroup is coprime to the cardinality of a normal subgroup, then it is contained in that normal subgroup. So if $K$ is any other subgroup of cardinality $|H|$, then since the group is finite, $H$ and $K$ have the same index, hence the index of $K$ is coprime to $|H|$, and so $K\leq H$. But since $K$ and $H$ are finite subgroups of equal order, $K=H$. So $H$ is the only subgroup of order $|H|$.

1

This machinery is somewhat high powered, but it should explain what the book is really trying to get at.

Hall subgroups are generalizations of Sylow subgroups for multiple primes. If we denote by $\nu_G(p)$ the largest power of $p$ dividing $|G|$, we see that Sylow $p$-subgroups are those subgroups of order $\nu_G(p)$. Hall $\pi$-subgroups, where $\pi$ is a set of prime numbers, are subgroups of order $\prod_{p\in \Pi} \nu_G(p)$. Alternatively, a Hall $\pi$-subgroup $H$ is a subgroup of order divisible by each $p\in \Pi$ such that $[G:H]$ is coprime to $|H|$. Note that Hall subgroups of a group $G$ may not always exist for each $\pi\subset\{p\in \mathbb{P}|p\mid |G|\}$ - actually, this holds if and only if $G$ is solvable.

As it turns out, a lot of the stuff that works for Sylow subgroups works for Hall subgroups. In particular, when Hall subgroups exist, they are all conjugate, so much like how normal Sylow subgroups must be unique, so must normal Hall subgroups. This is part of Hall's theorem, which I will not prove here (but it follows fairly easily by inducting on the size of a minimal normal subgroup).

  • 0
    Thanks for the time you gave me Alexander. I appreciate you.2013-04-11
0

To make things explicit: Assume $\lvert H \rvert = \lvert K \rvert$.

As a consequence of the 2nd isomorphism theorem, $HK \le G$ and $$\lvert HK \rvert = \frac{\lvert H \rvert \lvert K \rvert}{\lvert H \cap K \rvert} = \frac{\lvert H \rvert^2}{\lvert H \cap K \rvert}$$

By Lagrange's Theorem: $$\lvert G \rvert = [G:H] \lvert H \rvert = [G:HK] \lvert HK \rvert $$

We derive $$[G:H] = [G:HK] \frac{\lvert H \rvert}{\lvert H \cap K \rvert}$$

If $\lvert H \cap K \rvert < \lvert H \rvert$ then there is some factor $n \ne 1$ of $\lvert H \rvert$ on the RHS (note: $\lvert H \vert /\lvert H \cap K \rvert = n \in \mathbb N$). Thus $n \mid [G:H] $, a contradiction that $\operatorname{gcd}(\lvert H \rvert, [G:H]) = 1$. We conclude $\lvert H \cap K \rvert = \lvert H \rvert$ and since $\lvert H \rvert = \lvert K \rvert$ we can conclude $H = K$.