Namespaces
Variants
Actions

Difference between revisions of "Symmetric algebra"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (link)
(TeX partly done)
Line 1: Line 1:
A generalization of a polynomial algebra. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s0915901.png" /> is a [[unital module]] over a commutative associative ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s0915902.png" /> with an identity, then the symmetric algebra of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s0915903.png" /> is the algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s0915904.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s0915905.png" /> is the [[Tensor algebra|tensor algebra]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s0915906.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s0915907.png" /> is the ideal generated by the elements of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s0915908.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s0915909.png" />). A symmetric algebra is a commutative associative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159010.png" />-algebra with an identity. It is graded:
+
A generalization of a polynomial algebra. If $M$ is a [[unital module]] over a commutative associative ring $A$ with an identity, then the symmetric algebra of $M$ is the algebra $S(M) = T(M)/I$, where $T(M)$ is the [[tensor algebra]] of $M$ and $I$ is the ideal generated by the elements of the form $x \otimes y - y \otimes x$ ($x,y \in M$). A symmetric algebra is a commutative associative $A$-algebra with an identity. It is graded:
 
+
$$
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159011.png" /></td> </tr></table>
+
S(M) = \bigoplus_{p \ge 0} S^p(M)
 
+
$$
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159012.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159013.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159014.png" />. The module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159015.png" /> is called the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159017.png" />-th symmetric power of the module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159018.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159019.png" /> is a free module with finite basis <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159020.png" />, then the correspondence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159021.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159022.png" />) extends to an isomorphism of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159023.png" /> onto the polynomial algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159024.png" /> (see [[Ring of polynomials|Ring of polynomials]]).
+
where $S^p(M) = T^p(M)/(T^p(M)\cap I)$, and $S^0(M) = A$, $S^1(M) = M$. The module $S^p(M)$ is called the $p$-th symmetric power of the module $M$. If $M$ is a free module with finite basis $x_1,\ldots,x_n$, then the correspondence $x_i \mapsto X_i$ ($i=1,\ldots,n$) extends to an isomorphism of $S(M)$ onto the polynomial algebra $A[X_1,\ldots,X_n]$ (see [[Ring of polynomials]]).
 
 
For any homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159025.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159026.png" />-modules, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159027.png" />-th tensor power <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159028.png" /> induces a homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159029.png" /> (the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159031.png" />-th symmetric power of the homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159032.png" />). A homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159033.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159034.png" />-algebras is obtained. The correspondences <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159035.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159036.png" /> are, respectively, covariant functors from the category of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159037.png" />-modules into itself and into the category of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159038.png" />-algebras. For any two <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159039.png" />-modules <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159040.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159041.png" /> there is a natural isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159042.png" />.
 
  
 +
For any homomorphism $f:M \to N$ of $A$-modules, the $p$-th tensor power $T^p(f)$ induces a homomorphism $S^p(f) : S^p(M) \to S^p(N)$ (the $p$-th symmetric power of the homomorphism $f$). A homomorphism $S(f) : S(M) \to S(N)$ of $A$-algebras is obtained. The correspondences $f \mapsto S^p(f)$ and $f \mapsto S(f)$ are, respectively, covariant functors from the category of $A$-modules into itself and into the category of $A$-algebras. For any two $A$-modules $M$ and $N$ there is a natural isomorphism $S(M\oplus N) = S(M) \otimes_A S(N)$.
 
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159043.png" /> is a vector space over a field of characteristic 0, then the symmetrization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159044.png" /> (cf. [[Symmetrization (of tensors)|Symmetrization (of tensors)]]) defines an isomorphism from the symmetric algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159045.png" /> onto the algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159046.png" /> of symmetric contravariant tensors over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159047.png" /> relative to symmetric multiplication:
 
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159043.png" /> is a vector space over a field of characteristic 0, then the symmetrization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159044.png" /> (cf. [[Symmetrization (of tensors)|Symmetrization (of tensors)]]) defines an isomorphism from the symmetric algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159045.png" /> onto the algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159046.png" /> of symmetric contravariant tensors over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091590/s09159047.png" /> relative to symmetric multiplication:
  
Line 12: Line 11:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,  "Eléments de mathématique" , '''2. Algèbre''' , Hermann  (1964)  pp. Chapt. IV-VI</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.I. Kostrikin,  Yu.I. Manin,  "Linear algebra and geometry" , Gordon &amp; Breach  (1989)  (Translated from Russian)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,  "Eléments de mathématique" , '''2. Algèbre''' , Hermann  (1964)  pp. Chapt. IV-VI</TD></TR>
 +
<TR><TD valign="top">[2]</TD> <TD valign="top">  A.I. Kostrikin,  Yu.I. Manin,  "Linear algebra and geometry" , Gordon &amp; Breach  (1989)  (Translated from Russian)</TD></TR>
 +
</table>
  
  

Revision as of 17:19, 11 April 2017

A generalization of a polynomial algebra. If $M$ is a unital module over a commutative associative ring $A$ with an identity, then the symmetric algebra of $M$ is the algebra $S(M) = T(M)/I$, where $T(M)$ is the tensor algebra of $M$ and $I$ is the ideal generated by the elements of the form $x \otimes y - y \otimes x$ ($x,y \in M$). A symmetric algebra is a commutative associative $A$-algebra with an identity. It is graded: $$ S(M) = \bigoplus_{p \ge 0} S^p(M) $$ where $S^p(M) = T^p(M)/(T^p(M)\cap I)$, and $S^0(M) = A$, $S^1(M) = M$. The module $S^p(M)$ is called the $p$-th symmetric power of the module $M$. If $M$ is a free module with finite basis $x_1,\ldots,x_n$, then the correspondence $x_i \mapsto X_i$ ($i=1,\ldots,n$) extends to an isomorphism of $S(M)$ onto the polynomial algebra $A[X_1,\ldots,X_n]$ (see Ring of polynomials).

For any homomorphism $f:M \to N$ of $A$-modules, the $p$-th tensor power $T^p(f)$ induces a homomorphism $S^p(f) : S^p(M) \to S^p(N)$ (the $p$-th symmetric power of the homomorphism $f$). A homomorphism $S(f) : S(M) \to S(N)$ of $A$-algebras is obtained. The correspondences $f \mapsto S^p(f)$ and $f \mapsto S(f)$ are, respectively, covariant functors from the category of $A$-modules into itself and into the category of $A$-algebras. For any two $A$-modules $M$ and $N$ there is a natural isomorphism $S(M\oplus N) = S(M) \otimes_A S(N)$. If is a vector space over a field of characteristic 0, then the symmetrization (cf. Symmetrization (of tensors)) defines an isomorphism from the symmetric algebra onto the algebra of symmetric contravariant tensors over relative to symmetric multiplication:

References

[1] N. Bourbaki, "Eléments de mathématique" , 2. Algèbre , Hermann (1964) pp. Chapt. IV-VI
[2] A.I. Kostrikin, Yu.I. Manin, "Linear algebra and geometry" , Gordon & Breach (1989) (Translated from Russian)


Comments

The functor from -modules to commutative unitary -algebras solves the following universal problem. Let be an -module and a commutative unitary -algebra. For each homomorphism of -modules there is a unique homomorphism of -algebras such that restricted to coincides with . Thus, is a left-adjoint functor of the underlying functor from the category of commutative unitary -algebras to the category of -modules.

How to Cite This Entry:
Symmetric algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Symmetric_algebra&oldid=40936
This article was adapted from an original article by A.L. Onishchik (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article