2) В условии не упомянуто, что в 

 нет никаких других элементов 

, ну это ладно. Можно показать, что элементы 

 попарно различны. Несложным упражненинем будет установление соответствия между 

 и 

.  Таким образом, полностью определится операция на группе, и установить изоморфизм будет делом техники.