Summary
En álgebra abstracta, un elemento de un anillo es primo si satisface una condición similar a la establecida por el lema de Euclides.
|
O condensando: Un elemento k no nulo y no invertible de un anillo R se llama primo, si cada vez que k divide al producto de dos elementos de R, también divide uno de sus factores. Se ve que si a es primo, entonces todo asociado de a es primo.[1]
Ejemplos:
- 2 es primo en el conjunto de los números enteros, pues si 2 divide a s×t, entonces s o t es par, sino de lo contrario el producto sería impar.
- 5 es primo en el conjunto ℤ de los enteros. Sea que 5 divide a s×t. Por otra parte, se asume que s =5j+m, t = 5k+l, donde 1≤l<5, 1≤m<5 luego st = 5(5jk+jl+km) +ml, de modo que 5 divide a ml . Lo que implica, debido a la desigualdades incluyentes a l y m, que ml = 0; luego m= 0 o bien l=0; y así 5 divide a s o 5 divide a t.
- 8 no es primo en Z, pues 8 divide a 4×6 y no divide a 4, tampoco a 6.
Esto es equivalente a la condición que el ideal principal generado por el elemento p sea un ideal primo distinto de cero.
Relación con elementos irreducibles
editarLa definición usual de número primo establece que es aquel que sólo tiene por factores a sí mismo y a la unidad. Esta condición se generaliza en teoría de anillos en el concepto de elemento irreducible:
|
Un elemento no nulo y no invertible de un anillo se llama irreducible si sus únicos divisores son los elementos invertibles del anillo y sus propios asociados.[2] Ejemplo 3 es irreducible en Z, ya que sus únicos divisores son 1, -1, 3, -3.
Sin embargo, en un dominio de factorización única ambos conceptos son equivalentes (un elemento primo es irreducible y viceversa). Sin embargo, dicha relación no es válida en general.
En un dominio principal, todo elemento irreducible es primo.
En Z un elemento es primo sii es irreducible.
El anillo de los enteros es un dominio de factorización única. De ahí sigue el TFA[3]
Citas y referencias
editar- ↑ "Curso de álgebra. Vol. I" de Abramo Hefez ( 2001) Lima, ISBN 9972-9394-1-3 pág.80
- ↑ Ibídem pág 78
- ↑ Ibídem pp 82 y 83
Bibliografía
editar- John B. Fraleigh (2002). A First Course of Abstract Algebra (en inglés) (7a edición). Addison-Wesley. ISBN 9780201763904.
- Michael Artin (1991). «Factorization». Algebra (en inglés). Prentice Hall. ISBN 0130047635.
- David S. Dummit; Richard M. Foote (2004). Abstract Algebra (en inglés) (3a edición). Wiley. ISBN 0471433349.
- I. Martin Isaacs (2009). Algebra. American Mathematical Society. ISBN 9780821847992.
Datos: Q240651
