Changes

Jump to: navigation, search

Intermediately fully invariant subgroup

669 bytes added, 20:58, 28 February 2009
no edit summary
* [[Weaker than::Homomorph-containing subgroup]]
* [[Weaker than::Subhomomorph-containing subgroup]]
* [[Weaker than::Variety-containing subgroup]]
===Weaker properties===
* [[Stronger than::Intermediately characteristic subgroup]]
* [[Stronger than::Characteristic subgroup]]
 
==Metaproperties==
 
{{intransitive}}
 
An intermediately fully characteristic subgroup of an intermediately fully characteristic subgroup need not be intermediately fully characteristic. {{proofat|[[Intermediate full characteristicity is not transitive]]}}
 
{{join-closed}}
 
An arbitrary join of intermediately fully characteristic subgroups is intermediately fully characteristic. This follows from the fact that the intermediately operator preserves the property of being closed under joins. {{proofat|[[Intermediate full characteristicity is strongly join-closed]]}}
Bureaucrats, emailconfirmed, Administrators
38,915
edits

Navigation menu