Abnormal subgroup: Difference between revisions

Latest revision as of 00:56, 22 February 2009

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]
|Get subgroup property lookup help |Get exploration suggestions
VIEW RELATED: Subgroup property implications | Subgroup property non-implications | Subgroup metaproperty satisfactions | Subgroup metaproperty dissatisfactions | Subgroup property satisfactions |Subgroup property dissatisfactions
VIEW FACTS THAT:use, or start with, a subgroup satisfying the property|prove, or show that, a subgroup satisfies the property

This is an opposite of normality

History

Origin

This term was introduced by: Carter

The notion of abnormal subgroup was introduced by Roger W. Carter in his attempts to understand the structure of Carter subgroups of a solvable group.

Definition

Definition with symbols

A subgroup $H$ of a group $G$ is termed abnormal if it satisfies the following equivalent conditions:

- (Right action convention): For any $x$ in $G$ , $x$ lies inside the subgroup $⟨ H, H^{x} ⟩$ . Here $H^{x}$ denotes the conjugate subgroup $x^{- 1} H x$ .
- (Left action convention): For any $x \in G$ , we have $x \in ⟨ H, x H x^{- 1} ⟩$ .
$H$ is a weakly abnormal subgroup of $G$ and is not contained in the intersection of two distinct conjugate subgroups.

Relation with other properties

Weaker properties

Opposites

The only subgroup of a group that is both normal and abnormal is the whole group itself.

Metaproperties

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 $H$ is abnormal inside $G$ , $H$ is also abnormal inside $K$ for any intermediate subgroup $K$ .

Upward-closedness

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 $H$ is abnormal inside $G$ , then so is any subgroup $K$ of $G$ containing $H$ .

Transitivity

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 not transitive. Its subordination is the property of being subabnormal.

Trimness

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.

Testing

GAP code

One can write code to test this subgroup property in GAP (Groups, Algorithms and Programming), though there is no direct command for it.
View the GAP code for testing this subgroup property at: IsAbnormal
View other GAP-codable subgroup properties | View subgroup properties with in-built commands

GAP-codable subgroup property

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:

IsAbnormal(group,subgroup);

References

Journal references

Nilpotent self-normalizing subgroups of soluble groups by Roger W. Carter, Math. Zeitschr., Volume 75, Page 136 - 139(Year 1961): ^Weblink^{More info}
Nilpotent self-normalizing subgroups and system normalizers by Roger W. Carter, Volume 12, Page 535 - 563(Year 1962): ^Weblink^{More info}
Nilpotent subgroups of finite soluble groups by John S. Rose, Math. Zeitschr., Volume 106, Page 97 - 112(Year 1968): ^Weblink^{More info}

External links

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

Definition links

@@ Line 15: / Line 15: @@
 ===Definition with symbols===
-A subgroup <math>H</math> of a group <math>G</math> is termed '''abnormal''' if, for any <math>x</math> in <math>G</math>, <math>x</math> lies inside the subgroup <math><H,H^x></math>.
+A subgroup <math>H</math> of a group <math>G</math> is termed '''abnormal''' if it satisfies the following equivalent conditions:
+#
+#* (''Right action convention''): For any <math>x</math> in <math>G</math>, <math>x</math> lies inside the subgroup <math>\langle H,H^x \rangle</math>. Here <math>H^x</math> denotes the [[conjugate subgroups|conjugate subgroup]] <math>x^{-1}Hx</math>.
+#* (''Left action convention''): For any <math>x \in G</math>, we have <math>x \in \langle H, xHx^{-1} \rangle</math>.
+# <math>H</math> is a [[defining ingredient::weakly abnormal subgroup]] of <math>G</math> and is not contained in the [[defining ingredient::intersection of two distinct conjugate subgroups]].
 ==Relation with other properties==
@@ Line 22: / Line 26: @@
 * [[Stronger than::Self-normalizing subgroup]]
-* [[Stronger than::Upward-closed self-normalizing subgroup]]
 * [[Stronger than::Weakly abnormal subgroup]]
 * [[Stronger than::Subabnormal subgroup]]
@@ Line 30: / Line 33: @@
 * [[Stronger than::Polynormal subgroup]]
 * [[Stronger than::Contranormal subgroup]]
-* [[Stronger than::Intermediately contranormal subgroup]]
 ===Opposites===
@@ Line 55: / Line 57: @@
 ==Testing==
-{{GAP code for sgp}}
+{{GAP code for subgroup property|test = IsAbnormal}}
+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:
+<pre>IsAbnormal(group,subgroup);</pre>
-<pre>IsAbnormal := function(G,H)
-	   local g,flag;
-	   flag := true;
-	   for g in Set(G) do
-	       if not (g in Group(Union(H,H^g))) then flag := false; fi;
-	     od;
-	   return flag;
-end;;</pre>
 ==References==
-* ''Nilpotent self-normalizing subgroups of soluble groups'' by Roger W. Carter, ''Math. Zeitschr. 75, 136-139 (1961)''
-* ''Nilpotent subgroups of finite soluble groups'' by John S. Rose, ''Math. Zeitschr. 106, 97-112 (1968)''
+===Journal references===
+* {{paperlink|Carteronselfnormalizingsubgroups1}}
+* {{paperlink|Carteronselfnormalizingsubgroups2}}
+* {{paperlink|Rose-nilpotent}}
 ==External links==