En matemáticas , específicamente en álgebra conmutativa , una estructura de potencia dividida es una forma de introducir elementos con propiedades similares a las que tienen las expresiones de la forma , también cuando en realidad no es posible dividir por .![{\displaystyle x^{n}/n!}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n!}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Definición
Sea A un anillo conmutativo con un I ideal . Una estructura de poder dividida (o estructura PD , según las puissances divisées francesas ) en I es una colección de mapas para n = 0, 1, 2, ... tal que:![{\displaystyle \gamma _ {n}:I\a A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y para , mientras que para n > 0.![{\displaystyle \gamma _{1}(x)=x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma _ {n}(x)\en I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para .![{\displaystyle x,y\en I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para .![{\displaystyle \lambda \en A,x\en I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para , donde es un número entero.![{\displaystyle x\en I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle ((m,n))={\frac {(m+n)!}{m!n!}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para y , donde es un número entero.![{\displaystyle x\en I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m>0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{n,m}={\frac {(mn)!}{(m!)^{n}n!}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para facilitar la notación, a menudo se escribe así cuando está claro a qué se refiere la estructura de poder dividido.![{\displaystyle \gamma _ {n}(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x^{[n]}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El término ideal de poder dividido se refiere a un ideal con una estructura de poder dividida dada, y anillo de poder dividido se refiere a un anillo con un ideal dado con una estructura de poder dividida.
Los homomorfismos de las álgebras de poder dividido son homomorfismos de anillo que respetan la estructura de poder dividido en su origen y destino.
Ejemplos
- El álgebra de potencia dividida libre en un generador:
![{\displaystyle \mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} \langle {x}\rangle :=\mathbb {Z} \left[x,{\tfrac {x^{2}}{2}},\ldots ,{\tfrac {x ^{n}}{n!}},\ldots \right]\subset \mathbb {Q} [x].}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si A es un álgebra, entonces cada ideal I tiene una estructura de poder dividida única donde [1] De hecho, este es el ejemplo que motiva la definición en primer lugar.
![{\displaystyle \mathbb {Q},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma _{n}(x)={\tfrac {1}{n!}}\cdot x^{n}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si M es un módulo A , denotemos el álgebra simétrica de M sobre A. Entonces su dual tiene una estructura canónica de anillo de poder dividido. De hecho, es canónicamente isomorfo a una terminación natural de (ver más abajo) si M tiene rango finito.
![{\displaystyle S^{\bullet }M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (S^{\bullet }M)^{\vee }={\text{Hom}}_{A}(S^{\bullet }M,A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Gamma _ {A}({\check {M}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Construcciones
Si A es cualquier anillo, existe un anillo de poder dividido.
![{\displaystyle A\langle x_{1},x_{2},\ldots,x_{n}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
que consiste en polinomios de potencia dividida en las variables
![{\displaystyle x_{1},x_{2},\ldots,x_{n},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es decir, sumas de monomios de potencia dividida de la forma
![{\ Displaystyle cx_ {1} ^ {[i_ {1}]} x_ {2} ^ {[i_ {2}]} \ cdots x_ {n} ^ {[i_ {n}]}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
con . Aquí el ideal de potencia dividida es el conjunto de polinomios de potencia dividida con coeficiente constante 0.![{\displaystyle c\en A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
De manera más general, si M es un módulo A , existe un álgebra A universal , llamada
![{\displaystyle \Gamma _ {A}(M),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
con PD ideal
![{\displaystyle \Gamma _{+}(M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y un mapa A -lineal
![{\ Displaystyle M \ a \ Gamma _ {+} (M).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
(El caso de polinomios de potencia dividida es el caso especial en el que M es un módulo libre sobre A de rango finito).
Si I es cualquier ideal de un anillo A , existe una construcción universal que extiende A con potencias divididas de elementos de I para obtener una envolvente de potencia dividida de I en A.
Aplicaciones
La envolvente de potencia dividida es una herramienta fundamental en la teoría de los operadores diferenciales de PD y la cohomología cristalina , donde se utiliza para superar las dificultades técnicas que surgen en las características positivas .
El funtor de potencia dividida se utiliza en la construcción de funtores co-Schur.
Ver también
Referencias
- ^ La unicidad se deriva del hecho fácilmente verificable de que, en general ,.
![{\displaystyle x^{n}=n!\gamma _ {n}(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Berthelot, Pierre ; Ogus, Arthur (1978). Notas sobre cohomología cristalina . Anales de estudios de matemáticas. Prensa de la Universidad de Princeton . Zbl 0383.14010.
- Hazewinkel, Michiel (1978). Grupos Formales y Aplicaciones . Matemática pura y aplicada, una serie de monografías y libros de texto. vol. 78. Elsevier . pag. 507.ISBN 0123351502. Zbl 0454.14020.
- Cohomología p-ádica derivada de Rham: contiene material excelente sobre anillos polinomiales de PD y envolventes de PD
- ¿Cuál es el nombre del análogo de las álgebras de potencia dividida para x^i/i? Contiene una equivalencia útil con las álgebras de potencia dividida como álgebras duales.