nZ - это аддитивная группа целых чисел, кратных натуральному числу n. Таким образом имеем группу G=4Z, а в ней подгруппу H=12Z и 4Z/12Z - это просто фактор-группа G/H. Легко сообразить, что она изоморфна группе Z/3Z.
Аналогично, U_12/U_3 - это фактор группы U_12 (циклическая порядка 12) по её подгруппе U_3. Эта фактор-группа изоморфна группе U_4.