Перетворення Тітце: відмінності між версіями

[неперевірена версія][перевірена версія]
Вилучено вміст Додано вміст
По твірних можна прийняти рішення після обговорення інші зміни необхідні
м суміш розкладок за допомогою AWB
Рядок 16:
 
== Приклади ==
Нехай ''G'' = ''<х, у'' | ''х'' <sup>3</sup> = 1, ''у'' <sup>2</sup> = 1, ''(х)'' <sup>2</sup> = 1> є заданням [[Симетрична група|для]] [[Симетрична група|симетричної]]-3 [[Група (математика)|групи]]. Породжуючий елемент ''х'' відповідає підставновці (1,2,3), а ''у'' (2,3). За допомогою перетворення Тітце це задання можна звести до ''G'' = ''<у, z'' | ''(zy)'' <sup>3</sup> = 1, ''у'' <sup>2</sup> = 1, ''z'' <sup>2</sup> = 1>, де z відповідає (1,2).
 
<table><td>
<tr><td>''G'' = ''<х, у'' </td><td>| ''Х'' <sup>3</sup> = 1, ''у'' <sup>2</sup> = 1, ''(х)'' <sup>2</sup> = 1></td><td>(початок)</td></tr><td>
<tr><td>''G'' = ''<х, у, z'' </td><td>| ''Х'' <sup>3</sup> = 1, ''у'' <sup>2</sup> = 1, ''(х)'' <sup>2</sup> = 1, ''z'' = ''хуxy>'' </td><td>правило 3: додаємо твірний ''z'' </td></tr><td>
<tr><td>''G'' = ''<х, у, z'' </td><td>| ''Х'' <sup>3</sup> = 1, ''у'' <sup>2</sup> = 1, ''(х)'' <sup>2</sup> = 1, ''х'' = ''zy>'' </td><td>правила 1 і 2: додаємо ''x'' = ''z'' <sup>-1</sup> у = ''zy'' та виключаємо ''z'' = ''хуxy'' </td></tr><td>
<tr><td>''G'' = ''<у,z'' </td><td>| ''(zy)'' <sup>3</sup> = 1, ''у'' <sup>2</sup> = 1, ''z'' <sup>2</sup> = 1></td><td>правило 4: виключаємо твірний х</td></tr><td>
</td></td></td></td></td></table>