Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|improve this question
5  
A maximal abelian subgroup is always self-centralising: $A$ and an element from the centraliser generate an abelian subgroup. –  Torsten Ekedahl Jul 26 '11 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 '11 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 '11 at 11:56
1  
This is not a research level question: I think it is better to close it. –  Salvatore Siciliano Jul 26 '11 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 '11 at 16:34
show 4 more comments

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.