# Retract not implies free factor in free group

From Groupprops

This article gives the statement and possibly, proof, of a non-implication relation between two subgroup properties, when the big group is a free group. That is, it states that in a free group, every subgroup satisfying the first subgroup property (i.e., retract) neednotsatisfy the second subgroup property (i.e., free factor)

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

## Statement

It is possible to have a free group (in fact, a Finitely generated free group (?)) having a retract that is *not* a free factor. In other words, a retract of free group is not necessarily a free factor of free group.