Maximal among abelian normal subgroups: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{wikilocal}} | |||
{{subgroup property}} | {{subgroup property}} | ||
==Definition== | ==Definition== | ||
Revision as of 23:54, 25 February 2008
BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
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]
Definition
Symbol-free definition
A subgroup of a group is termed maximal among Abelian normal subgroups if it is an Abelian normal subgroup and there is no Abelian normal subgroup properly containing it.
Definition with symbols
A subgroup of a group is termed maximal among Abelian normal subgroups if is an Abelian normal subgroup of , and for any containing that is an Abelian normal subgroup of , .
Formalisms
In terms of the maximal operator
This property is obtained by applying the maximal operator to the property: Abelian normal subgroup
View other properties obtained by applying the maximal operator