Central implies potentially fully invariant in finite

From Groupprops
Jump to: navigation, search
This article gives the statement and possibly, proof, of an implication relation between two subgroup properties, when the big group is a finite group. That is, it states that in a Finite group (?), every subgroup satisfying the first subgroup property (i.e., Central subgroup (?)) must also satisfy the second subgroup property (i.e., Potentially fully invariant subgroup (?)). In other words, every central subgroup of finite group is a potentially fully invariant subgroup of finite group.
View all subgroup property implications in finite groups | View all subgroup property non-implications in finite groups | View all subgroup property implications | View all subgroup property non-implications
This article gives the statement and possibly, proof, of an implication relation between two subgroup properties, when the big group is a finite group. That is, it states that in a Finite group (?), every subgroup satisfying the first subgroup property (i.e., Central subgroup (?)) must also satisfy the second subgroup property (i.e., Finite-potentially fully invariant subgroup (?)). In other words, every central subgroup of finite group is a finite-potentially fully invariant subgroup of finite group.
View all subgroup property implications in finite groups | View all subgroup property non-implications in finite groups | View all subgroup property implications | View all subgroup property non-implications

Statement

Suppose G is a finite group and H is a central subgroup of G. In other words, H is a subgroup of G contained in the center of G. Then, there exists a group K containing G such that H is a fully invariant subgroup of K.

Related facts

Stronger facts

Other related facts