群・環・体 モニック多項式とは~定義・例・性質~ モニック多項式 (monic polynomial) とは,最高次係数が1である一変数多項式のことを言います。モニック多項式について,簡単に定義・例・性質を紹介しましょう。 2023.05.04 群・環・体
群・環・体 同次式(斉次式)とは 同次式(どうじしき)あるいは斉次式(せいじしき; homogeneous polynomial)とは,(多変数)多項式において,全ての項の次数が等しいようなものを言います。同次式(斉次式)について,定義と具体例,性質をまとめます。 2023.03.06 群・環・体
群・環・体 体の定義と具体例4つ 数学,とくに代数学における体 (field) とは,四則演算が定義された集合のことを言います。一般に,代数学においては,群はかけ算・わり算が定義された集合,環は足し算・引き算・かけ算が定義された集合,体は足し算・引き算・かけ算・わり算(四則演算)が定義された集合をいいます。本記事では環の定義を前提に,体の定義と具体例を述べましょう。 2022.06.13 群・環・体
群・環・体 素元と既約元について~倍元・約元・同伴~ 可換環,特に整域における素元 (prime element) と既約元 (irreducible element) の概念について,その定義・具体例・性質を解説しましょう。関連する概念として,倍元・約元・同伴の定義も紹介します。 2022.03.12 群・環・体
群・環・体 素イデアルと極大イデアルの定義・具体例・性質 可換環論における,素イデアルとは整数における素数の概念を拡張したものであり,極大イデアルとは,真のイデアルのうち,包含関係に関して極大なものを指します。素イデアル・極大イデアルについて,その定義・具体例・性質を解説しましょう。 2022.03.06 群・環・体
群・環・体 剰余環(商環)とは~定義と具体例~ 剰余環 (factor ring),あるいは商環(quotient ring)とは,両側イデアルによる同値類で割った商集合に入る環構造を指します。剰余環を調べることは,環論において最も基本的なことの一つです。剰余環について,定義がwell-definedであることと,具体例を挙げましょう。 2022.03.02 群・環・体
群・環・体 乗法群(単元群)とは~定義と具体例6つ~ 乗法群 (multiplicative group),あるいは単元群 (group of units) とは,環や体のうち,乗法逆元の存在する元たちのなす群のことを指します。乗法群について,その定義と具体例を紹介しましょう。 2022.03.01 群・環・体
群・環・体 イデアル(環論)とは~定義・具体例・基本的性質の証明~ 代数学,特に環論における左イデアル・右イデアル・両側イデアルとは,それぞれ左・右・両側から元をかけても不変な,乗法単位元を持たなくても良い部分環のことを言います。群でいう正規部分群に対応する,環論における重要な概念です。イデアルについて,その定義と具体例・性質について順番に解説していきましょう。 2022.02.28 群・環・体
群・環・体 整域とは~定義・具体例4つ・基本的性質4つ~ 整域とは,零因子が0しかない可換環のことをいいます。すなわち,ab=0ならば,a=0またはb=0です。整域について,その定義と具体例・そして基本的性質4つの証明を行いましょう。なお,本記事では一貫して,環は乗法単位元を持ち,零環(自明な環)でないとします。 2022.02.27 群・環・体
群・環・体 零環(自明な環)とは~0=1をみたす唯一の環であることの証明~ 零環(the zero ring) (自明な環 trivial ring)とは,たった一つの元しか持たない環のことを言います。これについて,その定義と,零環(自明な環)が0=1をみたす唯一の環であることの証明をしましょう。 2022.02.26 群・環・体