1

Введение в группы

[24/67%]
Показать
LaTeX
Задача 1.1

С помощью рисунков и слов опишите каждую симметрию из D3D_3 (множества симметрий равностороннего треугольника).

?
Задача 1.2

Составьте полную таблицу Кэли для D3D_3. Является ли группа D3D_3 абелевой?

?
Задача 1.3

В D4D_4 найдите все элементы XX, для которых

?
(a)

X3=VX^3 = V;

(b)

X3=R90X^3 = R_{90};

(c)

X3=R0X^3 = R_0;

(d)

X2=R0X^2 = R_0;

(e)

X2=HX^2 = H.

Задача 1.4

С помощью рисунков или слов опишите элементы D5D_5 (симметрии правильного пятиугольника).

?
Задача 1.5

При n≥3n \geq 3 опишите элементы DnD_n. Сколько элементов в DnD_n?

?
Задача 1.6

Геометрически объясните, почему в DnD_n последовательное выполнение двух отражений даёт поворот.

?
Задача 1.7

Геометрически объясните, почему в DnD_n последовательное выполнение двух поворотов даёт поворот.

?
Задача 1.8

Геометрически объясните, почему в DnD_n композиция поворота и отражения в любом порядке является отражением.

?
Задача 1.9

Сопоставим повороту число 11, а отражению — число −1-1. Опишите аналогию между умножением этих двух чисел и умножением элементов DnD_n.

?
Задача 1.10

Пусть r1,r2r_1, r_2 и r3r_3 — повороты из DnD_n, а f1,f2f_1, f_2 и f3f_3 — отражения из DnD_n. Определите, является ли r1r2f1r3f2f3r3r_1 r_2 f_1 r_3 f_2 f_3 r_3 поворотом или отражением.

?
Задача 1.11

Пусть aa, bb и cc — элементы группы диэдра. Является ли a2b4ac5a3ca^2 b^4 a c^5 a^3 c поворотом или отражением? Обоснуйте ответ.

?
Задача 1.12

Пусть элемент XX группы диэдра является произведением mm поворотов и nn отражений. Дополните утверждение: XX является поворотом тогда и только тогда, когда .

?
Задача 1.13

Найдите в D4D_4 элементы AA, BB и CC, для которых AB=BCAB = BC, но A≠CA \neq C. (Таким образом, «перекрёстное сокращение» недопустимо.)

?
Задача 1.14

Объясните, какое свойство группы DnD_n доказывает следующая схема: вершины правильного nn-угольника помечены числами 1,2,…,n1, 2, \ldots , n в порядке обхода его границы; показано, как меняются положения меток при отражении FF с последующим поворотом R360/nR_{360/n} и при повороте R360/nR_{360/n} с последующим отражением FF, применяемых к одной и той же исходной конфигурации, так что оба составных движения можно проследить для каждой вершины.

?
Задача 1.15

Опишите симметрии прямоугольника, не являющегося квадратом. Составьте соответствующую таблицу Кэли. Является ли эта группа абелевой? Какое свойство у неё общее с группами диэдра?

?
Задача 1.16

Опишите симметрии параллелограмма, не являющегося ни прямоугольником, ни ромбом. Опишите симметрии ромба, не являющегося прямоугольником.

?
Задача 1.17

Опишите симметрии эллипса, не являющегося окружностью. Сделайте то же для гиперболы.

?
Задача 1.18

Рассмотрим бесконечную полосу из букв H, расположенных на равных расстояниях:

⋯  H  H  H  H  ⋯ \cdots \; \text{H} \; \text{H} \; \text{H} \; \text{H} \; \cdots

Опишите симметрии этой полосы. Является ли её группа симметрий абелевой?

?
Задача 1.19

Для каждой снежинки на рисунке (четыре фотографии снежных кристаллов, каждый из которых обладает видимой симметрией шестого порядка) найдите группу симметрий и укажите оси отражений (пренебрегайте несовершенствами формы).

?
Задача 1.20

Определите группу симметрий внешней оболочки поперечного сечения вируса иммунодефицита человека (ВИЧ), показанного на рисунке в виде приблизительно кругового расположения 2828 равноотстоящих шипов вокруг центрального капсида.

?
Задача 1.21

Пусть X,Y,R90X, Y, R_{90} — элементы D4D_4, причём Y≠R90Y \neq R_{90} и X2Y=R90X^2 Y = R_{90}. Найдите YY. Обоснуйте ответ.

?
Задача 1.22

Для каждого из приведённых рисунков (двенадцать изображений с различными поворотными и зеркальными симметриями, в том числе знак биологической опасности, логотип в виде пятиугольника со звездой, несколько цветочных узоров и узоров в виде вертушки) определите группу симметрий (пренебрегайте несовершенствами рисунков).

?
Задача 1.23

Пусть nn — целое число, не меньшее 33. Докажите, что DnD_n содержит R180R_{180} тогда и только тогда, когда nn чётно.

?
Задача 1.24

Пусть FF — отражение в группе диэдра DnD_n. Найдите все элементы XX группы DnD_n, для которых X2=FX^2 = F, и все элементы XX группы DnD_n, для которых X3=FX^3 = F.

?