Centralizer-annihilating endomorphism-invariant subgroup: Difference between revisions
| Line 10: | Line 10: | ||
===Stronger properties=== | ===Stronger properties=== | ||
{| class=" | {| class="sortable" border="1" | ||
! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | ! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | ||
|- | |- | ||
| [[Weaker than::fully invariant subgroup]] || || || || {{intermediate notions short|centralizer-annihilating endomorphism-invariant subgroup|fully invariant subgroup}} | | [[Weaker than::fully invariant subgroup]] || || || || {{intermediate notions short|centralizer-annihilating endomorphism-invariant subgroup|fully invariant subgroup}} | ||
|- | |- | ||
| [[Weaker than::fully normalized potentially fully invariant subgroup]] || || [fully normalized and potentially fully invariant implies centralizer-annihilating endomorphism-invariant]] || || | | [[Weaker than::fully normalized potentially fully invariant subgroup]] || || [[fully normalized and potentially fully invariant implies centralizer-annihilating endomorphism-invariant]] || || | ||
|} | |} | ||
Latest revision as of 22:00, 16 February 2013
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
A subgroup of a group is termed a centralizer-annihilating endomorphism-invariant subgroup of if, for every centralizer-annihilating endomorphism of , is contained in . Here, a centralizer-annihilating endomorphism of with respect to is an endomorphism whose kernel contains the centralizer .
Relation with other properties
Stronger properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| fully invariant subgroup | |FULL LIST, MORE INFO | |||
| fully normalized potentially fully invariant subgroup | fully normalized and potentially fully invariant implies centralizer-annihilating endomorphism-invariant |