Grushko theorem

The Grushko theorem is a result in the field of group theory, particularly concerning free groups and their subgroups. It provides a criterion to establish whether a given group is free and helps characterize the structure of free groups.