NumberFieldNormRepresentatives

NumberFieldNormRepresentatives[a,m]
代数的数 によって生成された体におけるノルムが である代数的整数の類の代表元のリストを返す.

詳細詳細

  • 代数的整数は,その商が体における単位元である場合は同じ類に属するとみなされる.
  • ノルムが である数体の全要素は,その数体における単位元を掛けることで代表元から得ることができる.
2007年に導入
(6.0)