En matemáticas , un elemento x de un anillo R se llama nilpotente si existe algún entero positivo n , llamado índice (o algunas veces grado ), tal que x n = 0.
El término fue introducido por Benjamin Peirce en el contexto de su trabajo sobre la clasificación de álgebras. [1]
Ejemplos de
- Esta definición se puede aplicar en particular a matrices cuadradas . La matriz
- es nilpotente porque A 3 = 0. Consulte la matriz nilpotente para obtener más información.
- En el anillo de factor Z / 9 Z , la clase de equivalencia de 3 es nilpotente porque 3 2 es congruente con 0 módulo 9.
- Suponga que dos elementos a , b en un anillo R satisfacen ab = 0. Entonces el elemento c = ba es nilpotente cuando c 2 = ( ba ) 2 = b ( ab ) a = 0. Un ejemplo con matrices (para a , b ):
- Aquí AB = 0, BA = B .
- Por definición, cualquier elemento de un nilsemigroup es nilpotente.
Propiedades
Ningún elemento nilpotente puede ser una unidad (excepto en el anillo trivial {0}, que tiene un solo elemento 0 = 1 ). Todos los elementos nilpotentes distintos de cero son divisores de cero .
Una matriz A de n por n con entradas de un campo es nilpotente si y solo si su polinomio característico es t n .
Si x es nilpotente, entonces 1 - x es una unidad , porque x n = 0 implica
De manera más general, la suma de un elemento unitario y un elemento nilpotente es una unidad cuando se desplazan.
Anillos conmutativos
Los elementos nilpotentes de un anillo conmutativo formar un ideal ; esto es una consecuencia del teorema del binomio . Este ideal es el nilradical del anillo. Cada elemento nilpotenteen un anillo conmutativo está contenido en cada ideal primo de ese anillo, ya que . Entonces está contenido en la intersección de todos los ideales primordiales.
Si no es nilpotente, somos capaces de localizar con respecto a los poderes de: para obtener un anillo distinto de cero . Los ideales primarios del anillo localizado corresponden exactamente a esos ideales primarios de con . [2] Como todo anillo conmutativo distinto de cero tiene un ideal máximo, que es primo, todo anillo no nilpotenteno está contenido en algún ideal primordial. Por lo tantoes exactamente la intersección de todos los ideales primarios. [3]
Una característica similar a la de Jacobson radical y aniquilación de módulos simples está disponible para nilradical: los elementos nilpotentes del anillo R son precisamente aquellos que aniquilan todos los dominios integrales internos al anillo R (es decir, de la forma R / I para los ideales primos I ). Esto se sigue del hecho de que nilradical es la intersección de todos los ideales primarios.
Elementos nilpotentes en álgebra de Lie
Dejar ser un álgebra de mentira . Entonces un elemento de se llama nilpotente si está en y es una transformación nilpotente. Ver también: Descomposición de Jordan en un álgebra de Lie .
Nilpotencia en física
Un operando Q que satisface Q 2 = 0 es nilpotente. Los números de Grassmann que permiten una representación integral de caminos para campos fermiónicos son nilpotentes ya que sus cuadrados desaparecen. La carga BRST es un ejemplo importante en física .
Como los operadores lineales forman un álgebra asociativa y, por lo tanto, un anillo, este es un caso especial de la definición inicial. [4] [5] De manera más general, en vista de las definiciones anteriores, un operador Q es nilpotente si hay n ∈ N tal que Q n = 0 (la función cero ). Por tanto, un mapa lineal es nilpotente si tiene una matriz nilpotente en alguna base. Otro ejemplo de esto es la derivada exterior (nuevamente con n = 2 ). Ambos están vinculados, también a través de la supersimetría y la teoría de Morse , [6] como lo muestra Edward Witten en un célebre artículo. [7]
El campo electromagnético de una onda plana sin fuentes es nilpotente cuando se expresa en términos del álgebra del espacio físico . [8] De manera más general, la técnica de microaditividad utilizada para derivar teoremas hace uso de infinitesimales nilpotentes o nilcuadrados, y es en parte un análisis infinitesimal suave .
Nilpotentes algebraicos
Los números duales bidimensionales contienen un espacio nilpotente. Otras álgebras y números que contienen espacios nilpotentes incluyen cuaterniones divididos (cocuaterniones), octoniones divididos , biquaterniones y octoniones complejos .
Ver también
- Elemento idempotente (teoría del anillo)
- Unipotente
- Anillo reducido
- Nil ideal
Referencias
- ^ Polcino Milies & Sehgal (2002), Introducción a los anillos de grupo . pag. 127.
- ^ Matsumura, Hideyuki (1970). "Capítulo 1: Resultados elementales". Álgebra conmutativa . WA Benjamin. pag. 6. ISBN 978-0-805-37025-6.
- ^ Atiyah, MF; MacDonald, IG (21 de febrero de 1994). "Capítulo 1: Anillos e ideales". Introducción al álgebra conmutativa . Westview Press. pag. 5. ISBN 978-0-201-40751-8.
- ^ Peirce, B. Álgebra asociativa lineal . 1870.
- ^ Polcino Milies, César; Sehgal, Sudarshan K. Introducción a los anillos de grupo . Álgebras y aplicaciones, Volumen 1. Springer, 2002. ISBN 978-1-4020-0238-0
- ^ A. Rogers, La partícula topológica y la teoría de Morse , Clase. Quantum Grav. 17: 3703–3714, 2000 doi : 10.1088 / 0264-9381 / 17/18/309 .
- ^ E Witten, supersimetría y teoría de Morse . J.Diff.Geom.17: 661–692,1982.
- ^ Rowlands, P. Zero to Infinity: The Foundations of Physics , Londres, World Scientific 2007, ISBN 978-981-270-914-1