$%(R^n;+) \supset H $% $$$$ $% 1)H $% называется дискретной, если существует окрестность нуля, которая имеет тривиальное пересечение с $%H \ \ \ \Rightarrow H - $% дискретно $% \ \ \Rightarrow H $% свободная абелева группа ранга не выше $%n.$% $$$$ $%2)H - $% дискретно $%\Leftrightarrow \ \ |H||H| < \infty $% задан 2 Окт '17 0:33 Heimdallr |