|
|
Пишет друг друга пердуна (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} oort) |
>2 povorota is SO(2)
nu v SO(3) est' abeleva podgruppa SO(2)
paru elementov x i y iz SO(2) otobrazhaetsya v kakoe-to slovo xyxxy..
no x i y kommutiruyut, tak chto ih obraz imeet vid x^ny^m
pust' m>n: voz'mem y=-x= lyuboy ne (m-n)-koren' iz edinicy
znachit (x,y) otobrazhaetsya ne v 1
---
gde lomaetsya argument esli gruppa razreshima -- est' slova, sdlennye iz kommutatotorov, takie chto otobrazheniya budut postoyannymi dlya vseh (x,y)
nu v SO(3) est' abeleva podgruppa SO(2)
paru elementov x i y iz SO(2) otobrazhaetsya v kakoe-to slovo xyxxy..
no x i y kommutiruyut, tak chto ih obraz imeet vid x^ny^m
pust' m>n: voz'mem y=-x= lyuboy ne (m-n)-koren' iz edinicy
znachit (x,y) otobrazhaetsya ne v 1
---
gde lomaetsya argument esli gruppa razreshima -- est' slova, sdlennye iz kommutatotorov, takie chto otobrazheniya budut postoyannymi dlya vseh (x,y)
Добавить комментарий:
