# FC not implies finite derived subgroup

This article gives the statement and possibly, proof, of a non-implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., FC-group) neednotsatisfy the second group property (i.e., group with finite derived subgroup)

View a complete list of group property non-implications | View a complete list of group property implications

Get more facts about FC-group|Get more facts about group with finite derived subgroup

## Statement

It is possible for a group to be a FC-group but not to be a group with finite derived subgroup.

## Related facts

## Proof

Suppose is a finite group that is not abelian, so the derived subgroup of is nontrivial. Let be the restricted external direct product of a countably infinite number of copies of . We can verify that:

- is a FC-group: any element of has all but finitely many coordinates equal to the identity element of , and therefore all its conjugates all have those coordinates as the identity element, so there can be only finitely many conjugates.
- has infinite derived subgroup: If we view things in terms of internal direct products, the derived subgroup is the internal direct product of the derived subgroups of each copy. Viewed externally, it is isomorphic to the restricted external direct product of a countably infinite number of copies of , which by assumption is nontrivial. Hence, it is infinite.