Мохнатые уроды и моральные пёзды. Войти !bnw Сегодня Клубы
Чатик, научи меня, пожалуйста, строить полупрямые произведения групп.
Рекомендовали: @o01eg
#0J8FFM / @goren / 4325 дней назад

ещё актуально?
#0J8FFM/EDC / @jtootf / 3800 дней назад
@jtootf Уже не так актуально, но по-прежнему интересно.
#0J8FFM/ABU / @goren --> #0J8FFM/EDC / 3800 дней назад
@goren при прямом произведении одна из групп размножается и составляет смежные классы (правые и левые одновременно) произведения (соединённые по правилам второй группы): http://web.bentley.edu/empl/c/ncarter/vgt/images/Figure_7_20_correction.png (тут факторизация, но идея должна быть ясна). so far всё понятно?
#0J8FFM/YL3 / @jtootf --> #0J8FFM/ABU / 3800 дней назад
@jtootf Не всё. Что значит 1H? H — это <2>, ок, а 1H — это C6-<2> что ли? Она будет группой вообще?
#0J8FFM/1Y0 / @goren --> #0J8FFM/YL3 / 3800 дней назад
@goren это класс смежности, 1+H в аддитивной записи. он был бы подгруппой, если бы в нём был нейтральный элемент
#0J8FFM/1S7 / @jtootf --> #0J8FFM/1Y0 / 3800 дней назад
@jtootf Ну ок, разделили C6 на H и 1+H, дальше что с этим делать?
#0J8FFM/AAG / @goren --> #0J8FFM/1S7 / 3800 дней назад
@goren ну тут факторизация, обратный процесс. диаграмму Кэли построения произведения я просто не нашёл. в данном случае (при факторизации) мы находим смежные классы (копии одной из групп) и их сплющиваем. при произведении наоборот - подставляем копии одной группы вместо элементов второй; итого на месте каждого элемента теперь копия группы, на которую было умножение
#0J8FFM/FLL / @jtootf --> #0J8FFM/AAG / 3800 дней назад
@jtootf ну, например. берёшь C2 и умножаешь её на C4. вместо каждого элемента C2 теперь копия C4; одна из копий содержит единицу и является подгруппой, вторая - просто класс смежности. соединяешь элементы копий C4 по правилам C2 - получаешь C2 x C4
#0J8FFM/C3R / @jtootf --> #0J8FFM/FLL / 3800 дней назад
@jtootf клавная идея - что в прямом произведении содержатся копии (точные) обеих исходных групп, причём их количество зависит от элементов второй участвующей в умножении группы
#0J8FFM/BFC / @jtootf --> #0J8FFM/FLL / 3800 дней назад
@goren http://books.google.com.ua/books?id=T_o0CnMZecMC&pg=PA118&lpg=PA118&dq=direct+product+of+groups+visual&source=bl&ots=VIEGBUAhEp&sig=M604K7u4FDjNC0cb0aR_NFKfd2I&hl=en&sa=X&ei=4z50UsnFGYzV4ATJ8oG4AQ&ved=0CCcQ6AEwAA#v=onepage&q=direct%20product%20of%20groups%20visual&f=false - картинки! к слову, следующая глава там как раз про полупростые произведения. всей разницы что в полупростых произведениях вместо точных копий - неточные (с перестановкой стрелок)
#0J8FFM/XQM / @jtootf --> #0J8FFM/AAG / 3800 дней назад
@jtootf То есть, C2 × C4 будет состоять из {1, x, x², x³} и {x, x², x³, x^4}? А что дальше с этим делать? Что значит "соединить по правилам C2"?
#0J8FFM/TG5 / @goren --> #0J8FFM/C3R / 3800 дней назад
@goren ты с диаграммами Кэли работал? у тебя есть некоторое подмножество генераторов и правила умножения элементов на них, на диаграмме они представляются стрелками (разные цвета - разные генераторы). но начать стоит с того, что твои группы нециклические - x³ * x != 1, и x^4 * x != x, и классы смежности составлены неправильно
#0J8FFM/EM8 / @jtootf --> #0J8FFM/TG5 / 3800 дней назад
@goren хотя я идиот, конечно, погоди
#0J8FFM/C2D / @jtootf --> #0J8FFM/TG5 / 3800 дней назад
@jtootf С же обычно и означает циклические группы? То есть, C4={1, x, x², x³}, мы одну копию "умножаем" на 1, другую на x. Или я чего-то не понял?
#0J8FFM/CRP / @goren --> #0J8FFM/EM8 / 3800 дней назад
@goren ок, давай так. C4 = {1, x, x², x³}, C2 = {1, y}. две копии (два смежных класса) - это C4 и C4y = {y, xy, x^2y, x^3y}. переходы внутри каждого смежного класса - слева направо по генератору x; между смежными классами - поэлементно сверху вниз по генератору y. т.е. x^3y * y = x^3, например
#0J8FFM/JB9 / @jtootf --> #0J8FFM/CRP / 3800 дней назад
@jtootf Понятно, и это будет прямое произведение?
#0J8FFM/OFM / @goren --> #0J8FFM/JB9 / 3800 дней назад
@goren да. в прямом произведении оба фактора всегда являются нормальными подгруппами, и по ним произведение можно факторизовать
#0J8FFM/7UA / @jtootf --> #0J8FFM/OFM / 3800 дней назад
@goren в полупрямом произведении всё почти так же, но место точных копий занимают rewirings: копии групп с перенаправленными стрелками (в смысле диаграммы Кэли). например, из {1, x, x^2} с генератором x может получится {1, x^2, x} с генератором x^2. алгебраически ничего не поменялось, но результирующее произведение (в силу иных отношений между элементами) отличается от прямого
#0J8FFM/VWQ / @jtootf --> #0J8FFM/OFM / 3800 дней назад
@goren http://terrytao.files.wordpress.com/2010/07/s31.png - вот пример, опять же, на диаграмме Кэли. обрати внимание на две копии C3 - внешнюю синюю и внутреннюю синюю. они изоморфны, но направление стрелок разное. так выглядит полупрямое произведение: вместо нормальных смежных классов у нас их rewirings
#0J8FFM/XTW / @jtootf --> #0J8FFM/OFM / 3800 дней назад
@jtootf и это, кстати, S3
#0J8FFM/74W / @jtootf --> #0J8FFM/XTW / 3800 дней назад
@jtootf Кажется врубился. Жаль, что не врубился два года назад, но лучше поздно, чем никогда…
#0J8FFM/C6B / @goren --> #0J8FFM/VWQ / 3800 дней назад
@goren крайне рекомендую рассмотреть анатомию небольших групп графически, на диаграммах Кэли. понаходить прямые, полупрямые произведения, knit products, пофакторизовать. три-четыре примера - и понимание закрепляется
#0J8FFM/OUJ / @jtootf --> #0J8FFM/C6B / 3800 дней назад
@jtootf Жаль, что ты так редко пишешь. Я бы мог многому у тебя научиться.
#0J8FFM/3AP / @goren --> #0J8FFM/OUJ / 3800 дней назад
спасибо!
#0J8FFM/13V / @238328 / 3799 дней назад
вот, кстати, любая диэдральная группа D₂n ~ C₂ ⋉ Cn (что вполне естественно, учитывая действие D₂n как группы симметрии отражениями и поворотами). тут вот хорошие примеры, наглядные: http://en.wikipedia.org/wiki/Semidirect_product
#0J8FFM/X8H / @jtootf / 3796 дней назад
ipv6 ready BnW для ведрофона BnW на Реформале Викивач Котятки

Цоперайт © 2010-2016 @stiletto.