# Difference between revisions of "Self-centralizing subgroup"

(3 intermediate revisions by the same user not shown) | |||

Line 16: | Line 16: | ||

* <math>C_G(H) \le H</math> | * <math>C_G(H) \le H</math> | ||

* <math>Z(H) = C_G(H)</math> | * <math>Z(H) = C_G(H)</math> | ||

+ | |||

+ | Note that the term '''self-centralizing subgroup''' is often used for an ''abelian'' self-centralizing subgroup, i.e., a subgroup that ''equals'', rather than merely contains, its centralizer. This is equivalent to being [[maximal among abelian subgroups]]. | ||

==Relation with other properties== | ==Relation with other properties== | ||

Line 34: | Line 36: | ||

* [[Subgroup containing the center]] | * [[Subgroup containing the center]] | ||

+ | |||

+ | ==Examples== | ||

+ | |||

+ | For a complete list of examples of self-centralizing subgroups, refer: | ||

+ | |||

+ | [[:Category:Instances of self-centralizing subgroups]] | ||

==Metaproperties== | ==Metaproperties== | ||

Line 48: | Line 56: | ||

Since any subgroup containing a self-centralizing subgroup is self-centralizing, a join of any nonempty collection of self-centralizing subgroups is again self-centralizing. | Since any subgroup containing a self-centralizing subgroup is self-centralizing, a join of any nonempty collection of self-centralizing subgroups is again self-centralizing. | ||

+ | |||

+ | ==Testing== | ||

+ | |||

+ | {{GAP code for subgroup property|test = IsSelfCentralizing}} | ||

+ | |||

+ | A short piece of GAP code can test whether a subgroup of a group is self-centralizing: the code is available at [[GAP:IsSelfCentralizing]]. |

## Latest revision as of 15:39, 4 April 2010

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]

## Contents

## Definition

### Symbol-free definition

A subgroup of a group is said to be **self-centralizing** if it satisfies the following equivalent conditions:

- It contains its own centralizer in the whole group
- Its center equals its centralizer in the whole group

### Definition with symbols

A subgroup of a group is said to be **self-centralizing** if it satisfies the following equivalent conditions:

Note that the term **self-centralizing subgroup** is often used for an *abelian* self-centralizing subgroup, i.e., a subgroup that *equals*, rather than merely contains, its centralizer. This is equivalent to being maximal among abelian subgroups.

## Relation with other properties

### Stronger properties

Under additional conditions:

- In any group, a maximal among Abelian subgroups
- In a supersolvable group or nilpotent group, maximal among Abelian normal subgroups
- In a solvable group, the Fitting subgroup

### Weaker properties

## Examples

For a complete list of examples of self-centralizing subgroups, refer:

Category:Instances of self-centralizing subgroups

## 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 conditionABOUT INTERMEDIATE SUBROUP CONDITION:View all properties satisfying intermediate subgroup condition | View facts about intermediate subgroup condition

If a subgroup is self-centralizing in the whole group, it is also self-centralizing in every intermediate subgroup.

### 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 is a self-centralizing subgroup of , and is a subgroup containing , then is also a self-centralizing subgroup of .

### Join-closedness

YES:This subgroup property is join-closed: an arbitrary (nonempty) join of subgroups with this property, also has this property.ABOUT THIS PROPERTY: View variations of this property that are join-closed | View variations of this property that are not join-closedABOUT JOIN-CLOSEDNESS: View all join-closed subgroup properties (or, strongly join-closed properties) | View all subgroup properties that are not join-closed | Read a survey article on proving join-closedness | Read a survey article on disproving join-closedness

Since any subgroup containing a self-centralizing subgroup is self-centralizing, a join of any nonempty collection of self-centralizing subgroups is again self-centralizing.

## Testing

### GAP code

GAP-codable subgroup propertyOne can write code to test this subgroup property inGAP (Groups, Algorithms and Programming), though there is no direct command for it.

View the GAP code for testing this subgroup property at: IsSelfCentralizing

View other GAP-codable subgroup properties | View subgroup properties with in-built commands

A short piece of GAP code can test whether a subgroup of a group is self-centralizing: the code is available at GAP:IsSelfCentralizing.