To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Quasinormal subgroup

From Wikipedia, the free encyclopedia

In mathematics, in the field of group theory, a quasinormal subgroup, or permutable subgroup, is a subgroup of a group that commutes (permutes) with every other subgroup with respect to the product of subgroups. The term quasinormal subgroup was introduced by Øystein Ore in 1937.

Two subgroups are said to permute (or commute) if any element from the first subgroup, times an element of the second subgroup, can be written as an element of the second subgroup, times an element of the first subgroup. That is, and as subgroups of are said to commute if HK = KH, that is, any element of the form with and can be written in the form where and .

Every normal subgroup is quasinormal, because a normal subgroup commutes with every element of the group. The converse is not true. For instance, any extension of a cyclic -group by another cyclic -group for the same (odd) prime has the property that all its subgroups are quasinormal. However, not all of its subgroups need be normal.

Every quasinormal subgroup is a modular subgroup, that is, a modular element in the lattice of subgroups. This follows from the modular property of groups. If all subgroups are quasinormal, then the group is called an Iwasawa group—sometimes also called a modular group,[1] although this latter term has other meanings.

In any group, every quasinormal subgroup is ascendant.

A conjugate permutable subgroup is one that commutes with all its conjugate subgroups. Every quasinormal subgroup is conjugate permutable.

In finite groups

Every quasinormal subgroup of a finite group is a subnormal subgroup. This follows from the somewhat stronger statement that every conjugate permutable subgroup is subnormal, which in turn follows from the statement that every maximal conjugate permutable subgroup is normal. (The finiteness is used crucially in the proofs.)

In summary, a subgroup H of a finite group G is permutable in G if and only if H is both modular and subnormal in G.[1][2]

PT-groups

Permutability is not a transitive relation in general. The groups in which permutability is transitive are called PT-groups, by analogy with T-groups in which normality is transitive.[3]

See also

References

  1. ^ a b Adolfo Ballester-Bolinches; Ramon Esteban-Romero; Mohamed Asaad (2010). Products of Finite Groups. Walter de Gruyter. p. 24. ISBN 978-3-11-022061-2.
  2. ^ Schmidt, Roland (1994), Subgroup Lattices of Groups, Expositions in Math, vol. 14, Walter de Gruyter, p. 201, ISBN 978-3-11-011213-9
  3. ^ Adolfo Ballester-Bolinches; Ramon Esteban-Romero; Mohamed Asaad (2010). Products of Finite Groups. Walter de Gruyter. p. 52. ISBN 978-3-11-022061-2.
This page was last edited on 7 March 2023, at 18:52
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.