8
$\begingroup$

Suppose $G$ is a finite group and fix a prime $p$.

Let $H\leq G$ have the property that $C_G(x)\subseteq H$ whenever $x$ is an element of $H$ whose order is $p^\alpha, \alpha>0$ an integer. Then prove that $p$ cannot divide both $|H|$ and $|G:H|$.

I'm asking you to lend me an hand since it seems I'm stuck on the problem.

Thank you very much.

  • 0
    Let $P$ be a Sylow subgroup of $G$ intersecting $H$ non-trivially. Let $x\in P\cap H$; what subgroup of $P$ are you certain is contained in $C_G(x)$?2011-10-27

2 Answers 2

7

If $p$ does not divide $H$, then the condition is satisfied vacuously, but the conclusion holds so there is nothing to do. So assume that $p|H$.

Let $P$ be a Sylow $p$-subgroup of $H$. If $P$ is not a Sylow $p$-subgroup of $G$, then there exists a subgroup $Q$ of $G$ that contains $P$, with $[Q:P]=p$. Now consider $Z(Q)$, which is nontrivial. If $Z(Q)\subseteq P\neq\{1\}$, then letting $x\in Z(Q)$, $x\neq 1$, gives an element of $P$ (hence of $H$) whose centralizer contains $Q$ (since $x\in Z(Q)$), so $Q\subseteq C_G(x)\subseteq H$, contradicting the fact that $P$ is a Sylow $p$-subgroup of $H$ and $Q$ is of order $p|P|$. Therefore, $Z(Q)\not\subseteq P = \{1\}$.

But since $Z(Q)$ is nontrivial, and $P$ is maximal in $Q$, this implies that $Q=PZ(Q)$. Therefore, if $x\in Z(P)$, then every element of $Q$ centralizes $x$; that is, $Z(P)=Z(Q)\cap P$. Since $P$ is a nontrivial $p$-group, $Z(P)\neq \{1\}$, so we can pick $x\in Z(P)\subseteq Z(Q)$, $x\neq 1$, and again we have $Q \subseteq C_G(x)\subseteq H$, contradicting the assumption that $P$ is a Sylow $p$-subgroup of $H$ and that $Q$ is a $p$-group properly containing $P$.

In either case, the assumption that $P$ is not a Sylow $p$-subgroup of $G$ leads to a contradiction, so if $p$ divides $|H|$, then the highest power of $p$ that divides $|H|$ equals the highest power of $p$ that divides $|G|$, so $|G:H|$ is not a multiple of $p$.

  • 0
    thanks arturo.. For what concerns your doubt, i assure you that what i've written is copied exactly as it stands in the book. The statement there is the same, so i'm afraid i can't help you.2011-10-27
  • 0
    @uforoboa: I believe you; it's just weird because there can be no example where that happens: if $p||G|$, then the condition requires $p$ to divide $|H|$, since $H$ will contain elements of order $p$.2011-10-27
  • 0
    @Arturo, you seem to be assuming something slightly stronger than the conditions in the claim. Doesn't the condition in the claim only say that if $x \in H$ and $o(p)=p^k$ for some $k$ then $C_g(x) \subset H$? In particular if $H$ contains no elements of order $p^k$ then $p $ divides $ |G:H|$.2011-10-27
  • 0
    @Jacob: Oh! That explains it!2011-10-27
  • 0
    @uforoboa: Please note that I misread the problem; I've added a solution to the *actual* problem. Still, it's probably best if you unaccept my answer for a while.2011-10-27
  • 0
    @Jacob: Thank you for pointing that out! That explains why we can have $p||H|$ *or* $p|[G:H]$ (but not both). The (second) solution should be correct now.2011-10-27
  • 0
    Looks much better to me. I was writing this up, but was hoping Steve would write his answer as an answer rather than a comment. :-)2011-10-27
  • 0
    @all: i've just wieved the corrections of the proof. Sorry for being hasty in accepting the answer but i completely trusted the solution since it was Arturo's :). Sorry everybody, however the solution is now right so it is well accepted. Thanks again2011-10-27
  • 0
    @uforoboa: Always read proposed proofs skeptically. In this case, the argument was an "correct argument", but about the *wrong problem*.2011-10-27
  • 0
    @Arturo Magidin... yes, from now on i will do it for sure :)2011-10-27
3

Here is what I was suggesting in my comment:

The problem is vacuous, as Arturo mentions, if $p$ does not divide $|H|$. So suppose it does, and let $P$ be a Sylow p-subgroup of $G$ intersecting $H$ non-trivially. Let $x\in P\cap H$ be a non-trivial element of the intersection. Then we have, by the hypothesis, $$ Z(P)\subset C_P(x)\subset C_G(x)\subset H.$$

Since $Z(P)$ is non-trivial, take a non-trivial $y\in Z(P)$; then again, since $Z(P)\subset H$, we have $$ P\subset C_P(y)\subset C_G(y)\subset H,$$

and so $H$ contains a Sylow p-subgroup of $G$, implying that $[G:H]$ is not divisible by $p$.