"Direct product of groups"@en .