2-subnormal implies join-transitively subnormal: Difference between revisions

Revision as of 11:40, 23 October 2008

This article gives the statement and possibly, proof, of an implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., 2-subnormal subgroup) must also satisfy the second subgroup property (i.e., join-transitively subnormal subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about 2-subnormal subgroup|Get more facts about join-transitively subnormal subgroup

Statement

Statement with symbols

Suppose $H,K\leq G$ are subgroups such that $H$ is a 2-subnormal subgroup of $G$ and $K$ is a subnormal subgroup of $G$ . Then, the join $\langle H,K\rangle$ is a subnormal subgroup of $G$ , and its subnormal depth in $G$ is at most twice the subnormal depth of $K$ .

Related facts

Facts used

2-subnormality is conjugate-join-closed: A join of any collection of 2-subnormal subgroups that are conjugate to each other is again 2-subnormal.
Join of subnormal subgroups is subnormal iff their commutator is subnormal: Suppose $H,K$ are subnormal subgroups of a group $G$ . Then, consider the subgroups $[H,K]$ (the commutator) of $H$ and $K$ ), the subgroup $H^{K}$ (the join of $H^{k}$ for all $k\in K$ ) and the subgroup $\langle H,K\rangle$ . If any one of these is subnormal, so are the other two. Further, if $s_{1},s_{2},s_{3}$ denote respectively the subnormal depths of $[H,K],H^{K},\langle H,K\rangle$ , we have $s_{3}\leq s_{2}k$ .

Proof

Given: A group $G$ , a $2$ -subnormal subgroup $H$ , a $k$ -subnormal subgroup $K$ .

To prove: $\langle H,K\rangle$ is a $2k$ -subnormal subgroup of $G$ .

Proof:

(Given data used: $H$ is 2-subnormal in $G$ ; Fact used: fact (1)): Since $H$ is 2-subnormal in $G$ , fact (1) tells us that the subgroup $H^{K}$ , which is generated by conjugates of $H$ , is also 2-subnormal in $G$ .
(Given data used: $H$ is 2-subnormal and $K$ is $k$ -subnormal in $G$ ; Fact used: fact (2)): By step (1), $H^{K}$ is 2-subnormal in $G$ . Invoking fact (2), we get that $\langle H,K\rangle$ is also subnormal, and its subnormal depth is bounded by the product of the subnormal depth of $H^{K}$ (which is $2$ ) and the subnormal depth of $K$ (which is $k$ ). This yields that $\langle H,K\rangle$ is $2k$ -subnormal.

@@ Line 15: / Line 15: @@
 * [[Subnormality is normalizing join-closed]]
 * [[Subnormality is permuting join-closed]]
+* [[2-subnormality is conjugate-join-closed]]
+==Facts used==
+# [[uses::2-subnormality is conjugate-join-closed]]: A join of any collection of 2-subnormal subgroups that are conjugate to each other is again 2-subnormal.
+# [[uses::Join of subnormal subgroups is subnormal iff their commutator is subnormal]]: Suppose <math>H, K</math> are subnormal subgroups of a group <math>G</math>. Then, consider the subgroups <math>[H,K]</math> (the [[commutator of two subgroups|commutator]]) of <math>H</math> and <math>K</math>), the subgroup <math>H^K</math> (the join of <math>H^k</math> for all <math>k \in K</math>) and the subgroup <math>\langle H, K \rangle</math>. If any one of these is subnormal, so are the other two. Further, if <math>s_1, s_2, s_3</math> denote respectively the subnormal depths of <math>[H,K], H^K, \langle H, K \rangle</math>, we have <math>s_3 \le s_2k</math>.
+==Proof==
+'''Given''': A group <math>G</math>, a <math>2</math>-subnormal subgroup <math>H</math>, a <math>k</math>-subnormal subgroup <math>K</math>.
+'''To prove''': <math>\langle H, K \rangle</math> is a <math>2k</math>-subnormal subgroup of <math>G</math>.
+'''Proof''':
+# ('''Given data used''': <math>H</math> is 2-subnormal in <math>G</math>; '''Fact used''': fact (1)): Since <math>H</math> is 2-subnormal in <math>G</math>, fact (1) tells us that the subgroup <math>H^K</math>, which is generated by conjugates of <math>H</math>, is also 2-subnormal in <math>G</math>.
+# ('''Given data used''': <math>H</math> is 2-subnormal and <math>K</math> is <math>k</math>-subnormal in <math>G</math>; '''Fact used''': fact (2)): By step (1), <math>H^K</math> is 2-subnormal in <math>G</math>. Invoking fact (2), we get that <math>\langle H, K \rangle</math> is also subnormal, and its subnormal depth is bounded by the product of the subnormal depth of <math>H^K</math> (which is <math>2</math>) and the subnormal depth of <math>K</math> (which is <math>k</math>). This yields that <math>\langle H, K \rangle</math> is <math>2k</math>-subnormal.