Sub Anillo S

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 15

Esp.

Matemtica computacin e informtica

Algebra ii

UNIVERSIDAD NACIONAL DE HUANCAVELICA


Facultad de Educacin
E.A.P. Matemtica Computacin e Informtica

Tema: SUBANILLOS
CTEDRA

algebra ii

CATEDRTICO: Lic. ANTEZANA IPARRAGUIRRE; Regulo P.


INTEGRANTES:
:
:

CICLO

SOTO YALLI, Javier


VILA PALOMINO, Heber

IX

Huancavelica, agosto de 2013 Per

Esp. Matemtica computacin e informtica

Algebra ii

Esp. Matemtica computacin e informtica

Algebra ii

Esp. Matemtica computacin e informtica

Algebra ii

Esp. Matemtica computacin e informtica

Algebra ii
SUBANILLOS
CONCEPTO
Sea (A, +, .) un anillos, un subanillo de (A, +, .) es una parte no vacia de A que tiene estructura de
anillo con las mismas leyes de composicin.
DEFINICIN:
El subconjunto no vaco NA es un subanillo de (A, +, .) si y solo si (N, +) es subgrupo de (A, +), y
adems N es cerrado para el producto.
Resulta obvio que una parte no vaco NA es un subanillo de (A, +, .) si y solo si para todo par de
elementos a A y b A se verifica a-bA y a.bA.
Ejemplo:
Sea aZ, entonces el conjunto de todos los mltiplos enteros de a
N={K.a/Kz}
Es un subanillo de (Z, +, .)
En efecto, si xN yN, entonces x=K.a y=K`.a
Luego
x-y=K.a - K`.a=(K-K`)a=K.a
Es decir
x-yN
Por otra parte
xN yN x=K.a y=K`.a x.y=(K.a.K).ax.y=K.ax.yN

Esp. Matemtica computacin e informtica

Algebra ii

Esp. Matemtica computacin e informtica

Algebra ii

Esp. Matemtica computacin e informtica

Algebra ii
Ejercicios resueltos
1

En todo anillo A, el conjunto A y el 0 son subanillos, llamados subanillos triviales. Los


dems subanillos se llaman propios

Z es subanillo de Q, de R y de C.

Los mltiplos nZ de un entero n forman un subanillo sin unidad de Z.

Demostrar que la interseccin de dos subanillos del anillo (A,+,.) es un subanillo


Solucin:
i

0 A1 0 A 2 0 A1 A 2 A 1 A 2

ii

A1 A A2 A A1 A2 A

iii

a A 1 A2 b A1 A2 a+ b A 1 a+ b A2 a+b A 1 A 2

Esto prueba que (


iv

A1 A2

,+) es sub grupo de (A,+)

El producto es ley interna en A, pues


a A 1 A2 b A 1 A 2 ab A 1 ab A 2 a b A1 A 2 .
La asociatividad y distributividades se verifican por ser

A1 A2 A .

Demostrar que el conjunto de los elementos de un anillo A que permutan con un


elemento a de dicho anillo es un subanillo de A.
Solucin:
i

El conjunto dado ser de la forma:

S={ x Ax . a=a . x (a A)}

Esp. Matemtica computacin e informtica

Algebra ii
ii

Para que un subconjunto de A sea subanillo debe cumplir:

Esp. Matemtica computacin e informtica

Algebra ii

Esp. Matemtica computacin e informtica

Algebra ii
x , y S x y S x . y S
iii

Demostramos el apartado 1) Vamos a considerar el elemento (x - y) de A.


Tenemos:

( x y ) . a=x .a y . a=a. xa. y=a(x y )

iv

Puesto que el elemento (x y) permuta con a, podemos decir que (x y)


pertenece al conjunto S. Demostramos el apartado 2) Consideramos el elemento
xy de A. Tenemos:

( x . y ) .a=x . ( y . a )=x . ( a. y )= ( x . a ) . y =( a . x ) . y=a .(x . y )

Puesto que el elemento (xy) permuta con a, podemos decir que (xy) pertenece al
conjunto S. Segn todo lo visto, podemos decir que el conjunto S es un subanillo
de (A, +, )

Demostrar que Z [ i ]= { a+b|a , b } Z } es un subanillo del cuerpo de los nmeros


complejos. Calcular el grupo de elementos invertibles de este dominio de integridad.
Solucin:
i

En primer lugar ntese que Z[i] es un subanillo de C: en efecto,

( a+bi ) ( c +di )=( a c ) + ( c d ) i Z [ i ] ; ( a+bi )( c +di ) :

( acbd ) + ( ad +bc ) i Z [ i ] ; 1=1+ 0 i Z [ i ] .

Esp. Matemtica computacin e informtica

Algebra ii
ii

Esp. Matemtica computacin e informtica

Algebra ii

Esp. Matemtica computacin e informtica

Algebra ii
Tambin, ntese que es un DI
l cu

( Z [ i ] ) a que es un subani c +di Z [ i ] lo de

( a+bi ) ( c +di )=( acbd )+ ( ad+ bc ) i=1

( acbd )=1,ad +bc=0


iii

Debemos resolver este sistema entero, o tambin, atacar el problema de la


siguiente manera:
c +di2 =c 2+ d 2 , ( a 2+ b2 ) ( c 2+ d 2 )=1
a+bi 2=a2 +b 2 ,
, en los enteros la nica posibilidad

a2 +b 2=1, c2 + d2 =1 , luego se tienen las siguientes opciones:

es que:

a=0, b= 1, a= 1, b=0

iv

Por lo tanto (Z [ i ] ) ={1,1, i,i} veamos a que grupo es isomorfo.

Entonces

(Z [ i ] ) Z 4
2

(Z [ i ] ) :(1) =1,i =1,i =1, i =i

Esp. Matemtica computacin e informtica

Algebra ii

BIBLIOGRAFIA:
Rojo, A.(1996) Algebra I. Buenos Aires: Edit. El ateneo.

También podría gustarte