| |||
|
|
существует. p | z*(z'), (z,z') = 1 => p - не простое число, так как Z[i] факториально. для целых кватернионов это формально не прокатывает, потому что диагональ четырехмерного куба уже слишком длинная; но нужно перейти к целым Гурвица, в них фундаментальная область уже достаточного размера для деления с остатком. Добавить комментарий: |
||||