Различия

Показаны различия между двумя версиями страницы.

--- семинары_210_группа_осень_2025 [30.09.2025 11:50]
timashev
+++ семинары_210_группа_осень_2025 [14.10.2025 11:55] (текущий)
timashev
@@ Строка 59: / Строка 59: @@
   * какие из групп в задаче 60.2 разложимы (нетривиальным образом) в полупрямое произведение?
   * разложить в полупрямое произведение группы: а) GL<sub>n</sub>(K) б) невырожденных верхнетреугольных матриц размера n×n.
+----
+=== 7 октября 2025 ===
+Системы порождающих в группе, конечно порождённые и не конечно порождённые группы, примеры. Случай абелевых групп, свободные конечно порождённые группы. Структура конечно порождённых абелевых групп, её определение, исходя из представления группы в виде факторгруппы свободной группы по подгруппе, заданной набором порождающих элементов, приведением целочисленной матрицы координат порождающих элементов подгруппы к "диагональному" виду. Вычисление порядка элемента в конечно порождённой абелевой группе, представленной как факторгруппа свободной группы.
+== Домашнее задание: ==
+  * 60.32, 60.50, 60.51, 60.52агд, 60.53.
+  * Доказать:
+    - группа S<sub>n</sub> порождена транспозицией (1,2) и циклом (1,2,…,n);
+    - группа A<sub>n</sub> порождена парами независимых транспозиций при n ≥ 5;
+    - группа B<sub>n</sub>(K) невырожденных верхнетреугольных матриц порождена элементарными матрицами 1-го и 3-го типов.
+  * Являются ли конечно порождёнными следующие группы:
+    - группа рациональных дробей m/n, у которых простые делители n содержатся среди {p<sub>1</sub>,…,p<sub>s</sub>}, с операцией сложения;
+    - группа рациональных дробей m/n≠0, у которых простые делители m и n содержатся среди {p<sub>1</sub>,…,p<sub>s</sub>}, с операцией умножения.
+----
+=== 14 октября 2025 ===
+Конечные абелевы группы, их структура, тип группы. Классификация конечных абелевых групп заданного порядка. Определение типа факторгруппы конечной (или конечно порождённой) абелевой группы. Вложимость конечных абелевых групп друг в друга. Количество подгрупп заданного порядка в данной конечной абелевой группе.
+== Домашнее задание: ==
+  * 60.39ежз, 60.40ав, 60.42, 60.43бв, 60.45.