線形代数学行列の特異値とは~定義と性質~ 行列の特異値とは,一般のm×n行列に対して定義される固有値みたいなものです。厳密には,AA^*のように正方行列にしてから,固有値を考えます。行列の特異値について,定義と性質を述べましょう。2022.04.04線形代数学
群・環・体素元と既約元について~倍元・約元・同伴~ 可換環,特に整域における素元 (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群・環・体
群・環・体環の定義・可換環の定義とその具体例6つ 代数学における,環 (ring) ・可換環 (commutative ring) とは,足し算と掛け算を考えられる集合を指します。環の定義・可換環の定義について述べ,その具体例も挙げていきましょう。2022.02.21群・環・体
線形代数学列ベクトルと行ベクトルの定義と違い 数を縦に一列に並べたものを列ベクトルといい,数を横に一列に並べたものを行ベクトルといいます。列ベクトルと行ベクトルについて,その定義と基本的な違いを解説しましょう。2022.02.17線形代数学