代数学 表現行列
ベクトル空間の基底の取り方に行列を対応付けることができたように，線形写像にも行列を対応付けることができる．表現行列の定義表現行列を定義する準備として，線形写像に行列を対応付けできることを示す．補題1$K$を体，$V,W$を$K$上の有限次元...
代数学
代数学 
代数学 準同型と同型
群の構造を捉えるために，群の間の写像を考えよう．群の準同型と同型群は演算が備わった集合である．そこで，集合として対応しているだけでなく，演算についても整合しているとき，2つの群を同一視することにしよう．定義1$G_1,G_2$を群，$f:G...
代数学 ベクトル空間の和と直和
ベクトル空間の和定義1$n\in \mathbb{N}$，$V$を$\mathbb{C}$上のベクトル空間，$W_1,W_2,\dots ,W_n$を$V$の部分空間とする．\を$W_1,W_2,\dots ,W_n$の和(sum)(または...
代数学 正方行列のジョルダン標準形
当サイトでは，ジョルダン標準形を複数の記事で解説しています．初学者の方には，以下の順番で記事を読んでいただくことを強く推奨しています．まずは，具体的な計算を通して，ジョルダン標準形の概念とその求め方を掴みます．2次正方行列については，以下の...
代数学 冪零行列のジョルダン標準形
当サイトでは，ジョルダン標準形を複数の記事で解説しています．初学者の方には，以下の順番で記事を読んでいただくことを強く推奨しています．まずは，具体的な計算を通して，ジョルダン標準形の概念とその求め方を掴みます．2次正方行列については，以下の...
代数学 3次正方行列のジョルダン標準形
当サイトでは，ジョルダン標準形を複数の記事で解説しています．初学者の方には，以下の順番で記事を読んでいただくことを強く推奨しています．まずは，具体的な計算を通して，ジョルダン標準形の概念とその求め方を掴みます．2次正方行列については，以下の...
代数学 2次正方行列のジョルダン標準形
当サイトでは，ジョルダン標準形を複数の記事で解説しています．初学者の方には，以下の順番で記事を読んでいただくことを強く推奨しています．まずは，具体的な計算を通して，ジョルダン標準形の概念とその求め方を掴みます．2次正方行列については，この記...
代数学 生成系
群の元の構造を捉えるために，群の生成という概念を導入する．生成系定義1$G$を群，$S\subset G$，$g\in G$とする．ある$n\in \mathbb{N}$と$x_1,x_2,\dots ,x_n\in S$が存在して\と表さ...
代数学 一般線形群と特殊線形群
一般線形群定義1体$K$上のベクトル空間$V$の全単射な線形変換全体の集合を$V$の一般線形群(general linear group)といい，$\mathrm{GL}(V)$で表す．定義1は，次のように言い換えることができる．定義2$n...
代数学 部分群
部分群定義1$G$を群，$H\subset G$とする．$H$が$G$上の演算に関して群であるとき，$H$を$G$の部分群(subgroup)という．部分群の基本性質を確認しよう．命題1$H$を群$G$の部分群とするとき，次が成り立つ．$e...