En la rama del álgebra abstracta conocida como teoría de anillos , una unidad de un anillo es cualquier elemento que tiene un inverso multiplicativo en : un elemento tal que
- ,
donde 1 es la identidad multiplicativa . [1] [2] El conjunto de unidades U ( R ) de un anillo forma un grupo bajo multiplicación.
Con menos frecuencia, el término unidad también se usa para referirse al elemento 1 del anillo, en expresiones como anillo con una unidad o anillo de unidad , y también, por ejemplo , matriz de "unidad" . Por esta razón, algunos autores llaman 1 "unidad" o "identidad", y dicen que R es un "anillo con unidad" o un "anillo con identidad" en lugar de un "anillo con una unidad".
Ejemplos de
La identidad multiplicativa 1 y su inverso aditivo -1 son siempre unidades. De manera más general, cualquier raíz de la unidad en un anillo R es una unidad: si r n = 1 , entonces r n - 1 es un inverso multiplicativo de r . En un anillo distinto de cero , el elemento 0 no es una unidad, por lo que U ( R ) no se cierra bajo la suma. Un anillo R en el que cada elemento distinto de cero es una unidad (es decir, U ( R ) = R - {0} ) se llama anillo de división (o campo sesgado). Un anillo de división conmutativa se llama campo . Por ejemplo, el grupo de unidades del campo de números reales R es R - {0 }.
Enteros
En el anillo de los números enteros Z , las únicas unidades son 1 y -1 .
El anillo de números enteros en un campo numérico puede tener más unidades en general. Por ejemplo, en el anillo Z [1 + √ 5/ 2] que surge al unir el entero cuadrático 1 + √ 5/ 2a Z , uno tiene
- ( √ 5 + 2) ( √ 5 - 2) = 1
en el anillo, por lo que √ 5 + 2 es una unidad. (De hecho, el grupo unitario de este anillo es infinito. [ Cita requerida ] )
De hecho, el teorema de la unidad de Dirichlet describe la estructura de U ( R ) con precisión: es isomorfa a un grupo de la forma
dónde es el grupo (finito, cíclico) de raíces de unidad en R y n , el rango del grupo unitario es
dónde son el número de incrustaciones reales y el número de pares de incrustaciones complejas de F , respectivamente.
Esto recupera el ejemplo anterior: el grupo unitario de (el anillo de enteros de) un campo cuadrático real es infinito de rango 1, ya que.
En el anillo Z / n Z de enteros módulo n , las unidades son las clases de congruencia (mod n ) representados por números enteros primos entre sí a n . Constituyen el grupo multiplicativo de números enteros módulo n .
Polinomios y series de potencias
Para un anillo conmutativo R , las unidades del anillo polinomial R [ x ] son precisamente esos polinomios
tal que es una unidad en R , y los coeficientes restantesson elementos nilpotentes , es decir, satisfacenpara algunos N . [3] En particular, si R es un dominio (no tiene divisores cero ), entonces las unidades de R [ x ] de acuerdo con los de R . Las unidades del anillo de la serie power son precisamente esas series de potencias
tal que es una unidad en R . [4]
Anillos de matriz
El grupo unitario del anillo M n ( R ) de n × n matrices sobre un anillo R es el grupo GL n ( R ) de matrices invertibles . Para una conmutativa anillo R , un elemento A de M n ( R ) es invertible si y sólo si el determinante de A es invertible en R . En ese caso, A −1 viene dado explícitamente por la regla de Cramer .
En general
Para los elementos de x y y en un anillo R , si es invertible, entonces es invertible con la inversa . [5] La fórmula para la inversa se puede adivinar, pero no probar, mediante el siguiente cálculo en un anillo de series de potencias no conmutativas:
Consulte la identidad de Hua para obtener resultados similares.
Grupo de unidades
Las unidades de un anillo R forman un grupo U ( R ) bajo la multiplicación, el grupo de unidades de R .
Otras notaciones comunes para U ( R ) son R ∗ , R × y E ( R ) (del término alemán Einheit ).
Un anillo conmutativo es un anillo local si R - U ( R ) es un ideal máximo .
Resulta que si R - U ( R ) es un ideal, entonces es necesariamente un ideal máximo y R es local, ya que un ideal máximo es disjunto de U ( R ) .
Si R es un campo finito , entonces U ( R ) es un grupo cíclico de orden.
La formulación del grupo de unidades define un functor U de la categoría de anillos a la categoría de grupos :
cada homomorfismo de anillo f : R → S induce un homomorfismo de grupo U ( f ): U ( R ) → U ( S ) , ya que f mapea unidades a unidades.
Este funtor tiene un adjunto izquierdo que es la construcción del anillo de grupo integral . [6]
El esquema de grupo es isomorfo al esquema de grupo multiplicativo sobre cualquier base, por lo que para cualquier anillo conmutativo R , los grupos y son canónicamente isomorfos a . Tenga en cuenta que el functor (es decir, ) es representable en el sentido: para anillos conmutativos R (esto, por ejemplo, se sigue de la relación adjunta mencionada anteriormente con la construcción del anillo de grupo). Explícitamente esto significa que hay una biyección natural entre el conjunto de homomorfismos de anilloy el conjunto de elementos unitarios de R (en contraste, representa el grupo aditivo , el functor olvidadizo de la categoría de anillos conmutativos a la categoría de grupos abelianos).
Asociación
Suponga que R es conmutativa. Elementos r y s de R se llamanasociar si existe una unidaduenRtal que r = us ; luego escribe r ∼ s . En cualquier anillo, pares deinverso aditivoelementos [A] x y- x sonasociado. Por ejemplo, 6 y -6 son asociado en Z . En general,~es unarelación de equivalenciaenR.
Associatedness también puede ser descrito en términos de la acción de U ( R ) en R a través de la multiplicación: Dos elementos de R están asociados si están en la misma U ( R ) - órbita .
En un dominio integral , el conjunto de asociados de un elemento distinto de cero tiene la misma cardinalidad que U ( R ) .
La relación de equivalencia ~ se puede ver como una de las relaciones verdes del semigrupo especializados a la multiplicativo semigrupo de un anillo conmutativo R .
Ver también
- Unidades S
- Localización de un anillo y un módulo
Notas
- ^ x y - x no son necesariamente distintos. Por ejemplo, en el anillo de números enteros módulo 6, uno tiene 3 = −3 aunque 1 ≠ −1 .
Citas
- ^ Dummit y Foote 2004 .
- ^ Lang 2002 .
- ↑ Watkins (2007 , Teorema 11.1)
- ↑ Watkins (2007 , Teorema 12.1)
- ^ Jacobson , 2009 , sección 2.2. Ejercicio 4.
- ^ Ejercicio 10 en § 2.2. de Cohn, Paul M. (2003). Más álgebra y aplicaciones (Ed. Revisada de álgebra, 2ª ed.). Londres: Springer-Verlag . ISBN 1-85233-667-6. Zbl 1006.00001 .
Fuentes
- Dummit, David S .; Foote, Richard M. (2004). Álgebra abstracta (3ª ed.). John Wiley e hijos . ISBN 0-471-43334-9.
- Jacobson, Nathan (2009). Álgebra básica 1 (2ª ed.). Dover. ISBN 978-0-486-47189-1.
- Lang, Serge (2002). Álgebra . Textos de Posgrado en Matemáticas . Springer . ISBN 0-387-95385-X.
- Watkins, John J. (2007), Temas de la teoría del anillo conmutativo , Princeton University Press, ISBN 978-0-691-12748-4, MR 2330411