This article is about a definition in group theory that is standard among the group theory community (or sub-community that dabbles in such things) but is not very basic or common for people outside.
VIEW: Definitions built on this | Facts about this: (facts closely related to Abnormal subgroup, all facts related to Abnormal subgroup) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a list of other standard non-basic definitions
This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties[SHOW MORE]
This is an opposite of normality
This term was introduced by: Carter
Definition with symbols
A subgroup of a group is termed abnormal if it satisfies the following equivalent conditions:
Relation with other properties
- Self-normalizing subgroup
- Weakly abnormal subgroup
- Subabnormal subgroup
- Pronormal subgroup
- Weakly pronormal subgroup
- Paranormal subgroup
- Polynormal subgroup
- Contranormal subgroup
The only subgroup of a group that is both normal and abnormal is the whole group itself.
Intermediate subgroup condition
YES: This subgroup property satisfies the intermediate subgroup condition: if a subgroup has the property in the whole group, it has the property in every intermediate subgroup.
ABOUT THIS PROPERTY: View variations of this property satisfying intermediate subgroup condition | View variations of this property not satisfying intermediate subgroup condition
ABOUT INTERMEDIATE SUBROUP CONDITION:View all properties satisfying intermediate subgroup condition | View facts about intermediate subgroup condition
If is abnormal inside , is also abnormal inside for any intermediate subgroup .
This subgroup property is upward-closed: if a subgroup satisfies the property in the whole group, every intermediate subgroup also satisfies the property in the whole group
View other upward-closed subgroup properties
If is abnormal inside , then so is any subgroup of containing .
NO: This subgroup property is not transitive: a subgroup with this property in a subgroup with this property, need not have the property in the whole group
ABOUT THIS PROPERTY: View variations of this property that are transitive|View variations of this property that are not transitive
ABOUT TRANSITIVITY: View a complete list of subgroup properties that are not transitive|View facts related to transitivity of subgroup properties | View a survey article on disproving transitivity
The property of being abnormal is identity-true, that is, any group is abnormal as a subgroup of itself. It is not true for the trivial subgroup unless the whole group is trivial.
One can write code to test this subgroup property in GAP (Groups, Algorithms and Programming), though there is no direct command for it.GAP-codable subgroup property
View the GAP code for testing this subgroup property at: IsAbnormal
View other GAP-codable subgroup properties | View subgroup properties with in-built commands
There's no in-built function to test for abnormality, but a short snippet of code can be used to test if a subgroup is abnormal. The function is invoked as follows:
- Nilpotent self-normalizing subgroups of soluble groups by Roger W. Carter, Math. Zeitschr., Volume 75, Page 136 - 139(Year 1961): WeblinkMore info
- Nilpotent self-normalizing subgroups and system normalizers by Roger W. Carter, Volume 12, Page 535 - 563(Year 1962): WeblinkMore info
- Nilpotent subgroups of finite soluble groups by John S. Rose, Math. Zeitschr., Volume 106, Page 97 - 112(Year 1968): WeblinkMore info
Search for "abnormal+subgroup" on the World Wide Web:
Scholarly articles: Google Scholar, JSTOR
Books: Google Books, Amazon
This wiki: Internal search, Google site search
Encyclopaedias: Wikipedia (or using Google), Citizendium
Math resource pages:Mathworld, Planetmath, Springer Online Reference Works
Math wikis: Topospaces, Diffgeom, Commalg, Noncommutative
Discussion fora: Mathlinks, Google Groups
The web: Google, Yahoo, Windows Live
Learn more about using the Searchbox OR provide your feedback