Characteristicity is strongly intersection-closed: Difference between revisions

Revision as of 19:22, 18 January 2009

This article gives the statement, and possibly proof, of a subgroup property (i.e., characteristic subgroup) satisfying a subgroup metaproperty (i.e., strongly intersection-closed subgroup property)
View all subgroup metaproperty satisfactions | View all subgroup metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for subgroup properties
Get more facts about characteristic subgroup |Get facts that use property satisfaction of characteristic subgroup | Get facts that use property satisfaction of characteristic subgroup|Get more facts about strongly intersection-closed subgroup property

Statement

Verbal statement

An arbitrary (possibly empty) intersection of characteristic subgroups of a group is a characteristic subgroup.

Statement with symbols

Suppose $I$ is an indexing set and $H_{i}, i \in I$ is a collection of characteristic subgroups of a group $G$ . Then, the intersection of subgroups $⋂_{i \in I} H_{i}$ is also a characteristic subgroup of $G$ .

Related facts

Generalizations

Invariance implies strongly intersection-closed: Any invariance property (i.e., a property that can be expressed as invariance under a certain collection of functions) is strongly intersection-closed: an arbitrary intersection of subgroups with the property again has the property.

Other particular cases of this general result are:

Analogues in other algebraic structures

Related metaproperty satisfactions and dissatisfactions for characteristicity

Characteristicity is transitive: A characteristic subgroup of a characteristic subgroup is characteristic.
Characteristicity is strongly join-closed: The subgroup generated by a collection of characteristic subgroups is characteristic.
Characteristicity is not finite-relative-intersection-closed
Characteristicity does not satisfy intermediate subgroup condition
Characteristicity does not satisfy transfer condition

Definitions used

Characteristic subgroup

Further information: Characteristic subgroup

Proof

Hands-on proof

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

Property-theoretic proof

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

@@ Line 29: / Line 29: @@
 * [[Characteristicity is strongly intersection-closed in Lie rings]]
 * [[Derivation-invariance is strongly intersection-closed]]
+===Related metaproperty satisfactions and dissatisfactions for characteristicity===
+* [[Characteristicity is transitive]]: A characteristic subgroup of a characteristic subgroup is characteristic.
+* [[Characteristicity is strongly join-closed]]: The subgroup generated by a collection of characteristic subgroups is characteristic.
+* [[Characteristicity is not finite-relative-intersection-closed]]
+* [[Characteristicity does not satisfy intermediate subgroup condition]]
+* [[Characteristicity does not satisfy transfer condition]]
 ==Definitions used==