0% encontró este documento útil (0 votos)
30 vistas31 páginas

Grupos y Homomorfismos en Matemáticas

El documento presenta conceptos fundamentales de teoría de grupos, incluyendo definiciones de grupos, subgrupos y homomorfismos, así como propiedades como la asociatividad, existencia de elementos neutros e inversos. Se discuten ejemplos de grupos abelianos y no abelianos, así como el grupo simétrico y el grupo de Klein. Además, se introducen propiedades asociativas y la notación de potencias de elementos en grupos.

Cargado por

dfp72khynf
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
30 vistas31 páginas

Grupos y Homomorfismos en Matemáticas

El documento presenta conceptos fundamentales de teoría de grupos, incluyendo definiciones de grupos, subgrupos y homomorfismos, así como propiedades como la asociatividad, existencia de elementos neutros e inversos. Se discuten ejemplos de grupos abelianos y no abelianos, así como el grupo simétrico y el grupo de Klein. Además, se introducen propiedades asociativas y la notación de potencias de elementos en grupos.

Cargado por

dfp72khynf
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Tema 1

Grupos, subgrupos y homomorfismos

Def : Un
grupo
es un
conjunto junto a una L C I ..:
. .

Ex G tq se satisfacer
·
Asociatividad : Ex ,
y , z eG , (x y) ·

z = x .

(y .
z)
·
Existencia de elemento neutro : JeeG : ExeG (ex = x.e = x)
·
Existencia de inversos : ExtG ,
SytG : X
y
=
yX
= e

Decimos además que G es abeliano si


satisface :

·
Conmutatividad :
Ex y .
(x y . =
y
- x)

(Q +) CR +) Ce , +) ) CR*, ) (e*, ) de abelianos


(Q*, son
ejemplos grupos
·

, , , , , , ,

Def : Dado E
conjunto ,
Sx
=
:

=Ef : -E 1
fes biyectiva l es el grupo simétrico sobre
Si ne , decimos Su =[f El : :
, -
, n3 =El n3 /f biyectiva 3 de forma que ISul
. -
, ,
= n !

Notación de ciclos Un ciclo (a permutación que traslada los puntos


:
, -
,
am) en Sn ,
man ,
es una

a: -Gi+ , ¿ em
, ambas ,
y deja fijos el resto de elementos
. Los ciclos de un elemento (a) se obviau
.

Tenemos que S2= [ (1) (2) , (1 2) , 3 es abeliano ,


ya que r R:.

Id
Id y

Ahora S3=[Fd ,
(1 2 3) , . ,
(1 1 3 , 21 , (1 , 2) ,
(2 , 3) , (1 , 3) 3 no es abeliano
Por
ejemplo (1 , 3)
· (1 2) = (1 2. 3) (1 2) (1 3) ( 1 3 2)
·

. ,
= , ,
y
, .

Prop : Dado G un
grupo ,
XeG :

·
El neutro de G es único
·
El inverso de x es único

e, neutro
~
Dem :
Sup que fe , est G neutros entonces ,
e, =e, e2 :
es
es neutro

Sean ztG t xy=e Xzze entonces e =


y (x -z) =
(y x) .

z = e z z t
q
=
.
=
y y
·

y
. .
. ·
,
,

Def : X .
x" = x x = e =
16 = 1

Prop Dado : G
grupo , X, ytG :

·
(x-)" = X

y)" y
1
·
(x .
= x

Dem : X x= X 1
13
.
x =

(X)" =X por la unicidad del


.

-
inverso
(x ) x" = Xx)"
- : =

(x .

y) (y X ") · = X .

(y y
-) X" .
= X .
X" = 1
y analogemente (y ix")
.

(x y) = 1 -o
(x y)" =
yx
Va lo
grupo
de Klein) se define como el
grupo
de simetrías que fija un
rectángulo no cuadrado
Vy =
Eld ( 1 ,
. 37 (2 , 4) ,
(1 , 4) (2 3) . , (1 . 2) (3 , 473
T T ↑
reflexión sobre sobre
giro 1800 reflexión
ejex 2
ef Y

Id (1 . 3) (2 4) .
(1 4) (2 , 3)
. (1 2) (3 4)
. ,

Id Id (1. 3) (2 4) .
(1 4) (2,3) , (1 2) (3 , 4)
.

(1 . 3) (2, 4) (1 . 3) (2 4) , Id (1 2) (3 4)
, ,
(1 4)(2 3) ,

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
,

->
Como es simétrica
, V, es aboliano
(1 4)(2 3) (1 2) (3 4) Id
(1 , 4) (2 3) ,
, , , .
(1 3) (2 4)
, ,

(1 , 2) (3 4) , (1 , 2) (3 4) , (1 47 (2
, . 3) (1 37(2 4) , , Id

D8 (o dihédrico de orden 8) el de simetrías de cuadrado


grupo grupo un
es

38=[Id 53 (1 4) (2 , 3)
(132 ejey=x
I .
(1 1 2 3 , , 4) ,
52 , , ~ (1 ,
2) (3 4) .
,
,
3
90° (s)
giro bejey bejex
sobre -x
y
=

Tenemos que (1 . 3) (1 ·

, 2 , 3, 4) = (1 2) (3 4) . , ,
mientras que (1 . 2, 3 . 4) (1 3) ,
= (1 4)(2
. , 3),
aboliano
Luego De no es

Prop :
in : G G
y da : G -- G son
biyectivas
X Lo ax
X
+ Xa

Dem :
Sup .

que ia(x) =
caly) con x,
y
+G ,
entonces ax=ay toa (x) = a
"(ay) (a a)x= (aaly X =
y in inyectiva
Sea zeG consideramos , a"zEG , ialaz) = alaz) = laa")z = z -
a Sobreyectiva , in biyectiva I

Def : Sea G
grupo ,
11 , V : . Denotamos
G UV=Eur (xtH veV3 , .
Si U =
[43 escribimos MV nV= in(V). Notemos
,
=
,
que
entonces U V es .

biyectivo con V
. Si V=203 ,
escribimos UV=Hr =
do (1) ,
y así
elr es
biyectivo con el

Def : Si EG ,
H" = Er" nel3 :

¿ V= V 2 ? Falso en &(123) (12)3 {(123) (133


x .
.

general ,
u= (123) ,
V =
21 (12)3,
-
- nV = ·
1, (123) . =
,

V .

x =
21 ·
(123) , (12) (123) 3 ·
= 2(123) , (23)3

Propiedad asociativa generalizada

Def : Sea G un
grupo , a , -
,
anef. .
Un producto admisible de a, , -
, an es un
producto de la
forma
:

·
a , sin = 1

(a , ar) Carti-au) para cualquier run


(por inducción)
· -

_ ·

El producto n
estándard de a- , an se
define inductivamente :

ai=
3 Si

a64b0469ff35958ef4ab887a898bd50bdfbbe91a-9484061

SÓLO UN APUNTE MÁS: CÓMETE UN TACO.


Tma : Cualquier producto admisible de a, -
, au coincide con el producto estándard de a, -
, au

Dem : Por inducción. El tua cierto n= .


Sup es cierto para productos de elementos de menos de elem.
para
es n
1
que
Sea ren ,
y (aitarl Carti-an) un producto admisible
. Por la HI ,
aiar=ailar (sup . 1) ,
Luego
=[(i) arblari-aulai(farlarau))
=(a)]a
r -
1
Lai -
arl(artian) L

HI i = 1

asociatividad 4n -
r + 1 <n (r c 1)
elem .

aila-aniananai
Sir=1

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
-

, -

Notación : A este producto se le denota ai-au


. Notamos que lai- an)"=ai - - ai

Potencias de elementos

Def Sea G Sea definimos la potencia n-ésima de

I
geG
. nez Si na o
grupo como
: :
y g gG
un ,

jg'sinco
I Si n = 0

Nota Esta definición tiene sentido la asociatividad


generalizada
:
por

Prop Sea G entonces


:
grupo y geG , sear nimeX, :

gign tiene que


(g" g
n+ m -n
en
particular se
·

G
= =
,

particular que (g")" gn


n-m
tiene
(gyn g en
&
=
, se =

Dem : Se comprueban todos los casos según el de mun


signo
.

inverso de
(g")" unicidad del
"
El
gug=g=g° 1
n
en particular" como el es inverso I
g por
= ,
, ,

Nota de elemento múltiplo utiliza notación aditiva


: En (2 , +) ,
la potencia un , se llama
ya que

En Su tomamos ,
g
: (1234) ESu --

g = 1,
g7 = (1234) ,
g2 = (13)(24) ,
g = (1432) ,
g" = 1

Prop : Dado
geSn , se
cumple el ciclo de potencias cada n
multiplicaciones ,
esto es,
g= Id
s = n , Kez

Prop Sea G . Entonces


*
comple
*

(gm=1 n/m)
grupo finito gtG IntI XMEN Es
:
y sea que que .

-) Consideramos el de
potencias positivas de g esto Eg meN 3 G
conjunto
*
Dem : , pero ,
es , : como G es
finito ,

este conjunto +b tiene que serlo


. En
particular podemos encontrar i jtIN*, itj
,
gi gt , con =

~LOG ,
suponemos inj .
Así, de la ecuación anterior, multiplicando ambos lados
por gr obtenemos a
g (gt) gogy- =

:J 7
-

g((gt) -g Consideramos el conjunto :g" 13


*
1. Como isj -si -j *. Ene =
G
-> = = =
.

Además este subconjunto no es vacio ,


dado que ij pertenece a él. Como los naturales con el orden habitual son

bien ordenado comple la propiedad


un
conjunto & +0 ,
E min] .
Llamamos n=minE , veamos que
Como meI la división enclidea
Sea meN *, sup que .

gm=1 ,
queremos ver
que nim
. , man ,
por ,

m =
pn +r con Otran
y peIN Sup . .

por R A que . .
re0 ,
entonces como
gm= 1
-
gPhr (gmP g= .
= 1 .

g -g
=
1#rn= mínimo
Por tanto
, r= 0 n Im 7
L
y

4 Si n /m ,
entonces 5 pe*: m =
pn y gm gi" =
(gn)P
= = 1P = 1 t

Def el orden de denota


: Llamamos a n
g en
G y se olg)
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-9484061

¿RELLENANDO APUNTES?: RELLÉNATE UN TACO.


a64b0469ff35958ef4ab887a898bd50bdfbbe91a-9484061
Subgrupos

SÓLO UN APUNTE MÁS: CÓMETE UN TACO.


Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
Sistemas generadores
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-9484061
Grupos cíclicos

SÓLO UN APUNTE MÁS: CÓMETE UN TACO.


Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-9484061
Teorema de Lagrange

¿RELLENANDO APUNTES?: RELLÉNATE UN TACO.


Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-9484061
Subgrupo normales. Grupo cociente

SUBRAYA ESTO: CÓMETE UN TACO.


Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-9484061

¿RELLENANDO APUNTES?: RELLÉNATE UN TACO.


Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-9484061
Homomorfismos

¿RELLENANDO APUNTES?: RELLÉNATE UN TACO.


Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-9484061
Automorfismos y automorfismos internos

SÓLO UN APUNTE MÁS: CÓMETE UN TACO.


Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
Tema 2
Grupo simétrico y alternado

Def : Sea E
conjunto Definimos [i=Ef -E fbiyectiva
un .
: : el
grupo simétrico sobre E .

A toda función fe six la llamamos permutación de


-

Prop (Siz :
,
o) es
grupo
. Def Sin=Ef
: : N-oI :
f(n+i) = +1 ,
f biyectiva l

Notación :

fg =fog :
y
1: ide

Prop biyectivos E En
&
: Si X e Y son ,

Dem : Es 4 el HM entre ambos


E X
deforma que :
Siz En es
Is
,
11
b1
-

frobfb
y - 4
bfb-

Cordario Si : es finito En Si l .

Kin) =n !

Ciclos

Def Diremos que


:
resin es ciclo si existe Ea au3El -in3t
q
, . .
, -
.

7) Tail Gi+ para OLiK-14) Giaj ViFj


=
,

2) rlak) = a,

3) r(z) = z VzeEl , -
, 1315a . -
, ak3
denotamos
La
longitud del ciclo es
y
lo
long(r) =
Decimos también res
que un -ciclos ,
y
a los 2-ciclos los llamamos trasposiciones

En Ein , Si t(1) = 2, r(2) = 1 , r(3) = 4, r(4) =


3 ,
entonces + no es ciclo

Notación Escribimos los ciclos


: =Cav-
como , an) .

Análogamente se
podría escribir r =
lazian- azl ,

Prop Si : = (a .. -
, ak)Ein ,
entonces r" Car =
, ak-i- , ail

Dem : Tr" (ai) = a : Vick + Or" = 1 [

& rlai)=GiVick -> jt = 1

Proj .
- Sea U = (an- 9k)tEin , .
Entonces :

i
·
C "Cael=Gi+emod(k) Con1iCK

· Cael =
ae

Dem : Trivial

Corolario : Sea Nun k-ciclo ,


entonces G(M) = K .
Descomposición de permutaciones
Conjugación en ∑ₙ

Grupo alternado Aₙ
Simplicidad de Aₙ
Tema 3
Acciones de grupo

Acción de un grupo sobre un conjunto


Def Sea ~ . Se dice
+0 el G actúa sobre e si 7x : GX1 -
e aplicación t
:
que grupo q:
.

·
Vie- (1 * w = m)

(gh) w)
Vwer
Ag beG
(g (hw) +
·
+ =
, ,

Tra : Si Gactúa sobre 1 entonces G


Sir homomorfismo. Llamanos p el homomorfismo representación
p es
:
,

grop(g) : 1 --
R
w +
gu

geG p(y) biyectiva? Comprobamos que plg)"=plg"). En efecto (piglo ply" 11 cm) pig)(p(g")(wi) p(y)(g
Dem : -
Para ,
w) .
= =
* =

=g (g
w)
(gg -) * 1 de la misma
forma (plg") op(g)) (wi=w p(g) tiene inversa es biyectiva plg) E
* = w -
* = = -- -
y
heG entonces
plgh) (w) (gh) * g* (h w) g (p(h)(wi) p(g)(p(h)(wi) homomor fismo L
- Seau T bien def. = w = + =
+ = -

g
. ,

Tma Si p G-Eir es
: HM REQ entonces *: GX1+ e es acción Hr representación p
para
: con
,

(g , w) +o
g
*w : =
p(g)(w)

Dem : - Veamos que es acción .


Seau
g ,
heG wes entonces , ,
g*
(hw) =

g
*
(p) =
p(y)(p(4) in P (h)(1 gh) = +

Además Por tauto, accióne


p(1)(w)(w)
,
1x = = w .
es

- Tenemos así
que
Gactúa sobre 1 ,
luego por el tma ant. . :
G--Ein es sultr
representación, pero precisamente p=p L

g1p(g) : 1 - -
-

rogw 5(g)(m)
w :=

Teorema orbita-estabilizador
De ahora en adelante G actúa sobre 1 mediante *

Def : Sea we 1
. El estabilizador de u se define como Gu :
=EgeGlyw-w3G y
su órbita como Ou : =Egwer/geG3CR

Prop : 1) Vuel
,
GuEG
2) VWE1 ,
Ggw=GGw
3) EOwwer 3 formu una
partición

Dem Gu Sear entonces hw=w h(hw) =h (hh) hwht Gu


Fija g heGu
: 1) Como 1 w (1 =m) ,
.
, ,
to ww = 1w= =

tanto Igh") (h" w)


gh" Gu GuEG
- --

g*
*w = * = = c
y por g
(h + (g * wi) +(g" hg) wghge Gu +he8bw
hegenh(gw) =gwg
2) * =
* =

3)I
=UOu porque weOw .
Vamos
que si Ow IOw *-Ow, Ou Sea zeOn
,
.
,
ROz=g , *,
=gzwz . Veros
G
que
O,

Sea
gwitOu ,,
Como
z=gi w,
g. *z= wi ,
entonces
gw =galgi' *
, z) =
Iggi) *z =

(ggi (gzwi) Iggige)


* = * we -
Guz 7
L

Tma (órbita-Estabilizador) Sea :


we 1 ,
entonces (Owl=1G Gul :

Dem : Definimos 4 biyectiva Sobre : evidente


:
EgGu geb3
Ou - : veamos es
·

,
que .

gw gG
·

Infectiva; Sup G
+ --
I
.
,
=gz* w (gigi) * ww
geg , En

gzbwig Go L Aplicación (-)


-
.
Acción por conjugación
Acción sobre los conjugados de un subconjunto

Acciones de p-grupos
Tema 4
Teoremas de Sylow

Existencia
Tma : Si p4/161 para 10 ,
entonces 5HEG :
1Hl=p"

Dan Razonamos por inducción


:
fuerte sobre 16/

Caso base ,
161=1 : evidente

H . I .:
Sup -

que silG'/c161 y pd/16'l , entonces 7H'2' : IH' = pa para todo d


Paso inductivo :
Sup .
que p1161. Si =0 ,
H=213 .

Sup que . 10 :

·
Si HG :
p/H1 concluimos por H F
,
. .

Si XH1G ,
p"tH1 entonces VHIG IG1=/H1/G : HI P/161 p/IG H1. Por la ecuación de las clases 161 =
172611G Calxi))
·
como : :
, ,
y , , .

Notamos que Co(xi) LG . Por tanto


considerado pl1G
, porque si (a(xi) = G, Xiz(G) ya ,
: Calxi)) ,
Luego plz(6) con 216) abeliano .

Por el tma deCauchy .


para grupos abelianos Jztz(G) : 0(z) p y al ser ,
=
,
un elemento del centro (2 #G .

Consideramos G/z) con1G/z)=1GI Luego por HISH Conh=p . Por el tma ,


de correspondencia = para ,

algun <z) H'G


-
-
(H) =
1
-p --
(H) =
pkL
7

Si 1G1=23 98 entonces .

,
7hi : Ihl=2 ,
Ih=22 ih1=23 IH=5 IHl=S?
, , , - -
1H1=g8
1Aul= 22 3 y HAy 1Hl=2 3 .
. :

Def :
Si 161 =
pim donde ptm ,
un
P-subgrupo de Sylow si /Pl =
p

Def lo denotamos
: El cito . de los
p-subgrupos de Sylow Sylp(G)

Corolario : Sylp(G) + &

Sy(pi (G) 1 Sylpj (6) d con


primos distintos y dados Pun pi-Sylow Q
pjsylow PRQ=213
=
pi pj . , ,
un ,

los ordenes de los elementos tienen cardinal distinto

Maximalidad

Tma : Si PeSylp(G) ,
entonces :

1) PLG

2) Si PEHEG entonces P=H (Pes maximal)


,
Hp-subgrupo ,

Dem : 1) Trivial por def.


2) Sup .

que 7 H p-subgrupo con PEHEG . Como


PeSylg(G) /Pl .
=
p donde 161=ptm ptm Por ,
.

Lagrange IPI/ IH1/16) !


,
7

*
↑ /p"(pim , pop" - H=P
prm

Dominancia y conjugación

Prop : Si PESylp(2)
y Q es un
[Link] ,
si QNo (P) entonces Q =P

Dem : Sup .

que Q=Ng(P) .
Sea xQENg(P) ,
podemos considerar xPENo(PXp (PENG(P)) -- <XP> = NolPl/p
Como G(xP) 10 (X) =
ph (x+Q
p-subgrupo) ,
llamamos (XP21= 0(XP) =
pm donde,
men .
por lo aut
Porel tma de .
correspondencia,
<Ps = / para algún PEHENoP) Por .

Lagrange ,
((xP2) =
1Hyp) --
(H) (XPs)(P) p
= =
p"con16) pin ptn=
,
- - (H) p+ (pk
= -
pk
+
=
p -

-> m =0 -
-
((xPy) = 1 - xP P xxtP
= - + QP7)
Congruencia

Consecuencias
Tema 5
Teoría de anillos

Definición y propiedades

Def : Un aullo es una estructura (R ,


+, 1 doude :

·
R +Q
·

+i : RxR -> &

que satisface :

·
(R + abeliano
,
grupo
·
.

es asociativo
·
alb + c) = ab + ac

(b+ ca = ba + c

El neutro lo llamamos 0 los . En


inversos son-reR
particular +x = nx
para .

y
,
x+ -

Def : Sea Run aullo :

Diremos que
.
es un avillo conmutativo si es conmutativo
Diremos que es un avillo vnitario si tiene neutro al que ,
denotamos 1

(2 + , )
, .
(Q ,
+,)
,
(R +i) (C , . ,
+ , ) son avillos

(Matn(R) +i) es un avillo unitario,,


y
si 2 es no conmutativo
22 es avillo conmutativo no unitario

Prop : Sea Ravillo entonces trise R ,


:

·
0 .
r = r .
0= 0

r( s) -
= ( r)S = -
(rs)
·

(- r)( S) -
= rs

UneIN , Curls = r(ns) = n (rs)


·

Si Runitario , 1=0 sic R = 203

Dem : 1 Demostramos que


. Or=0 , Or = (0+0r = Or+ Or -
Or-Or= Ortor-Or -0 : Or

2
. Demostramos que r(-s) = -
(rs) ,
(rs) + r( s) = r(S-S) = ro = 0 - - r(-s) = -
(rs)

.Demostramos
3 que (r)(-s) =
rs (-r)( S) = (r(-s)) = (rs) rs def de exp dist.
- --
=
-

. . .


4
. UneI , Carls=n(rs) Por inducción sobre . n . Caso base n=0 : ,
(Or)s = Os = 0 = .Paso
Ocrs) inductivo (Lumirs Cur+rs
: =

(urls+rsrs+
=

def. de exp
.

S .)Evidente

-> Sea rer ,


entonces rerro = 0 - r= 2037

Como Or=0+1 si RES03 el O ,


no tiene inverso para
Unidades y divisores de 0

Cuerpos
Subanillos e ideales

Anillos cociente

Homomorfismos
Ideales primos y maximales
Tema 6
Anillos de polinomios

R
Def : Sea un avillo. Un polinomio sobre R
00 K
es una sucesión p=190 .
a . . ac .
-1 tq. . EneIN ,
antR
y
JKEN : an=0 Enck

Escribimos entonces Sianx" Eianx"


p=
=

n =0
n =0

Def : . Devotamos el
Sea Ranillo conjunto de polimomios sobre R como R(x]=
ESanx ISKEIN : an =
0 n>

Def : Sea p=ao + a X+ a(x+-+a,x * ER/X] .


un
polinomio . Llamamos :

at el término de de p
grado t
·
ao el término independiente de p
mónico si aki1
pes
·

Def : Sea
p
: ao+ 9 , X+-+AX"ER(X). Si
po , arto , definimos el grado de p como
S(p)=K. Además llamamos
, a an el

coeficiente director [Link] también 810) .


=-00 Un
polinomio es constante si tiene
grado 0 o es
p
=0
.

Def : Seau pa : bueR Definimos .

patbuypqjnaibj)x
Prop Ravillo Entonces
p geR(x]
: Sea . . .
:

f(p q) = max (f(p) 8(9)3


·
+ .

f(pq) = f(p) + S(q)


Además :

S(pq) f(p) f(q) sii anbuto


·
= +

·
Si Res dominio de
integridad ,
SIpq) Sip + 619)
=

·
Si ant U(R) o butH(R) entonces ·
Glpq)=S(p) +81q)

Dem :
·
Si is max(f(p) . Slq) 3 demostramos
, que el coef del grado.
: de
p+q es
. Tenemos
0
que isS(p) ai = 0

Entonces , a : + bi = 0 .
isf(q) -o bi = 0

el coef del de
Si i>f(p) 6(q) demostramos grado . Tenemos
preso el coef es bi
·
i
+
,
que .
que .

veamos
que si
jtk=i ,
entonces
ajb=0 .
Casos sobre j :

j>S(p) entonces 0 ajbi 0


aj
·
= -- =
,

j2f(p) .
como
+j = ic f(p) f(q) + - k+ S(p)>S(p) + S(q) -

k(S(q) -
bi = 0 -

ajb ,
= 0 1

Tma : Sea Ravillo ,


entonces (R(X) ,
+i) es . Además
anillo ,

·
Si R es conmutativo R(x] también ,

·
Si R es unitario R(X] es unitario
.
con 1eR(X] .
1= (1 , 0, - 1

Dem: Corolario de la . I
propont

Prop : La aplicación 4 R-RIX]: es un homomorfismo de avillos


~ +o (r , 0. 0 . -)

También podría gustarte