01 Алгебра. Теория групп.
Ошибка.
Попробуйте повторить позже
Придумать множество и бинарную операцию не выводящую за пределы
множества такую, что:
a) - ассоциативна, но не существует нейтрального элемента, то есть такого что
;
b) - ассоциативна, существует нейтральный элемента но не у каждого элемента есть
обратный, то есть такой что ;
c) Операция - не ассоциативна.
d)Существует нейтральный у любого элемента есть обратный, но операция - не
ассоциативна.
a) Подойдёт множество натуральных чисел. А в качестве операции сгодится
обычное сложение чисел.
Тогда, во-первых,
не выводит за пределы множества во-вторых, ясно, что эта операция ассоциативна (известно из
школьной программы за 2 класс), но нейтрального элемента по отношению к у нас нет. Почему?
Потому что в не существует такого , что для любого было бы выполнено
. Если бы такое существовало, то оно, естественно, должно было бы быть нулем. А нуля
в у нас нет.
b) Ради разнообразия приведем непохожий на пункт a) пример, хотя вы можете подумать о том,
что туда нужно добавить, чтобы он сгодился для нашего пункта b).
Итак, мы же давайте рассмотрим множество всех матриц размера . В
качестве операции возьмем перемножение матриц. Тогда, в чем нетрудно убедить себя,
умножение матриц ассоциативно, существует нейтральный элемент по этой операции - единичная
матрица размера Однако, далеко не все элементы в этом множестве с такой
операцией будут обратимы. А именно, необратимы будут те матрицы, чей определитель равен
0. Например, нулевая матрица, или любая матрица со строкой нулей - примеров много.
c) Давайте рассмотрим множество с операцией
которая каждой паре ненулевых чисел сопоставляет число
Тогда эта операция не будет ассоциативной. Например,
d) Рассмотрим расширенную вещественную прямую. Формально она определяется так - мы берем
все вещественные числа и присоединяем к ним формальный значок бесконечности:
Операцию мы выберем довольно хитрую - это среднее арифметическое, но только для обычных чисел. Для бесконечности и для числа с самим собой все будет немного иначе. Итак, операция на будет устроена так:
определенной правилом:
1. для всех
2. Если и то
3.
Тогда такая операция имеет нейтральный элемент - это будет значок потому что мы его
и определили как нейтральный в пункте 1. Далее, у каждого элемента будет обратный -
причем сам элемент и будет для себя обратным - это мы гарантируем пунктом 3 определения.
С другой стороны, поскольку на различных числах действует как среднее арифметическое, то
ассоциативности ждать не приходится:
в то время как
Ошибка.
Попробуйте повторить позже
Доказать, что если - конечная группа, то найдется такое что выполнено, что
Действительно, если группа - конечна, то в ней каждый элемент имеет конечный порядок. Пусть - вся группа Пусть
Тогда ясно, что если взять в качестве НОК() всех порядков всех элементов группы, то будет выполнено, что Поскольку каждый элемент сначала возведется в свой порядок - что уже даст единицу, а потом еще в степень - но это конечно тоже будет единица, поскольку единица в любой степени даёт единицу.
Ошибка.
Попробуйте повторить позже
Подумать, как в любой группе устроено обращение длинных произведений. А именно, если
то ведь и их произведение тоже Вопрос, а какой будет обратный у
этого элемента? То есть, как устроен ?
Подсказка: собираясь на улицу в холодную погоду, термобелье надевают первым, а
заходя домой его снимают последним.
Действительно,
Ошибка.
Попробуйте повторить позже
Пусть в группе для любого выполнено То есть группа состоит только из элементов порядка 2. Показать, что тогда - абелева.
Заметим, что тот факт, что то есть что эквивалентен тому, что
(действительно, это получается если равенство домножить с обеих сторон на ).
То есть мы поняли, что в нашей группе каждый элемент сам себе обратен.
Но тогда все легко: возьмем элемент Он обратен сам себе, а это значит, что
Далее, поскольку с другой стороны и то, домножим сначала наше последнее равенство на справа, и получим, что
и, пользуясь тем, что сократим в левой части равенства:
Аналогично, домножим теперь это последнее равенство на справа и получим
и, пользуясь тем, что получаем, сокращая в левой части
И, поскольку и были произвольными, мы с вами получили в точности условие абелевости группы
Ошибка.
Попробуйте повторить позже
А верно ли, что если - абелева, то в группе для любого выполнено То есть группа состоит только из элементов порядка 2.
Это конечно неверно. Например, в группе вообще нет элементов конечного порядка, однако она абелева.
Ошибка.
Попробуйте повторить позже
Найти порядок матрицы в группе всех обратимых матриц размера
Заметим, что
А, значит, наша матрица точно бесконечного порядка.
Потому что иначе, если бы существовало такое, что то тогда
(здесь мы воспользовались тем, что определитель произведения матриц равен произведению
определителей.)
Таким образом, ни в какой конечной степени не может быть равна единичной матрице - тем самым
её порядок равен бесконечности.
Ошибка.
Попробуйте повторить позже
Будет ли циклической группа - подгруппа в
Да, поскольку эта группа порождается элементом :
Ошибка.
Попробуйте повторить позже
Будет ли циклической группа ?
Нет, поскольку если бы она порождалась только одним элементом то есть если бы любая дробь
была просто сколько-то раз сложенной самой с собой то мы бы получили, что выполнено
что не так, поскольку все эти дроби имеют знаменатель, или, после сокращения -
какой-то делитель
То есть ясно, что мы таким образом не получим всех возможных знаменателей всех дробей из
Ошибка.
Попробуйте повторить позже
Обладает ли операция умножения перестановок из свойством коммутативности? То есть верно ли, что для любых выполнено, что ?
1. В у нас есть всего две перестановки:
И очевидно, что в , поэтому в умножение перестановок коммутативно.
2. Уже в будут существовать некоммутирующие перестановки, а именно, пусть:
То тогда
И видно, что .
В при по аналогичному принципу можно тоже легко предъявить пример перестановок,
результат умножения которых зависит от порядка, в котором мы их перемножаем.
Ошибка.
Попробуйте повторить позже
Перемножить перестановки перестановки и в порядке , а также в порядке :
a) , ;
b) ,
a)
b)
Ошибка.
Попробуйте повторить позже
Найти знак перестановки :
a) ,
b) ,
c) ,
d)
a) Посчитаем количество инверсий: инверсии будут на парах:
Итого получилось 5 инверсий, следовательно,
b) Посчитаем количество инверсий: инверсии будут на парах:
Итого получилось 2 инверсии, следовательно,
c) Тут конечно можно тоже пойти и тупо считать количества инверсий. А можно заметить такую
замечательную вещь, что здесь инверсии будут абсолютно на любой паре чисел - это легко видеть,
если присмотреться к перестановке. А пар всего . То есть будет
инверсия, следовательно,
d) Результат предыдущего пункта легко обобщить - инверсий в такой перестановке всегда будет
. Посчитать такую сумму можно так, как это сделал шестилетний Гаусс -
сложить первый элемент с последним, второй с предпоследним и так далее - получим
Итак,
Ошибка.
Попробуйте повторить позже
Какие из следующих множеств с указанными операциями будут группами?
a) Множество всех комплексных корней фиксированной степени из 1, то есть множество
с операцией обычного умножения комплексных чисел;
b) Множество всех комплексных корней из 1 любой степени
с операцией обычного умножения комплексных чисел;
c) Множество комплексных чисел с фиксированным модулем , то есть множество
с операцией обычного умножения комплексных чисел;
d) Множество всех непрерывных на некотором отрезке функций
с операцией сложения функций. А с операцией умножения функций?
e) Множество всех разрывных в некоторой точке функций
с операцией сложения функций. А с операцией умножения функций?
f) Множество
с операцией обычного сложения;
g) Подмножество нечетных перестановок в
с операцией композиции перестановок;
h) Полная линейная группа , но с операцией сложения матриц;
i) Подмножество , состоящее из симметрических матриц
с операцией умножения матриц;
j) Подмножество , состоящее из симметрических матриц
с операцией сложения матриц;
k) Множество дробно-линейных функций, то есть функций вида , с операцией
композиции функций.
a) Это группа. Действительно, проверим, для начала, что на операция умножения определена
корректно.
Действительно, если , , то очевидно, что и . Почему? Утверждается, что
произведение двух корней ой степени из 1 вновь дает корень ой степени из единицы. Таким
образом, нам нужно проверить, что . Но действительно,
(мы воспользовались тем, что сами и в -ой степени равны 1, поскольку они сами были
из ).
Далее, роль нейтрального элемента в играет обычная комплексная единица, то есть число
. Оно, очевидно, является корнем из 1 степени для любого .
У каждого комплексного корня степени из единицы есть обратный по умножению.
Действительно, для обратным будет просто число в смысле обычного деления
комплексных чисел.
Ясно, что если , то и тоже . Потому что .
То, что операция умножения здесь ассоциативна следует из того, что она ассоциативна и во всём .
b) Это множество тоже будет группой с операцией умножения. Для краткости это множество
обозначим как
Действительно, проверим, для начала, что на операция умножения определена корректно.
Действительно, если , , то очевидно, что и . Почему? Ну, если
, то это означает, что найдётся такое, что
(потому что является объединением множеств всех корней из 1 всех возможных степеней.
Значит, любой элемент из является корнем какой-то конкретной степени из единицы).
Аналогично, , то это означает, что найдётся такое, что . Но тогда их произведение
тоже лежит в . Потому что их произведение тоже будет корнем какой-то степени из
единицы. Но какой? Ну, например, степени . Действительно,
(На самом деле, для некоторых пар степень можно взять и поменьше, чем их
произведение - подумайте, для каких пар и какую степень на самом деле надо
брать).
Далее, роль нейтрального элемента в играет обычная комплексная единица, то есть число
. Оно, очевидно, является корнем из 1 степени для любого .
У каждого комплексного корня из единицы есть обратный по умножению. Действительно,
для обратным будет просто число в смысле обычного деления комплексных чисел.
Причем будет корнем той же степени из 1, какой было и само .
То, что операция умножения в ассоциативна следует из того, что она ассоциативна и во всём .
c) При и , очевидно, это не будет группой, поскольку произведение и из
множества даст элемент , у которого модуль будет
Поэтому операция умножения выводит за пределы .
При это множество будет состоять только из нуля и, конечно, будет группой по
умножению. При это множество точек единичной окружности и оно будет группой по
умножению (проверяется аналогично, но еще проще, чем в предыдущих двух пунктах).
d) Рассмотрим для начала операцию сложения. Сумма двух непрерывных на функций, вновь
будет непрерывной на функцией - по теореме о том, что сумма непрерывных функций в какой-то
точке - вновь непрерывная функция в этой точке (применяем эту теорему ко всем точкам отрезка
).
Нейтральным элементом будет нулевая функция
(она, как константа, непрерывна на любом отрезке).
У каждой будет обратная по сложению - это (она, очевидно, тоже непрерывна).
То, что операция сложения функций ассоциативна - очевидно.
Следовательно,
- группа.
Однако то же самое множество, но с операцией умножения функций группой уже не будет. Поскольку
тождественно нулевая функция
лежит в , то чтобы было группой, надо, чтобы эта функция была обратима. То есть чтобы нашлась такая функция , что
Но это равенство невозможно, потому что оно невозможно в любой точке. Ведь если фиксировать точку то это последнее равенство означает попросту, что
Чего быть не может.
Следовательно, у нулевой функции в нет обратного элемента. Поэтому - не
группа.
e) Ни по операции сложения, ни по операции умножения это не будет группой.
Возьмём, например, какую-нибудь разрывную функцию в точке , скажем,
Тогда - тоже, очевидно, разрывна в точке . Однако их сумма
- тождественно нулевая функция, которая уже, очевидно, непрерывна в . Поэтому
множество не замкнуто относительно сложения функций.
Относительно умножения оно тоже не замкнуто, потому как если рассмотреть
разрывную в точке , то - уже непрерывна в точке (это просто
константа 1). То есть множество не замкнуто и относительно умножения функций.
f) Несмотря на то, что вроде бы у нас есть нейтральный элемент (это 0), у каждого элемента есть
обратный и всё ассоциативно, этот пример показывает, насколько важна ненумерованная
аксиома о том, что операция не должна выводить за пределы группы. В нашем же случае она
выводит.
А . Следовательно, это не группа.
g) Это не группа, поскольку в ней нет нейтарального элемента. Нейтральным элементом по отношению
к умножению перестановок может быть только тождественная перестановка. Но она - чётна, потому
что в ней 0 инверсий. Таким образом, она не лежит в нашем множестве нечётных перестановок.
Следовательно, это не группа.
h) Нет, поскольку нейтральным элементом относительно сложения должна быть нулевая матрица. А
она не лежит в , поскольку она необратима.
i) Это не так, поскольку множество не замкнуто относительно операции умножения. Действительно,
рассмотрим две симметрические матрицы
Они, легко видеть, обе симметрические, то есть , однако их произведение
уже не является симметрической матрицей.
j) Сумма симметрических матриц - тоже симметрична, поскольку если , то и
тоже симметрична, поскольку
Далее, в есть нейтральный элемент по сложению матриц - это нулевая матрица. Далее, у каждой
матрицы из есть обратная матрица по сложению - это , причем очевидно, что если
была симметрической, то и - тоже будет такой. Ассоциативность очевидна. Следовательно, это
группа.
k) Нетрудно увидеть, что если взять композицию таких функций и то есть
то это будет:
что есть ничто иное, как дробно-линейная функция. Следовательно, композиция не выводит за
пределы множества дробно-линейных функций.
Роль нейтрального элемента относительно композиции играет тождественная функция . То, что
у каждой дробно-линейной функции , есть обратная - это просто понять, если
задуматься над тем, зачем нам нужно было условие . Подсказка - это означает, что
матрица - обратима, а, значит, можно попробовать её обратить и рассмотреть
дробно-линейную функцию с набором коэффициентов из обратной матрицы, и попробовать взять её
композицию с исходной...
Ошибка.
Попробуйте повторить позже
Доказать, что если в группе для двух элементов выполнено, что , и , и и - взаимно просты, то .
Нам нужно доказать, что . Пусть - такое число, что
Но тогда
Возведем это равенство в -ую степень:
Следовательно, мы получили, что элемент в -ой степени равен 1, а, значит, по
свойству порядка, . Но, поскольку и - взаимно просты, то это означает, что .
Аналогично, возводя равенство
в ую степень, мы получим, что , откуда . Таким образом, должно делиться и на и на , значит, делится на (поскольку, опять же, и взаимно просты). Следовательно, любая степень, в которой произведение равно единице, будет делиться на . Значит, порядок уж точно не меньше, чем . С другой стороны,
То есть порядок не больше, чем . Значит, он равен .
Ошибка.
Попробуйте повторить позже
Может ли произведение элементов конечного порядка дать элемент бесконечного порядка?
Сделать отсюда вывод о том, что без дополнительных предположений нельзя ничего
сказать о порядке произведения, даже зная всё про порядки сомножителей.
Может. Рассмотрим в элементы
Поскольку , то . Однако их произведение
имеет бесконечный порядок, потому что не существует такого , что
(так как )
Ошибка.
Попробуйте повторить позже
Пусть порядок некоторого элемента равен . Чему тогда равен порядок элемента ?
Утверждается, что . Обозначим этот НОД за .
Действительно, давайте разделим и на их НОД:
где и - взаимно просты.
Тогда
Следовательно, порядок не больше, чем .
Допустим, что он меньше. Пусть , и (т.е. ).
Далее, воспользуемся тем, что из алгоритма Евклида следует, что НОД является линейной
комбинацией и с целыми коэффициентами, то есть найдутся такие , что
Тогда:
Следовательно, мы получаем, что уже ая степень даёт единицу группы. Но . Противоречие с тем, что .
Ошибка.
Попробуйте повторить позже
Найти порядок:
a) Перестановки в группе ;
b) Числа в группе ;
c) Матрицы в группе ;
d) Матрицы при в группе ;
f) Порядок следующих чисел: в группе
Ясно, что эта перестановка распадается в произведение двух независимых циклов:
Пусть . Очевидно, что . И, поскольку
и удовлетворяют соотношению, что , а их порядки взаимно просты, то
.
b) Поскольку , то мы видим, что чтобы , нужно, чтобы
для некоторого целого , то есть . Минимальное такое равно 12. Следовательно,
.
c) Поскольку , а при этом , то .
d) Утверждается, что .
От противного, пусть существует такое , что . Тогда посмотрим на определители левой
и правой части. Определитель правой части равен 1. А что с левой?
. Следовательно, . А это при никогда не равно 1.
f) Поскольку , а при этом, очевидно, что в , то по
свойству
(только здесь, поскольку операция в группе обозначается плюсом, мы под степенью элемента
имеем в виду его кратное)
Получаем, что
Ошибка.
Попробуйте повторить позже
Могут ли в бесконечной группе все элементы иметь конечный порядок?
Могут. Этим свойством, например, обладает группа
с операцией умножения.
То есть группа всех возможных корней всех возможных степеней из 1. Каждый конкретный её
элемент - это корень конкретной степени из 1. А, значит, он имеет конечный порядок. В то
время, как группа бесконечна (счётна), поскольку в ней лежат корни сколь угодно большой
степени.
Ошибка.
Попробуйте повторить позже
a) Описать явно диэдральную группу квадрата. Найти порядки всех элементов в ней.
b) Сколько вообще всегда элементов будет в диаэдральной группе ?
В группе симметрий квадрата будет 4 поворота вокруг его центра, а также
четыре симметрии - относительно диагоналей и относительно линий, перпендикулярных серединам
противоположных сторон. Других симметрий у квадрата нет.
В общем случае группа состоит из поворотов (на все возможные углы вида ), а также из
симметрий. Правда вот симметрии устроены по-разному в зависимости от четности . При
чётном оси симметрии проходят по диагоналям и по серединам противоположных сторон,
а при нечётном они исходят из вершин и опускаются на середину противоположной
стороны.
Ошибка.
Попробуйте повторить позже
Доказать, что если группа - конечна, и в ней четное число элементов, то обязательно в ней найдётся элемент порядка 2.
Давайте группировать элементы нашей группе по парам. Каждому элементу сопоставим его обратный . Таким образом, мы можем попытаться выписать все элементы группы:
1 случай. А что, если в какой-то момент пары не нашлось? В том смысле, что для какого-то
элемента его обратный - это он же сам. То есть . Но тогда, домножая на обе
части равенства, получим, что . Но это и означает, что у нас нашелся элемент порядка 2.
2 случай. Если для каждого элемента нашлась пара, то есть у нас каждый раз было, что и -
это разные элементы. Но такого быть не могло...поскольку , и по такому принципу пару к
нейтральному элементу мы точно найти не смогли. Но порядок группы - четный, поэтому бы
обязательно не смогли найти пару и еще какому-то элементу. То есть все таки нашелся какой-то
такой, что . Но этот случай мы уже рассмотрели.
Ошибка.
Попробуйте повторить позже
Опр. Если группа - циклическая и , то элемент называется порождающим группы
.
Задача. Найти все порождающие в циклической группе и в циклической группе .
В кроме других образующих нет. Потому что, если взять любое другое , то подгруппа
будет состоять только из чисел, кратных . А значит, всего мы уже не породим.
Ясно, что порождает тогда и только тогда когда , потому что иначе количество
элементов в группе
будет меньше, чем (а именно, в подгруппе элементов очевидно всегда столько, каков порядок ). Поэтому если мы хотим, чтобы
То для этого необходимо, чтобы .
Но этого и достаточно. Поскольку если , то в подгруппе ровно элементов, но
тогда .
Следовательно, необходимым и достаточным условием того, чтобы вычет числа порождал всю
группу - это то, что . Однако
Тогда получаем, что чтобы это число было равно , необходимо и достаточно, чтобы НОД() был равен 1.