Grushko theorem
= Grushko theorem
{wiki=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.