Здравствуйте! Подскажите, пожалуйста, как будет выглядеть фактор-группа

?
Я читал теорию, но мне на примерах как-то понятнее. Размышлял так: если фактор-группа

=

. (Почему так, вроде понятно: это получается из

, и всегда будет получаться разбиение на два множества четных и нечетных чисел).
Относительно моего задания, получается

=

,

=

. По формуле, количество элементов в фактор-группе должно быть 15. Но как они образуются? Было предположение, что получится {0, 1,2,3,...17, 28, 29,...44}, но тогда элементов больше. Если же исходить из определения фактор-группы

| z из

, то получаются почти все элементы из

.
Где я неправ?
Спасибо.