Changes

Jump to: navigation, search

Intermediately fully invariant subgroup

14 bytes removed, 02:54, 22 May 2009
Metaproperties
{{intransitive}}
An intermediately fully characteristic subgroup of an intermediately fully characteristic subgroup need not be intermediately fully characteristic. {{proofat|[[Intermediate full characteristicity invariance 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 invariance is strongly join-closed]]}}
Bureaucrats, emailconfirmed, Administrators
38,915
edits

Navigation menu