|
|
| (12 intermediate revisions by the same user not shown) |
| Line 1: |
Line 1: |
| {{wikilocal}}
| | You might be looking for: |
| {{subgroup property}}
| |
| {{variationof|characteristicity}}
| |
|
| |
|
| ==History==
| | * [[normal equals potentially characteristic]]: A [[normal subgroup]] <math>H</math> of a [[group]] <math>G</math> is potentially characteristic: there exists a group <math>K</math> containing <math>G</math> such that <math>H</math> is a [[characteristic subgroup]] of <math>K</math>. |
| | | * [[group property-conditionally potentially characteristic subgroup]]: This is the notion of being potentially characteristic with respect to a group property. |
| {{wikilocal-see-talk-page}}
| | * [[potentially characteristic subgroups characterization problem]] |
| | | * [[potentially operator]]: This takes as input a subgroup property and outputs the property of being a subgroup that can satisfy the property in some ambient group. |
| ==Definition==
| |
| | |
| ===Symbol-free definition===
| |
| | |
| A subgroup of a group is termed '''potentially characteristic''' if there is an embedding of the bigger group in some group such that, in that embedding the subgroup becomes [[characteristic subgroup|characteristic]].
| |
| | |
| ===Definition with symbols===
| |
| | |
| A subgroup <math>H</math> of a group <math>G</math> is termed ''potentially characteristic'' in <math>G</math> if there exists a group <math>K</math> containing <math>G</math> such that <math>H</math> is [[characteristic subgroup|characteristic]] in <math>K</math>.
| |
| | |
| {{obtainedbyapplyingthe|potentially operator|characteristic subgroup}}
| |
| | |
| The property of being potentially characteristic is obtained by applying the [[potentially operator]] to the property of being [[characteristic subgroup|characteristic]]. The potentially operator is an idempotent ascendant monotone operator.
| |
| | |
| ==Relation with other properties==
| |
| | |
| ===Stronger properties===
| |
| | |
| * [[Weaker than::Characteristic subgroup]]
| |
| * [[Weaker than::Intermediately characteristic subgroup]]
| |
| * [[Weaker than::Strongly potentially characteristic subgroup]]
| |
| * [[Weaker than::Potentially verbal subgroup]]
| |
| * [[Weaker than::Potentially fully characteristic subgroup]]
| |
| * [[Weaker than::Amalgam-characteristic subgroup]]
| |
| * [[Weaker than::Finite normal subgroup]]: {{proofat|[[Finite normal implies potentially characteristic]]}}
| |
| * [[Weaker than::Central subgroup]]: {{proofat|[[Central implies potentially characteristic]]}}
| |
| * Subgroup contained in a member of the [[upper central series]] : {{proofat|[[Subgroup contained in member of upper central series is potentially characteristic]]}}
| |
| | |
| ===Weaker properties===
| |
| | |
| * [[Stronger than::Potentially relatively characteristic subgroup]] | |
| * [[Stronger than::Normal subgroup]]: {{proofat|[[Potentially characteristic implies normal]]}} | |
| | |
| ===Related properties===
| |
| | |
| * [[Finite-potentially characteristic subgroup]]
| |
| | |
| ===Conjecture of equalling normality===
| |
| | |
| {{conjecturedtoequal|normality}}
| |
| | |
| {{further|[[NPC conjecture]]}}
| |
| | |
| Since the potentially operator is an idempotent monotone ascendant operator, and the property of being [[normal subgroup|normal]] is a fixed point of this operator, every potentially characteristic subgroup is normal. The converse question: ''is every normal subgroup potentially characteristic?'' has not yet been answered. However, it is true that any [[finite normal subgroup]] is potentially characteristic, and it is also true that any normal subgroup of a [[nilpotent group]] (and more generally, any normal subgroup contained in a member of the [[upper central series]]) is potentially characteristic. {{proofat|[[Finite normal implies potentially characteristic]],[[Central implies potentially characteristic]]}}
| |
| | |
| ==Metaproperties==
| |
| | |
| {{intransitive}}
| |
| | |
| {{fillin}}
| |
| | |
| {{intersection-closed-open}}
| |
| | |
| Is the intersection of two potentially characteristic subgroups potentially characteristic?
| |
| | |
| ==Property operators==
| |
| | |
| ===Left transiter===
| |
| | |
| {{further|[[Characteristic of potentially characteristic implies potentially characteristic]]}}
| |
| Every characteristic subgroup of a potentially characteristic subgroup is potentially characteristic. In fact, the same supergroup works.
| |
| | |
| That is, suppose <math>M \le G \le H</math> with <math>M</math> characteristic in <math>G</math> and <math>G</math> potentially characteristic in <math>H</math>. Then, there exists a group <math>K</math> containing <math>H</math> such that both <math>G</math> and <math>H</math> are [[characteristic subgroup|characteristic]] in <math>K</math>. Then, we also have that <math>M</math> is characteristic in <math>K</math>, and hence <math>M</math> is potentially characteristic in <math>H</math>.
| |