En álgebra abstracta, un elemento de un anillo es primo si satisface una condición similar a la establecida por el lema de Euclides.
Si R es un anillo conmutativo, un elemento p de R es primo si
p no es el elemento cero
p no es una unidad
Cada vez que p divida a un producto ab, entonces necesariamente divide a alguno de los dos factores: p divide a a o p divide a b.
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
La definición usual de número primo estable 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:
R es un anillo conmutativo, un elemento q de R es irreducible si para cualquier factorización q=ab entonces alguno de los dos factores es una unidad del anillo.
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
"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
John B. Fraleigh (2002). A First Course of Abstract Algebra(en inglés) (7a edición). Addison-Wesley. ISBN9780201763904.
Michael Artin (1991). «Factorization». Algebra(en inglés). Prentice Hall. ISBN0130047635.
David S. Dummit; Richard M. Foote (2004). Abstract Algebra(en inglés) (3a edición). Wiley. ISBN0471433349.
I. Martin Isaacs (2009). Algebra. American Mathematical Society. ISBN9780821847992.|fechaacceso= requiere |url= (ayuda)
Datos:Q240651
Enero 17, 2023
elemento, primo, álgebra, abstracta, elemento, anillo, primo, satisface, condición, similar, establecida, lema, euclides, anillo, conmutativo, elemento, primo, elemento, cero, unidad, cada, divida, producto, entonces, necesariamente, divide, alguno, factores, . En algebra abstracta un elemento de un anillo es primo si satisface una condicion similar a la establecida por el lema de Euclides Si R es un anillo conmutativo un elemento p de R es primo si p no es el elemento cero p no es una unidad Cada vez que p divida a un producto ab entonces necesariamente divide a alguno de los dos factores p divide a a o p divide a b 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 tambien 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 numeros enteros pues si 2 divide a s t entonces s o t es par sino de lo contrario el producto seria 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 lt 5 1 m lt 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 asi 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 condicion que el ideal principal generado por el elemento p sea un ideal primo distinto de cero Relacion con elementos irreducibles EditarLa definicion usual de numero primo estable que es aquel que solo tiene por factores a si mismo y a la unidad Esta condicion se generaliza en teoria de anillos en el concepto de elemento irreducible R es un anillo conmutativo un elemento q de R es irreducible si para cualquier factorizacion q ab entonces alguno de los dos factores es una unidad del anillo Un elemento no nulo y no invertible de un anillo se llama irreducible si sus unicos divisores son los elementos invertibles del anillo y sus propios asociados 2 Ejemplo 3 es irreducible en Z ya que sus unicos divisores son 1 1 3 3 Sin embargo en un dominio de factorizacion unica ambos conceptos son equivalentes un elemento primo es irreducible y viceversa Sin embargo dicha relacion no es valida 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 factorizacion unica De ahi sigue el TFA 3 Citas y referencias Editar Curso de algebra Vol I de Abramo Hefez 2001 Lima ISBN 9972 9394 1 3 pag 80 Ibidem pag 78 Ibidem pp 82 y 83Bibliografia EditarJohn B Fraleigh 2002 A First Course of Abstract Algebra en ingles 7a edicion Addison Wesley ISBN 9780201763904 Michael Artin 1991 Factorization Algebra en ingles Prentice Hall ISBN 0130047635 David S Dummit Richard M Foote 2004 Abstract Algebra en ingles 3a edicion Wiley ISBN 0471433349 I Martin Isaacs 2009 Algebra American Mathematical Society ISBN 9780821847992 fechaacceso requiere url ayuda Datos Q240651 Obtenido de https es wikipedia org w index php title Elemento primo amp oldid 141248233, wikipedia, wiki, leyendo, leer, libro, biblioteca,