ISBN:4-7819-0574-9:detail イデアル がの空でない部分集合で、 という性質を持つとき、をのイデアルと言う。のイデアルはある整数を用いてと表される。 証明 の元が0だけのときは、である。これ以外のとき、には正整数が含まれる。このとき、に含まれる最小…

[ISBN:4-535-78504-X:detail] 集合 G に写像 が与えられており、 と書くとき、 を満たす G を群と言う。 ここで、は単位元、は逆元と呼ばれる。さらに、 に対して が成り立つとき を可換群(アーベル群)と言う。 が可換群のとき、演算 を と書くことがあり、…