Articulo álgebra Abstracta

Anillos euclidianos.

*Facultad de Ciencias Físico Matemáticas, Universidad Autónoma de Nuevo León, San Nicolás de los Garza, Nuevo León.

(Mayo 17, 2012)

Resumen

Los anillos son un tipo de estructura algebraica bi-operacional, lo que significa, que poseen definidas dos operaciones, las que comúnmente se conocen como adición y multiplicación. En el presente artículo se muestran algunas de las definiciones y resultados fascinantes sobre los anillos euclidianos. Se define un anillo euclidiano, un anillo de ideales principales, cuándo se dice que un elemento a divide a b, un máximo común divisor, un elemento unidad, elementos asociados en un anillo conmutativo, elemento primo en un anillo euclidiano y primos relativos en un anillo euclidiano. Se presentan también el teorema de factorización única, entre otros teoremas y lemas importantes basados en anillos euclidianos.

Palabras clave: Anillo conmutativo, Anillo euclidiano, ideales principales, elemento unitario, elemento unidad, elemento primo, primos relativos, teorema de factorización única.

Euclidean rings.

Abstract

The rings are a type of algebraic structure bi-operational, which means, they have defined two operations, which commonly are known as addition and multiplication. In this paper, we present some definitions and fascinating results on Euclidean rings. We define a Euclidean ring, a ring of principal ideals, when we say that an element a divides b, a greatest common divisor, a unit element, associated elements in a commutative ring, a element prime in a Euclidean ring and relatively prime in a Euclidean ring. They also have the unique factorization theorem, among other important theorems and lemmas based on Euclidean rings.

Keywords: Ring commutative, Euclidean ring, principal ideals, unitary element, identity element, prime element, relatively prime, unique factorization theorem.

1. Introducción.

La clase de anillos que ahora nos proponemos estudiar esta sugerida con varios ejemplos (el anillo de los enteros, los enteros gaussianos y los anillos de polinomios) la definición de esta clase de anillos está diseñada para incorporar en ella ciertas características sobresalientes de los tres ejemplos concretos que acabamos de mencionar.

De la familia de todos los anillos, algunos subfamilias tiene interés e importancia particular, por su relación en la aritmética o en la geometría, por ejemplo el anillo de enteros y de polinomios k(x). En estos anillos existe una noción de divisibilidad y un algoritmo de la división. Muchos resultados y conceptos relacionados con las ideas de divisibilidad, factorización, número primo, etc. de enteros son comunes a estos anillos.

2. Anillos euclidianos, divisibilidad y el teorema de factorización única.

Definición 1. Un dominio entero R se dice que es un anillo euclidiano si ∀ a≠0 en R está definido un entero no negativo d(a) tal que:

Para cualesquiera a,b ∈R, ambos distintos de cero, d(a)≤d(ab).

Para cualesquiera a,b ∈R, ambos distintos de cero, existen t,r ∈R tales que a=tb+r, donde r=0 o d(r)<d(b).

No asignamos valor alguno a d(0). Los enteros sirven como un ejemplo de anillo euclidiano, donde d(a)= |a|, actúa como la función que la definición requiere.

Teorema 1. Sea R un anillo euclidiano y A un ideal de R. Entonces existe un elemento a_(0 )∈A tal que A consiste exactamente en todos los a_(0 ) x para x∈R cualquiera.

Demostración.

Si A consiste solamente en el elemento 0, para a_0=0 la afirmación del teorema se verifica.

Supongamos que:

A≠(0)

luego que;

∃ a≠0 ϵ A

Como d toma solo valores enteros no negativos, entonces es posible escoger

a_(0 )∈A tal que d(a_0) sea mínimo

Supongamos que

a_(0 )∈A

Por las propiedades de anillos euclidianos;

⟹∃ t,r ∈R / a=ta_0+r donde r=0 o d(r)<d(a_0).

Como a_(0 )∈A y A es ideal de R,

⟹ta_0 ϵ A

Si combinamos esto con que a_ ∈A;

⟹ a-ta_0∈A; pero r=a-ta_0, de donde r_ ∈A

Si r≠0,

⟹d(r)<d(a_0)

⟹'ℶ'〖 a〗_0 ϵ A

⟹r=0 y a=ta_0.

∎

Introducimos la notación (a)={xa/x∈R} para representar al ideal de todos los múltiplos de a.

Definición 2. Un dominio entero R con elemento unidad es un anillo de ideales principales si todo ideal A en R es de la forma A=(a) para algún a∈R.

Una vez que establezcamos que un anillo euclidiano tiene elemento unitario, en virtud del teorema 1, sabremos que un anillo euclidiano es un anillo de ideales principales. Lo recíproco, sin embargo es falso; hay anillos de ideales principales que no son anillos euclidianos.

Corolario 1 al teorema 1. Un anillo euclidiano posee un elemento unitario.

Demostración.

Sea R un anillo euclidiano y como R es ciertamente un ideal de R,

Por el teorema 1.

⟹ R=(u_o) para algún u_0∈R.

Luego ∀c ϵ R es un múltiplo de u_o;

⟹u_o=u_0 c para algún c∈R

Si a∈R,

⟹a=xu_o para algún x∈R

de donde:

ac=(xu_o )c=x(u_0 c)=xu_o=a

⟹c es el elemento unitario.

∴ Un anillo euclidiano posee un elemento unitario.

∎

Definición 3. Si a≠0 y b están en un anillo conmutativo R, entonces a se dice que divide a b si existe un c∈R tal que b=ac. Usaremos el símbolo a|b para representar el hecho de que a divide a b y a∤b para indicar que a no divide a b.

Observación 1:

Si a|b y b|c, entonces a|c

Si a|b y a|c, entonces a|(b±c).

Si a|b entonces a|bx ∀x∈R

Definición 4. Si a,b,c∈R entonces d∈R se dice que es un máximo común divisor de a y b

si:

d|a y d|b.

Siempre que c|a y c|b, entonces c|d.

Usaremos la notación d=(a,b) para indicar que d es un máximo común divisor de a y b.

Lema 1. Sea R un anillo euclidiano. Entonces cualesquiera dos elementos a y b en R tienen un máximo común divisor d. Además d=λa+μb para algunos λ,μ∈R

Demostración.

Sea A={ra+sb:r,s∈R} un ideal de R.

Supongamos que x,y∈A

⇒x=r_1 a+s_1 b y y=r_2 a+s_2 b

⇒x±y=(r_1±r_2 )a+(s_1±s_2)b

Por tanto x±y∈A

Análogamente tenemos para u∈R que

ux=u(r_1 a+s_1 b)

⇒ ux=ur_1 a+〖us〗_1 b

Luego, por asociatividad ux=(ur_1 )a+(us_1 )b

Por tanto ux∈A

Como A es un ideal de R,

⇒∃d∈A tal que todo

...