Ir al contenido

Nilpotente

De Wikipedia, la enciclopedia libre

En matemática, un elemento x de un anillo R se dice que es nilpotente si existe algún entero positivo n tal que xn = 0.

Ejemplos

[editar]
es nilpotente porque A³ = 0. Ver matriz nilpotente para mayor detalle.
  • Suponemos que dos elementos a, b de un anillo no conmutativo R satisfacen ab=0. Entonces, el elemento c=ba es nilpotente (si es no nulo) ya que c²=(ba)²=b(ab) a=0. Un ejemplo con matrices sería:
Vemos que .

Propiedades

[editar]

Ningún elemento nilpotente puede ser una unidad (excepto en el anillo trivial {0} en el que únicamente existe un único elemento 0 = 1). Todos los elementos nilpotentes son divisores de cero.

Una matriz cuadrada n dimensional A con elementos en un cuerpo es nilpotente si y solo si su polinomio característico es Tn, lo cual sucede si y solo si An = 0.

Los elementos nilpotentes de un anillo conmutativo forman un ideal; este hecho es consecuencia del teorema del binomio. Este ideal es el nilradical del anillo. Cada elemento nilpotente de un anillo conmutativo está contenido en todo ideal primo del anillo, y de hecho la intersección de todos los ideales primos es el nilradical.

Si x es nilpotente, entonces 1 − x es una unidad, porque xn = 0 implica

(1 − x) (1 + x + x² + ... + xn−1) = 1 − xn = 1.

Nilpotencia en física

[editar]

Un operador que satisface es nilpotente. El BRST charge es un ejemplo muy importante en física.

Como que los operadores lineales forman una álgebra asociativa y por tanto un anillo, éste es un caso especial de la definición inicial. En general, desde el punto de vista de la definición anterior, un operador Q es nilpotente si existe nN tal que Qn=o (la función cero). En consiguiente, una aplicación lineal es nilpotente si y solo si está definida por una matriz nilpotente en alguna base. Otro ejemplo es la derivada exterior (otra vez con n=2). Ambas están relacionadas, a través de la supersimetría y la teoría de Morse, como fue demostrado por Edward Witten.

El campo electromagnético de una onda plana sin fuentes es nilpotente cuando se expresa en el lenguaje de la álgebra del espacio físico.

Referencias

[editar]
  • E Witten, Supersymmetry and Morse theory. J.Diff.Geom.17:661-692,1982.
  • A. Rogers, The topological particle and Morse theory, Class. Quantum Grav. 17:3703-3714,2000.