Weakly closed implies relatively normal: Difference between revisions

Revision as of 20:23, 11 February 2009

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

Statement

Suppose $H \leq K \leq G$ are such that $H$ is a Weakly closed subgroup (?) of $K$ relative to $G$ . Then, $H$ is a Normal subgroup (?) of $K$ . In other words, $H$ is a Relatively normal subgroup (?) in $K$ with respect to $G$ .

Revision as of 20:18, 11 February 2009 (view source) Vipul (talk \| contribs) No edit summary ← Older edit		Revision as of 20:23, 11 February 2009 (view source) Vipul (talk \| contribs) No edit summary Newer edit →
Line 4:		Line 4:
	==Statement==		==Statement==

	Suppose <math>H \le K \le G</math> are such that <math>H</math> is a [[fact about::weakly closed subgroup]] of <math>K</math> relative to <math>G</math>. Then, <math>H</math> is a [[fact about::normal subgroup]] of <~~matH~~>K</math>.		Suppose <math>H \le K \le G</math> are such that <math>H</math> is a [[fact about::weakly closed subgroup]] of <math>K</math> relative to <math>G</math>. Then, <math>H</math> is a [[fact about::normal subgroup]] of <math>K</math>. In other words, <math>H</math> is a [[fact about::relatively normal subgroup]] in <math>K</math> with respect to <math>G</math>.