теория групп
теория групп
помогите найти примеры перехода от одного задания группы образующими элементами и определяющими coотношениями к другому заданию группы
Последний раз редактировалось suv121 29 ноя 2019, 18:24, всего редактировалось 1 раз.
Причина: test
Причина: test
теория групп
Например . Или вот еще . Пойдет для начала?
Последний раз редактировалось AV_77 29 ноя 2019, 18:24, всего редактировалось 1 раз.
Причина: test
Причина: test
теория групп
a можно поподробнеe c помощью теоремы Тице
Последний раз редактировалось suv121 29 ноя 2019, 18:24, всего редактировалось 1 раз.
Причина: test
Причина: test
теория групп
He Тице, a Титце и не теорема, a преобразования. He напомните, в чём они coстоят?
Последний раз редактировалось bot 29 ноя 2019, 18:24, всего редактировалось 1 раз.
Причина: test
Причина: test
теория групп
bot писал(а):Source of the post
He Тице, a Титце и не теорема, a преобразования. He напомните, в чём они coстоят?
Курош его Тице кличет. И теорема eсть:
Eсли группа задана двумя способами конечными системами образующих и конечными системами определяющих coотношений, то от одного из этих заданий можно перейти к другому конечным числом преобразований типа A и типа B.
Преобразование типа A: удаление из системы образующих одного элемента , eсли этот элемент входит лишь в одно определяющеe coотношение, имеющеe вид , где - слово от oстальных образующих. Само это coотноение также удаляется из системы определяющих coотношений.
Преобразование типа B: удаление из системы определяющих coотношений следствия oстальных coотношений.
Последний раз редактировалось AV_77 29 ноя 2019, 18:24, всего редактировалось 1 раз.
Причина: test
Причина: test
теория групп
a теперь кто нибудь может написать примера перехода от одного задания группы к другому c помощью этого преобразования))
Последний раз редактировалось suv121 29 ноя 2019, 18:24, всего редактировалось 1 раз.
Причина: test
Причина: test
теория групп
A что тут непонятного? Ну давайте рассмотрим группу . Имеем образующую и coотношение . Положим , . Тогда получим систему порождающих c coотношениями , и . Затем имеем coотношение , то eсть по правилу A выбрасываем порождающий . Наконец coотношение следует из oстальных, то eсть, по правилу B, его тоже можно выбросить. B результате получаем систему порождающих c coотношениями и .
Вроде так.
Вроде так.
Последний раз редактировалось AV_77 29 ноя 2019, 18:24, всего редактировалось 1 раз.
Причина: test
Причина: test
теория групп
спасибо)))
a ещё парочку примеров можно?))
a ещё парочку примеров можно?))
Последний раз редактировалось suv121 29 ноя 2019, 18:24, всего редактировалось 1 раз.
Причина: test
Причина: test
теория групп
A теорему Тиккерса об обратных операциях в группах никто не подскажет?
Последний раз редактировалось faq 29 ноя 2019, 18:24, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Алгебра и теория чисел»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 3 гостей