Цитата(dr.Watson @ 17.4.2009, 6:17) 
Аналогично, U_12/U_3 - это фактор группы U_12 (циклическая порядка 12) по её подгруппе U_3. Эта фактор-группа изоморфна группе U_4.
Т.е. и Z/4Z изоморфна U_12/U_3.
А R*/R>0 - это фактор мультипликативной группы вещественных чисел по подгруппе вещественных положительных чисел?