Difference between revisions of "Purely definable subgroup"
From Groupprops
(→Weaker properties) |
(→Metaproperties) |
||
Line 22: | Line 22: | ||
| [[satisfies metaproperty::strongly finite-intersection-closed subgroup property]] || Yes || [[pure definability is strongly finite-intersection-closed]] || Suppose <math>G</math> is a group and <math>H,K</math> are purely definable subgroups of <math>G</math>. Then the intersection <math>H \cap K</math> is also a purely definable subgroup of <math>G</math>. | | [[satisfies metaproperty::strongly finite-intersection-closed subgroup property]] || Yes || [[pure definability is strongly finite-intersection-closed]] || Suppose <math>G</math> is a group and <math>H,K</math> are purely definable subgroups of <math>G</math>. Then the intersection <math>H \cap K</math> is also a purely definable subgroup of <math>G</math>. | ||
|- | |- | ||
− | | [[satisfies metaproperty::quotient-transitive subgroup property]] || Yes || [[pure definability is quotient-transitive]] || Suppose <math>G</math> is a group and <math>H \le K \le G</math> are such that <math>H</math> is purely definable in <math>G</math> and the [[quotient group]] <math>K/H</math> is | + | | [[satisfies metaproperty::quotient-transitive subgroup property]] || Yes || [[pure definability is quotient-transitive]] || Suppose <math>G</math> is a group and <math>H \le K \le G</math> are such that <math>H</math> is purely definable in <math>G</math> and the [[quotient group]] <math>K/H</math> is purely defiable in <math>G/H</math>. Then, <math>K</math> is purely definable in <math>G</math>. |
|} | |} | ||
Revision as of 14:18, 1 June 2020
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]
This subgroup property is the version, in a pure group, of the following subgroup property for logicians: definable subgroup | See other such examples
This is a variation of characteristicity|Find other variations of characteristicity | Read a survey article on varying characteristicity
Contents
Definition
A subgroup of a group is said to be purely definable if it is definable as a subset in the first-order theory of the pure group. By pure group, we mean the set equipped only with the structure of the group operations and with no additional first-order data supplied.
By definable subset, we mean that there is a first-order formula with one free variable such that the set of elements satisfying the formula is precisely that subset.
Metaproperties
Metaproperty name | Satisfied? | Proof | Statement with symbols |
---|---|---|---|
transitive subgroup property | Yes | pure definability is transitive | If ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
trim subgroup property | Yes | (obvious) | The trivial subgroup and whole group are purely definable. |
strongly finite-intersection-closed subgroup property | Yes | pure definability is strongly finite-intersection-closed | Suppose ![]() ![]() ![]() ![]() ![]() |
quotient-transitive subgroup property | Yes | pure definability is quotient-transitive | Suppose ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Relation with other properties
Stronger properties
Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|
characteristic subgroup of finite group | characteristic subgroup and the whole group is a finite group. | |FULL LIST, MORE INFO | ||
verbal subgroup of finite type | image of a word map | Purely positively definable subgroup|FULL LIST, MORE INFO | ||
finite verbal subgroup | (via verbal subgroup of finite type) | (via verbal subgroup of finite type) | Verbal subgroup of finite type|FULL LIST, MORE INFO | |
marginal subgroup of finite type | Purely positively definable subgroup|FULL LIST, MORE INFO |
Weaker properties
Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|
purely definably generated subgroup | generated by a purely definable subset | derived subgroup not is purely definable, but it is purely definably generated. | |FULL LIST, MORE INFO | |
elementarily characteristic subgroup | no other elementarily equivalent subgroup | Purely definably generated subgroup|FULL LIST, MORE INFO | ||
second-order purely definable subgroup | definable in the second-order theory of the group | |FULL LIST, MORE INFO | ||
characteristic subgroup | invariant under all automorphisms | Elementarily characteristic subgroup, Monadic second-order characteristic subgroup, Purely definably generated subgroup|FULL LIST, MORE INFO | ||
normal subgroup | invariant under all inner automorphisms | Characteristic subgroup|FULL LIST, MORE INFO |