Take . The unit modulo has order , becauseLet a generator of act on by . The action is well defined since its order divides . The semidirect producthas order . Its construction as a semidirect product ensures that retains order . Since , the groups generated by and do not commute, so is nonabelian.
Articles by others on the same topic
There are currently no matching articles.