イデアル
がの空でない部分集合で、 という性質を持つとき、をのイデアルと言う。
のイデアルはある整数を用いてと表される。
証明
の元が0だけのときは、である。これ以外のとき、には正整数が含まれる。このとき、に含まれる最小の整数をとする。について、と表すことができる。ここで、であるから、イデアルの定義から。ところが、はに含まれる最小の整数であること、及びより、。つまり、であるから、。つまり、。
また、[d\in I]であるから、すなわち。よって。
合同式
、とする。のとき、と表し、はを法として合同であるという。
この関係は同値関係である。
証明
- について、。よって、。
- 。故に。
- 、および であるから、。よって、。
剰余類
整数全体の集合を、を法として互いに合同な数からなる個の集合に分けることができる。これをと表しを法とした剰余類と言う。について、を剰余類の代表元と言う。
を法とした剰余類の集合をと表す。
剰余環
において
と定めたとき、をを法とする剰余環と言う。
可換環
集合に対し、に対して
が成り立つとき、このような集合を可換環という。を零元と言う。
部分環
可換環の空でない部分集合がを満たすとき、をの部分環という。さらに の部分環がを満たすとき、をのイデアルという。
とするとき、をの生成する単項イデアルという。
イデアルを基にしてがであることをと定義すると、この関係はの中の同値関係である。
証明
- 。をかけて 。
- とすると、。。
剰余類・剰余環
に同値なの元の集合をと表し、の属する剰余類と言う。
と定める。全体の集合をで表すとき、はこの演算により環である。これをイデアルによる剰余環という。
整域
を満たすとき、をの零因子という。
単位元を持ち零因子を持たない可換環を整域と言う。整域では、またはが成り立つ。
素イデアル
単位元を持つ環のイデアルがまたは を満たすとき、を素イデアルという。
イデアルが素イデアルであるための必要十分条件は、剰余環が整域であることである。
証明
を素イデアルであるとする。について、とすると、であるから、となる。は素イデアルであるから、またはとなり、またはとなる。
次に、剰余環が整域であるとする。このとき、
または
または
または
体
単位元1を持つ可換環において、0でない任意の元がとなる元を持つとき、を体という。をで表し、の逆元と言う。
体は整域である。
証明
についてかつと仮定する。であるからそれぞれ逆元が存在する。であるから、または。
剰余体
を素数を法とした剰余体という。は個の元を持つが、このように有限個数の元からなる体を有限体という。
極大イデアル
単位元を持たない可換環のと異なるイデアルが、*1となるイデアルを持たないとき、を極大イデアルという。
が極大イデアルであることの必要十分条件は、が体であることである。
*1:真部分集合