Показать, как преобразованиями Тице перевести <a, b; P(a, b), Q(a, b), R(a, b)> в <x, y; P(x, y^(-1)), Q(x, y^(-1)), R(x, y^(-1))> и в <x, y; P(xy^k, y), Q(xy^k, y), R(xy^k, y)>

задан 20 Дек '13 21:53

изменен 20 Дек '13 21:54

10|600 символов нужно символов осталось
0

В первом случае всё просто: вводятся дополнительные образующие вместе с соотношениями $%x=a$%, $%y=b^{-1}$%. В соотношениях делаются замены, а потом $%a$%, $%b$% выражаются через $%x$%, $%y$% в силу тех же равенств, и далее мы от этих равенств избавляемся вместе с буквами $%a$%, $%b$%.

Во втором случае вводим $%x=ab^{-k}$%, $%y=b$%. Тогда $%b=y$%, $%a=xb^{k}=xy^k$%. Делаем соответствующие замены, а потом отказываемся от $%a$% и $%b$%.

ссылка

отвечен 20 Дек '13 22:11

10|600 символов нужно символов осталось
Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×667

задан
20 Дек '13 21:53

показан
256 раз

обновлен
20 Дек '13 22:11

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru