Groupprops, The Group Properties Wiki (pre-alpha)

From Groupprops

Definition

Symbol-free definition

A subgroup of a group is termed join-transitively subnormal if its join (viz., the subgroup generated) with any subnormal subgroup is again subnormal.

Definition with symbols

A subgroup H of a group G is termed join-transitively subnormal if whenever (viz., K is subnormal in G), the join of subgroups is subnormal in G.

Contents 1 Definition 1.1 Symbol-free definition 1.2 Definition with symbols 2 Formalisms 2.1 In terms of the join-transiter 3 Relation with other properties 3.1 Stronger properties 3.2 Weaker properties 4 Metaproperties 4.1 Trimness 4.2 Join-closedness

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this |
VIEW RELATED: Variations of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof.
View a complete list of subgroup properties|Get subgroup property lookup help |Get exploration suggestions[SHOW MORE]

VIEW RELATED: Subgroup property implications |
VIEW FACTS THAT:| prove, or show that, a subgroup satisfies the property
RANDOM SUBGROUP PROPERTY: Local subgroup: A subgroup that occurs as the normalizer of a nontrivial solvable subgroup.

If the ambient group is a finite group, this property is equivalent to the property: subnormal subgroup
View other properties finitarily equivalent to subnormal subgroup | View other variations of subnormal subgroup |

Formalisms

In terms of the join-transiter

This property is obtained by applying the join-transiter to the property: subnormal subgroup
View other properties obtained by applying the join-transiter

The subgroup property of being join-transitively subnormal is obtained by applying the join-transiter to the subgroup property of being subnormal.

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Normal subgroup		Normal implies join-transitively subnormal	Follows from 2-subnormal implies join-transitively subnormal, 2-subnormal not implies normal	click here
2-subnormal subgroup	Normal subgroup of normal subgroup	2-subnormal implies join-transitively subnormal	Follows from finite implies subnormal join property, and there exist subgroups of arbitrarily large subnormal depth in finite groups	click here
Linear-bound join-transitively subnormal subgroup	There's a constant a such that the join with any k-subnormal subgroup is subnormal of depth at most ak	(by definition)	?	click here
Polynomial-bound join-transitively subnormal subgroup	There's a polynomial function p such that the join with any k-subnormal subgroup is subnormal of depth at most p(k)	(by definition)	?
Subnormal-permutable subnormal subgroup	subnormal and permutes with all subnormal subgroups	Subnormal-permutable and subnormal implies join-transitively subnormal	finite implies subnormal join property, and examples of subnormal subgroups of finite groups that are not subnormal-permutable	click here
Permutable subnormal subgroup	subnormal and a permutable subgroup of the whole group	Permutable and subnormal implies join-transitively subnormal	(via subnormal-permutable subnormal)	click here
Perfect subnormal subgroup	subnormal subgroup and also a perfect group	Perfect subnormal implies join-transitively subnormal	normal implies join-transitively subnormal, examples of normal subgroups that are not perfect	click here
Subnormal subgroup of finite index	subnormal subgroup that is also a subgroup of finite index	Subnormal of finite index implies join-transitively subnormal		click here
Subnormal subgroup of finite group	subnormal subgroup of finite group	Finite implies subnormal join property		click here
Conjugate-join-closed subnormal subgroup	join of any collection of its conjugate subgroups is subnormal	Conjugate-join-closed subnormal implies join-transitively subnormal		click here
Automorph-join-closed subnormal subgroup	join of any collection of its automorphic subgroups is subnormal	(via conjugate-join-closed)		click here
Intermediately join-transitively subnormal subgroup	join-transitively subnormal in every intermediate subgroup	(by definition)

Weaker properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Subnormal subgroup				click here
Finite-automorph-join-closed subnormal subgroup		Join-transitively subnormal implies finite-automorph-join-closed subnormal
Finite-conjugate-join-closed subnormal subgroup		(via finite-automorph-join-closed subnormal subgroup)		click here

Metaproperties

Metaproperty name	Satisfied?	Proof	Statement with symbols
Transitive subgroup property	No	normal implies join-transitively subnormal, subnormality is not finite-join-closed	We can have such that H is join-transitively subnormal in K and K is join-transitively subnormal in G, but H is not join-transitively subnormal in G.
Trim subgroup property	Yes		Every group is join-transitively subnormal in itself; the trivial subgroup is join-transitively subnormal.
Finite-intersection-closed subgroup property	Known open problem	intersection problem for join-transitively subnormal subgroups	Given join-transitively subnormal subgroups H,K of a group G, is necessarily join-transitively subnormal?
Intermediate subgroup condition	Possibly open problem (see intermediately join-transitively subnormal subgroup)		If such that H is join-transitively subnormal in G, is H necessarily join-transitively subnormal in K.
Finite-join-closed subgroup property	Yes		If are both join-transitively subnormal in G, then is also join-transitively subnormal.

Trimness

This subgroup property is trim -- it is both trivially true (true for the trivial subgroup) and identity-true (true for a group as a subgroup of itself).
View other trim subgroup properties | View other trivially true subgroup properties | View other identity-true subgroup properties

Clearly, the whole group is join-transitively subnormal, because its join with any subgroup is the whole group. Also, the trivial subgroup is join-transitively subnormal, because its join with any subnormal subgroup is the same subnormal subgroup.

Join-closedness

YES: This subgroup property is join-closed: an arbitrary (nonempty) join of subgroups with this property, also has this property.
ABOUT THIS PROPERTY: |
ABOUT JOIN-CLOSEDNESS: View all join-closed subgroup properties (or, strongly join-closed properties) | View all subgroup properties that are not join-closed | Read a survey article on proving join-closedness | Read a survey article on disproving join-closedness

By the general theory of transiters, the join-transiter of any subgroup property is itself a finite-join-closed subgroup property.