用語

ysd@KLab > 因数分解 > GNFS > 用語

記号類

自然数の集合。0を入れるかどうかは自由に決めておくれ。私は入れない方。Natural number の頭文字かと。
整数の集合。ドイツ語のZahl(数)の頭文字ですって。
有理数の集合。つまり分数。Quotient の頭文字らしい。
実数の集合。ここなら√もπもeもγも入る。Real number の頭文字かと。
複素数の集合。N⊂Z⊂Q⊂R⊂Cって関係はいいよね?Complex number の頭文字かと。

代数関連

モニックな (monic)
多項式における、最高次数(xd)の係数(cd)が1ということ。
体(field)
零元以外の元に対して演算その2(乗算)の逆元が存在する環。
環(ring)
2つ目の演算(乗算)が定義できる群。1つ目の演算に対する単位元(0)は「零元」と呼ぶらしい。2つ目の演算に対する単位元は単位元(1)で大丈夫。
群(group)
数学の用語。ザックリ説明すると、数の集合。少し詳しくすると、元(=数)と元との間の演算(加算)が定義されていて、単位元(0)が存在していて、逆元(a+b=0 になる b)が存在する集合の事。「数じゃない元って何やねん」とか「0だったら零元じゃないの」とか、普通の数を想像してると当然のようなことを改めて定義する必要があるわけですよ。ちなみに本当は結合法則の成立とかその他細かい条件があるので詳しくは数学系の所で調べておくれ。

因数分解関連

因子基底 (Factor Base)
試し割りで素因数分解する時に、与えられた整数を割り切れるかどうか試す素数の集合のこと。この範囲で素因数分解しきれなかったら諦める範囲、とも言い換えられる(?)。整数体ではない範囲でも同様に、与えられた数を割り切れるかどうか試す素元の集合を表す。日本語の文章でも「Factor Base」の方をよく見るので、このサイトでもこちらを使う。

その他(分類不能)