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 [Link].
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=[Link]
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.
