多元環の表現

抽象代数学において，結合多元環の表現はその環の加群である．ここで結合多元環は（単位的とは限らない）環である．多元環が単位的でないとき，標準的な方法で単位的にでき（随伴関手のページを参照），得られる単位的環（単位元は恒等写像として作用する）の加群と多元環の表現の間に本質的な違いは存在しない．

例線型複素構造

最も簡単な非自明な例の1つはであり，これは複素数体を実数体上の結合多元環と考えたときの上の表現である．この多元環はとして具体的に実現し，これはに対応する．するとの表現は実ベクトル空間にの作用（写像）を考えたものである．具体的には，これは単にの作用である，なぜならばこれが多元環を生成するからで，を表現する作用素（のにおける像）は単位行列との混同を避けるためと記される．

多項式環別の重要で基本的な例のクラスは多項式代数，自由可換代数の表現である――これらは可換代数とその幾何学的片割れである代数幾何における中心的な研究対象をなす．体上の不定元の多項式代数の表現は具体的にはベクトル空間に個の可換な作用素を考えたものであり，しばしばと記され，抽象代数の表現を意味する．

そのような表現についての基本的な結果は，代数閉体上，表現行列が同時三角化可能であることである．

一変数の多項式代数の表現の場合でさえ興味がある――これはと記され，有限次元ベクトル空間上の1つの線型作用素の構造を理解するのに使われる．具体的には，PID上の有限生成加群の構造定理をこの代数に適用すると，系としてジョルダン標準形のような行列の様々な標準形を得る．

非可換幾何学へのあるアプローチでは，自由非可換代数（可換でない変数の多項式たち）が類似の役割を果たすが，解析ははるかに難しい．

ウェイト

固有値と固有ベクトルは多元環の表現に一般化できる．

多元環の表現の固有値の一般化は，1つのスカラーではなく，1次元表現である（すなわち，多元環からその underlying ring への多元環準同型であり，乗法的でもある線型汎関数である）体に対しては1次元ベクトル空間（直線）の自己準同型多元環は自然に underlying field に等しいことに注意，なぜならばすべての自己準同型はスカラー乗法であるからである．したがって抽象的な1次元表現ではなく基礎体への具体的な写像に制限しても何も失われない．環に対しては商環への写像もあり，これは環自身への写像を通して分解するとは限らないが，再び抽象的な1次元加群は必要ではない．．これはウェイトと呼ばれ，固有ベクトルと固有空間の類似物はウェイトベクトルとウェイト空間と呼ばれる．

1作用素の固有値の場合は多元環に対応し，多元環の写像は生成元がどのスカラーに写るかによって決定される．多元環の表現のウェイトベクトルは多元環の任意の元がこのベクトルをそのスカラー倍に写すようなベクトルである――1次元部分加群（部分表現）である．ペアリングは双線型であるから，「どんなスカラー倍か」はの -線型汎関数（多元環の写像），すなわちウェイトである．記号では，ウェイトベクトルはベクトルであって，ある線型汎関数に対してすべての元に対してなるものである――左辺では積は多元環の作用であり，右辺ではスカラー倍であることに注意．

ウェイトは可換環への写像であるから，写像は多元環のアーベル化を通して分解する――同じことであるが，上消える――行列のことばでは，が作用素との共通の固有ベクトルであれば，である（なぜならばどちらの場合にもそれは単にスカラーを掛けるだけなので）ので，多元環の共通の固有ベクトルは多元環が可換に作用する集合（これは導来環が自明に作用する）に入っていなければならない．したがって中心的な興味は自由可換代数，すなわち多項式代数である．可換な行列のある集合の多項式代数というとりわけ単純で重要な場合には，この代数のウェイトベクトルは行列の同時固有ベクトルであり，この代数のウェイトは単に，各行列の固有値に，したがって幾何学的には次元空間の点に，対応するスカラーの組である．これらのウェイト――特にそれらの幾何学――はリー環の表現論，とくに半単純リー環の有限次元表現の理解において中心的に重要である．

この幾何学の応用として，個の生成元上の多項式代数の商代数が与えられると，それは幾何学的には次元空間の代数多様体に対応し，ウェイトは多様体に乗っていなければならない，すなわち，それは多様体の定義方程式を満たす．これは固有値が一変数の行列の特性方程式を満たすという事実を一般化する．

多元環の表現

Źródło i licencja