対称代数のソースを表示

{{otheruses|ベクトル空間の対称代数|フロベニウス形式が対称なフロベニウス代数|フロベニウス代数}}
[[数学]]において、[[可換体|体]] ''K'' 上の[[ベクトル空間]] ''V'' 上で定義される'''対称代数'''（たいしょうだいすう、{{lang-en-short|''symmetric algebra''}}）''S''(''V'') あるいは Sym(''V'') は、''V'' を含む ''K'' 上の{{ill2|自由対象|label=自由|en|Free object}}[[可換環|可換]][[単位的環|単位的]][[結合多元環|結合代数]]である。

対称代数の元は、座標の取り方に依らず ''V'' の元を不定元とする多項式に対応する。このとき、対称代数の双対 ''S''(''V''<sup>&lowast;</sup>) の元は ''V'' 上の[[多項式函数|多項式（函数）]]に対応する。

対称代数と ''V'' 上の[[対称テンソル]]空間とを混同してはならない。

== 対称代数の構成 ==
対称代数 ''S''(''V'') は ''V'' の基底ベクトルを不定元とする ''K'' 上の[[多項式環]]と実質的には同じものであることがあとでわかる。したがって、ここでの構成は対称代数を「自然に」多項式と看做す立場であれば余計な情報でしかないということになるが、これはこれでよい面もある。

対称代数 ''S''(''V'') を記述するのに[[テンソル代数]] ''T''(''V'') を利用することができる。実際にはテンソル代数を強制的に可換化することで対称代数を作ることができる。''V'' のいくつかの元が（''T''(''V'') の中で積に関して）可換ならば、それらの間でできるテンソルに関してもそうであり、それゆえテンソル代数 ''T''(''V'') を 

:<math>v\otimes w - w\otimes v\quad (v,w\in V)</math>

の形の元全体で生成される[[イデアル (環論)|イデアル]]で[[剰余環|割った]]{{ill2|商代数系|label=商|en|Quotient algebra}}多元環として対称代数を構成することができる。

=== 次数付け ===
多項式環におけると同様に、対称代数 ''S''(''V'') の[[次数付き代数]]としての[[加群の直和|直和]]分解

:<math>S(V)=\bigoplus_{k=0}^{\infty} S^k(V)</math>

が存在する。ここで各 ''S''<sup>''k''</sup>(''V'') は ''V'' のベクトルからなる次数 ''k'' の[[単項式]]の線型結合全体からなる（ただし ''S''<sup>0</sup>(''V'') = ''K'', ''S''<sup>1</sup>(''V'')=''V'' とする)。''K''-線型空間 ''S<sup>k</sup>''(''V'') を ''V'' の ''k''-'''次対称冪''' {{lang|en|(symmetric power)}}と呼ぶ。例えば ''k'' = 2 のときは'''対称平方'''と呼び、Sym<sup>2</sup>(''V'') で表す。''k''-次対称冪は ''V''<sup>''k''</sup> 上の{{ill2|対称函数|label=対称|en|Symmetric function}}[[複線型作用素]]に関する普遍性を持つ。

=== 対称テンソルとの差異 ===
対称代数と対称テンソル空間は混同しやすいが、対称代数がテンソル代数の商多元環であるのに対し対称テンソル空間はテンソル代数の部分線型空間である。

対称代数はその[[普遍性]]を得るために商多元環でなければならない（任意の対称代数は多元環だから、テンソル代数から対称代数に移る[[商写像|射影]]が多元環の準同型として得られる）。

一方、対称テンソルはテンソル代数への[[対称群]]の自然な作用に関する不変元として定義され、対称群は対称テンソルの空間に自明に作用する。注意すべきは、対称テンソル空間がテンソル積の下でテンソル代数の部分多元環には'''ならない'''ということである。実際、''V'' の元 ''v'', ''w'' は自然に対称 1-テンソルとなるが、それらのテンソル積 ''V'' &otimes; ''w'' は対称 2-テンソルではない。

この差異は二次の成分でいうと、[[対称双線型形式]]（対称 2-テンソル）と[[二次形式]]（2-次対称冪の元）との違いであり、{{仮リンク|ε-二次形式|en|ε-quadratic form}}として記述できる。

標数 0 の場合、対称テンソル空間と対称代数は同一視することができる。まず、任意の標数で、対称代数から対称テンソル空間への{{ill2|対称化|en|Symmetrization|label=対称化作用素}}が
:<math>v_1\cdots v_k \mapsto
\sum_{\sigma \in S_n} v_{\sigma(1)}\otimes \cdots \otimes v_{\sigma(k)}</math>
で与えられる。対称テンソル空間のテンソル代数への埋め込みと対称代数への商射影との合成は、''k''-次成分上で ''k''!-倍する変換になる。したがって標数 0 のとき、対称化作用素は対称テンソル空間から対称代数への次数付き線型空間としての同型であり、この同型を通じて対称テンソルを対称代数の元と同一視することができる。あるいはこの対称化作用素を ''k''! で割って、

:<math>v_1\cdots v_k \mapsto \frac{1}{k!} \sum_{\sigma \in S_n} v_{\sigma(1)}\otimes \cdots \otimes v_{\sigma(k)}</math>
なる商写像の{{ill2|切断 (圏論)|label=切断|en|Section (category theory)}}にすることもできる。たとえばふたつの対称テンソルの積（対称積）は
:<math>vw \mapsto \frac{1}{2}(v\otimes w + w \otimes v)</math>

なる対応で与えられる。これは対称群の[[表現論]]に関係している。標数 0 の代数閉体上の[[群環]]は[[半単純]]だから、任意の表現は既約表現の直和に分解され、それが ''T'' = ''S'' &oplus; ''V'' の形に書けるならば ''S'' を ''T'' の部分空間とも商空間 ''T''/''V'' とも看做せるのである。

== 多項式としての解釈 ==
ベクトル空間 ''V'' が与えられたとき、''V'' 上の多項式函数の全体は対称代数の「双対」空間 ''S''(''V''<sup>&lowast;</sup>) であり、''V'' 上で定義される多項式函数の ''V'' のベクトルにおける値の「評価」は、内積 {{lang|en|(pairing)}} ''S''(''V''<sup>&lowast;</sup>) &times; ''V'' &rarr; ''K'' を通じて与えられる。

例えば、平面 ''K''<sup>2</sup> とその基底が与えられたとき、''K''<sup>2</sup> 上の（斉）一次多項式函数の全体は、{{ill2|多項式函数環|en|Ring of polynomial functions|label=座標汎函数}} ''x'', ''y'' で生成される。これら座標汎函数は、たとえば
:<math>x(2,3) = 2, y(2,3)=3</math>
のようにベクトルが与えられればその各座標を値として返す[[余ベクトル]]（双対ベクトル）である。高次の単項式は様々な対称冪の元であり、一般の多項式は対称代数の元になる。ベクトル空間に基底を定めない場合も同様だが、その場合得られるのは基底を定めない多項式環である。

一方、ベクトル空間上の対称代数自体は、''V'' 「上の」多項式函数として解釈することはできない（''S''(''V'') と ''V'' の間に自然な内積は無いから、ベクトル空間の対称代数の元のその空間のベクトルにおける値を評価することはできない）が、''v''<sup>2</sup> &minus; ''vw'' + ''uv'' のようなベクトルをベクトル空間「内の」多項式だと解釈することはできる。

=== アフィン空間の対称代数 ===
ベクトル空間上の対称代数と同様に、[[アフィン空間]]（あるいはその上の多項式の空間に対応する双対空間）から対称代数を構成することができる。根本的に異なるのはアフィン空間上の対称代数は次数付き多元環にならないことだが、しかし{{ill2|フィルター付き多元環|en|Filtered algebra}}にはなるので、斉次部分を決めることはできなくてもアフィン空間上の多項式の次数を決めることはできる。

例えば、ベクトル空間上の一次多項式函数が与えられたとき、その定数項は 0 における値として得られる。一方、アフィン空間では、そのような特別の点は定められていないので、同じことはできない（特定の点を選ぶとアフィン空間はベクトル空間になる）。

== 圏論的性質 ==
ベクトル空間上の対称代数は可換単位的結合代数（以降、可換多元環という）の圏における{{ill2|自由対象|en|Free object}}である。

厳密に言えば、写像 ''S'' はベクトル空間 ''V'' をその対称代数 ''S''(''V'') へ写す、''K'' 上の線型空間の圏から ''K'' 上の可換多元環の圏への[[函手]]であり、対称代数が「自由対象」であるというのは、その函手が可換多元環をその台となるベクトル空間へ写す{{ill2|忘却函手|en|Forgetful functor}}の[[随伴函手|左随伴]]であるということを意味する。

随伴の単位元はベクトル空間をその対称代数へ埋め込む写像 ''V'' &rarr; ''S''(''V'') である。

可換多元環の圏は多元環の圏の{{ill2|反射的部分圏|en|Reflective subcategory}}である。多元環 ''A'' が与えられたとき、（群の[[アーベル化]]の要領で）''A'' をその交換子（''ab'' &minus; ''ba'' の形の元）全体で生成される交換子イデアルで割ってやれば可換多元環が得られる。テンソル代数の商としての対称代数の構成は、函手としてこの反射函手と自由多元環函手との合成になっている。

== 外積代数との類似 ==
対称冪 ''S''<sup>''k''</sup> は[[外冪]]とよく似た[[函手]]である。しかしたとえば、[[次元 (線型代数学)|次元]]は ''V'' の次元を ''n'' とすれば
:<math>\operatorname{dim}(S^k(V)) = \binom{n+k-1}{k}</math>
で与えられ、これは ''k'' の増加に伴ってどんどん大きくなる。この二項係数は次数 ''k'' の ''n''-変数単項式の数である。

== 加群の対称代数 ==
対称代数の構成を一般化して、[[可換環]]上の[[環上の加群|加群]] ''M'' の対称代数 ''S''(''M'') を考えることもできる。''M'' が環 ''R'' 上の[[自由加群]]ならば、ベクトル空間上の対称代数とまったく同じに、その対称代数 ''S''(''M'') は ''M'' の基底を不定元とする ''R'' 上の多項式環に同型である。しかし自由ではない加群 ''M'' についてはそうではなく、''S''(''M'') の構造はもっと複雑になる。

== 普遍包絡環としての対称代数 ==
対称代数 ''S''(''V'') は[[可換リー環]]（リー括弧積がつねに 0 であるようなリー環）の普遍包絡環である。
<!--
== 脚注 ==
{{reflist}}-->

== 参考文献 ==
{{参照方法|date=2023年9月}}
* {{citation|first = Nicolas|last=Bourbaki|authorlink=ニコラ・ブルバキ | title = Elements of mathematics, Algebra I| publisher = Springer-Verlag | year = 1989|isbn=3-540-64243-9}}

== 関連項目 ==
* [[外積代数]]: 対称代数の非対称な類似物
* [[ワイル代数]]: 対称代数の[[斜交形式]]による量子変形
* [[クリフォード代数]]: 外積代数の[[二次形式]]による量子変形

{{Linear algebra}}

{{DEFAULTSORT:たいしようたいすう}}
[[Category:多元環]]
[[Category:多重線型代数]]
[[Category:多項式]]
[[Category:非可換環論]]
[[Category:数学に関する記事]]