# Conjugacy-closed implies focal subgroup equals derived subgroup

From Groupprops

## Contents |

DIRECT:The fact or result stated in this article has a trivial/direct/straightforward proof provided we use the correct definitions of the terms involved

View other results with direct proofsVIEW FACTS USING THIS: directly | directly or indirectly, upto two steps | directly or indirectly, upto three steps|

VIEW: Survey articles about this

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., conjugacy-closed subgroup) must also satisfy the second subgroup property (i.e., subgroup whose focal subgroup equals its commutator subgroup)

View all subgroup property implications | View all subgroup property non-implications

Get more facts about conjugacy-closed subgroup|Get more facts about subgroup whose focal subgroup equals its commutator subgroup

## Statement

Suppose is a conjugacy-closed subgroup of a group . In other words, any two elements of that are conjugate in are in fact conjugate in . Then, the focal subgroup of equals its Commutator subgroup (?).