Изменения
→пример решения задачи
2) <tex>aba=b \Rightarrow ba=a^{-1}b</tex>, <tex>bab=a \Rightarrow ab=b^{-1}a</tex>, перемножаем, получаем:<tex>abba=e</tex>, но из доказанного ранее <tex>a^2=b^2 \Rightarrow a^4=e</tex> и <tex>b^4=e</tex>
3)Рассмотрим все последовательности из <tex>3</tex> элементов: их <tex>8</tex>. Заметим, что есть последовательности из <tex>3</tex> одинаковых элементов<tex>(ааа</tex>, <tex>bbb)</tex>, из <tex>2</tex> подряд идущих одинаковых и одного отличного<tex>(aab</tex>, <tex>bba</tex>, <tex>baa</tex>, <tex>abb)</tex> и <tex>aba</tex>, <tex>bab</tex>. Но <tex>b^2=a^2</tex>, поэтому <tex>aab=baa=b^3</tex>, <tex>bba=abb=a^3</tex>, а <tex>aba=b</tex>, <tex>bab=a</tex>, поэтому все тройки равны либо третьей либо первой степени <tex>a</tex> или <tex>b</tex>. Из таблицы умножения(приведена далее) видно, что произведения приведенной далее видно, что произведение последовательности длинное три(те <tex>a^3</tex>,<tex>b^3</tex>, <tex>a</tex>, <tex>b</tex>) не выходит за ее пределы. Те последовательность большей длинны по правилам умножения, задания <tex>G</tex> и доказанных равенств будет сокращаться до последовательности длины <tex><=2</tex> или <tex>a^3</tex> или <tex>b^3 \Rightarrow |G|=8</tex>
запишем таблицу умножения для <tex>G</tex>:
[[Категория:Теория групп]]
