Рассмотрим M - свободный модуль над кольцом главных идеалов F с базисом $% \{x_1,..,x_n \}$%. Имеется матрица $%C \in M_n(F)$%. Рассмотрим подмодуль $%A_c = \{ \sum z_ix_i, z_i \in F | C(^{z_1}_{z_n}) = 0 \} \\ $%. $% \Rightarrow \exists \sideset{_F}{} M = A_c \oplus \sideset{_F}{}M'. \\ \forall \sideset{_F}{} N \subset \sideset{_F}{} M \ \ \ M = N \oplus N' \ \ \ \exists C \in M_n(F) \ \ N = A_c$% задан 14 Сен '17 14:48 Heimdallr |