X
но
Size: a a a
2021 November 21
s
А как доказать, что это *все* возможные подгруппы?
s
В каждой подгруппе выбрать максимальную Z линейно-независимую комбинацию Цорном мб?
s
Так. То есть доказательство уже явно не в одну строчку из определения.
s
А если попытаться формализовать, то наверняка ещё вскроется много интересного.
X
да ну не. из включения любого элемента автоматически следует включение всех n*X
X
то есть мы не сможем предположить в любой из групп наличие элемента, не имеющего требуемого разложения
X
(ну, сможем — но ненадолго)
s
Так это ты про другую сторону
s
Нам нужно Z-линейно-независимое подмножество, порождающее группу
s
Почему такое найдется?
X
нет, я про "предположим, что какая-то подгруппа не имеет такого описания"
s
И в чем противоречие?
X
в том, что ты конструктивно такое описание строишь?)
s
X
"базисы" необязательно конечны
X
то есть для каждого следующего элемента группы ты либо включаешь его в базис, либо нет)
s
Опа
X
