|
Показать, как преобразованиями Тице перевести <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 
volakir |
|
В первом случае всё просто: вводятся дополнительные образующие вместе с соотношениями $%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 
falcao |