Álgebra finitamente generada

En matemáticas , un álgebra finitamente generada (también llamada álgebra de tipo finito ) es un álgebra asociativa conmutativa A sobre un cuerpo K donde existe un conjunto finito de elementos a ₁ ,..., a _n de A tales que cada elemento de A puede expresarse como un polinomio en a ₁ ,..., a _n , con coeficientes en K .

De manera equivalente, existen elementos tales que el homomorfismo de evaluación en${\displaystyle a_{1},\puntos ,a_{n}\en A}$${\displaystyle {\bf {a}}=(a_{1},\puntos ,a_{n})}$

${\displaystyle \phi _{\bf {a}}\colon K[X_{1},\puntos ,X_{n}]\twoheadrightarrow A}$

es sobreyectiva ; por lo tanto, aplicando el primer teorema de isomorfismo , . ${\displaystyle A\simeq K[X_{1},\puntos ,X_{n}]/{\rm {ker}}(\phi _{\bf {a}})}$

Por el contrario , para cualquier ideal es una -álgebra de tipo finito, de hecho, cualquier elemento de es un polinomio en las clases laterales con coeficientes en . Por lo tanto, obtenemos la siguiente caracterización de -álgebras finitamente generadas ^[1]${\displaystyle A:=K[X_{1},\puntos ,X_{n}]/I}$ ${\displaystyle I\subseteq K[X_{1},\puntos ,X_{n}]}$${\estilo de visualización K}$${\estilo de visualización A}$${\displaystyle a_{i}:=X_{i}+I,i=1,\puntos ,n}$${\estilo de visualización K}$${\estilo de visualización K}$

${\estilo de visualización A}$es un -álgebra finitamente generada si y sólo si es isomorfa como un -álgebra a un anillo cociente del tipo por un ideal .${\estilo de visualización K}$${\estilo de visualización K}$${\displaystyle K[X_{1},\puntos ,X_{n}]/I}$${\displaystyle I\subseteq K[X_{1},\puntos ,X_{n}]}$

Si es necesario enfatizar el campo K entonces se dice que el álgebra es finitamente generada sobre K. Las álgebras que no son finitamente generadas se denominan infinitamente generadas .

• El álgebra polinómica K [ x ₁ ,..., x _n  ] se genera finitamente. El álgebra polinómica en un número infinito de generadores numerables se genera infinitamente.
• El campo E  =  K ( t ) de funciones racionales en una variable sobre un campo infinito K no es un álgebra finitamente generada sobre K . Por otra parte, E es generada sobre K por un único elemento, t , como un campo .
• Si E / F es una extensión de campo finito , entonces se deduce de las definiciones que E es un álgebra generada finitamente sobre F.
• Por el contrario, si E / F es una extensión de cuerpo y E es un álgebra finitamente generada sobre F, entonces la extensión de cuerpo es finita. Esto se llama lema de Zariski . Véase también extensión integral .
• Si G es un grupo finitamente generado , entonces el álgebra de grupo KG es un álgebra finitamente generada sobre K.

• Una imagen homomórfica de un álgebra finitamente generada es en sí misma finitamente generada. Sin embargo, una propiedad similar para las subálgebras no se cumple en general.
• Teorema de la base de Hilbert : si A es un álgebra conmutativa finitamente generada sobre un anillo noetheriano , entonces cada ideal de A es finitamente generado o, equivalentemente, A es un anillo noetheriano.

Las álgebras conmutativas reducidas finitamente generadas son objetos básicos de consideración en la geometría algebraica moderna , donde corresponden a variedades algebraicas afines ; por esta razón, estas álgebras también se denominan álgebras afines (conmutativas) . Más precisamente, dado un conjunto algebraico afín podemos asociar una -álgebra finitamente generada${\displaystyle V\subseteq \mathbb {A} ^{n}}$${\estilo de visualización K}$

${\displaystyle \Gamma (V):=K[X_{1},\puntos ,X_{n}]/I(V)}$

llamado anillo de coordenadas afines de ; además, si es una función regular entre los conjuntos algebraicos afines y , podemos definir un homomorfismo de -álgebras ${\estilo de visualización V}$${\displaystyle \phi \dos puntos V\a W}$${\displaystyle V\subseteq \mathbb {A} ^{n}}$${\displaystyle W\subseteq \mathbb {A} ^{m}}$${\estilo de visualización K}$

${\displaystyle \Gamma (\phi )\equiv \phi ^{*}\colon \Gamma (W)\to \Gamma (V),\,\phi ^{*}(f)=f\circ \phi , }$

entonces, es un funtor contravariante de la categoría de conjuntos algebraicos afines con aplicaciones regulares a la categoría de -álgebras finitamente generadas reducidas : este funtor resulta ^[2] ser una equivalencia de categorías${\estilo de visualización \Gamma}$${\estilo de visualización K}$

${\displaystyle \Gamma \colon ({\text{conjuntos algebraicos afines}})^{\rm {opp}}\to ({\text{K{\text{-álgebras}} finitamente generadas reducidas),}$

y, restringiéndose a variedades afines (es decir, conjuntos algebraicos afines irreducibles ),

${\displaystyle \Gamma \colon ({\text{affine algebraic varieties}})^{\rm {opp}}\to ({\text{integral finitely generated }}K{\text{-algebras}}).}$

Recordamos que un álgebra conmutativa es un homomorfismo de anillo ; la estructura del módulo de se define por ${\displaystyle R}$ ${\displaystyle A}$ ${\displaystyle \phi \colon R\to A}$${\displaystyle R}$${\displaystyle A}$

${\displaystyle \lambda \cdot a:=\phi (\lambda )a,\quad \lambda \in R,a\in A.}$

Un -álgebra se llama finita si se genera finitamente como un -módulo, es decir, existe un homomorfismo sobreyectivo de -módulos. ${\displaystyle R}$${\displaystyle A}$${\displaystyle R}$${\displaystyle R}$

${\displaystyle R^{\oplus _{n}}\twoheadrightarrow A.}$

Nuevamente, hay una caracterización de las álgebras finitas en términos de cocientes ^[3]

Un -álgebra es finita si y sólo si es isomorfa a un cociente por un submódulo - .${\displaystyle R}$${\displaystyle A}$${\displaystyle R^{\oplus _{n}}/M}$${\displaystyle R}$ ${\displaystyle M\subseteq R}$

Por definición, un álgebra finita es de tipo finito, pero lo inverso es falso: el anillo polinomial es de tipo finito pero no finito. ${\displaystyle R}$${\displaystyle R[X]}$

Las álgebras finitas y las álgebras de tipo finito están relacionadas con las nociones de morfismos finitos y morfismos de tipo finito .

• Módulo generado de forma finita
• Extensión de campo finitamente generada
• Lema Artin-Tate
• Álgebra finita
• Morfismo de tipo finito