0

1

Let $p$ be a prime number and $P$ a $p$-group.

(1) If $A$ is a maximal Abelian subgroup, what are nice examples where it isn't self-centralizing?

(2) What if $A$ happens to be normal as well?

flag
5 
 A maximal abelian subgroup is always self-centralising: $A$ and an element from the centraliser generate an abelian subgroup. – Torsten Ekedahl Jul 26 2011 at 9:31
3 
 I don't understand your question. If $A$ is maximal abelian subgroup, it must be self-centralizing. Otherwise you can add to $A$ an element from $Cent_G(A)$ and get a bigger abelian subgroup. – Yiftach Barnea Jul 26 2011 at 9:34
1 
 Let me add to the comments of Torsten and Yiftach that the converse is also true, i.e. in every (either finite or infinite) group the self-centralizing subgroups are exactly the maximal abelian subgroups. – Ralph Jul 26 2011 at 11:56
1 
 This is not a research level question: I think it is better to close it. – Salvatore Siciliano Jul 26 2011 at 13:39
2 
 @Salvo: Thanks, for confirming. @Alex: Let $H \le G$ with $H=C_G(H)$ where $C_G(H) := \{g \in G \mid \forall h \in H: gh=hg\}$. Since $H\le C_G(H)$, $H$ is abelian. Assume $H$ is not max. abelian. Then there is an abelian $A \varsupsetneqq H$. It follows $A \le C_G(H) =H$ which is impossible. Thus $H$ is max. abelian. qed. – Ralph Jul 26 2011 at 16:34
show 4 more comments

Your Answer

Get an OpenID
or

Browse other questions tagged or ask your own question.