Pronormal subgroup

Pronormal subgroup

In mathematics, especially in the field of group theory, a pronormal subgroup is a subgroup that is embedded in a nice way. Pronormality is a simultaneous generalization of both normal subgroups and abnormal subgroups such as Sylow subgroups, harv|Doerk|Hawkes|1992|loc=I.§6.

A subgroup is pronormal if each of its conjugates is conjugate to it already in the subgroup generated by it and its conjugate. That is, "H" is pronormal in "G" if for every "g" in "G", there is some "k" in the subgroup generated by "H" and "H""g" such that "H""k" = "H""g".

Here are some relations with other subgroup properties:
*Every normal subgroup is pronormal.
*Every Sylow subgroup is pronormal.
*Every pronormal subnormal subgroup is normal.
*Every abnormal subgroup is pronormal.

*Every pronormal subgroup is weakly pronormal, that is, it has the Frattini property
*Every pronormal subgroup is paranormal, and hence polynormal

References

*Citation | last1=Doerk | first1=Klaus | last2=Hawkes | first2=Trevor | title=Finite soluble groups | publisher=Walter de Gruyter & Co. | location=Berlin | series=de Gruyter Expositions in Mathematics | isbn=978-3-11-012892-5 | id=MathSciNet | id = 1169099 | year=1992 | volume=4


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Abnormal subgroup — In mathematics, in the field of group theory, an abnormal subgroup is a subgroup H of a group G such that for any x in G, x lies in the subgroup generated by H and H^x.Here are some facts relating abnormality to other subgroup properties:* Every… …   Wikipedia

  • Normal subgroup — Concepts in group theory category of groups subgroups, normal subgroups group homomorphisms, kernel, image, quotient direct product, direct sum semidirect product, wreath product …   Wikipedia

  • Subnormal subgroup — In mathematics, in the field of group theory, a subgroup H of a given group G is a subnormal subgroup of G if there is a chain of subgroups of the group, each one normal in the next, beginning at H and ending at G .In notation, H is k subnormal… …   Wikipedia

  • Paranormal subgroup — In mathematics, in the field of group theory, a paranormal subgroup is a subgroup such that the subgroup generated by it and any conjugate of it, is also generated by it and a conjugate of it within that subgroup.In symbols, H is paranormal in G… …   Wikipedia

  • Polynormal subgroup — In mathematics, in the field of group theory, a subgroup of a group is said to be polynormal if its closure under conjugation by any element of the group can also be achieved via closure by conjugation by some element in the subgroup generated.In …   Wikipedia

  • Weakly normal subgroup — In mathematics, in the field of group theory, a subgroup H of a group G is said to be weakly normal if whenever H^g leq N G(H), we have g in N G(H). Every pronormal subgroup is weakly normal.References* | year=2003 | journal=Journal of the… …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”