Free nonabelian groups Structure and classification of groups mathematics