Grupos y Homomorfismos en Matemáticas
Grupos y Homomorfismos en Matemáticas
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
·
Conmutatividad :
Ex y .
(x y . =
y
- x)
, , , , , , ,
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 !
a: -Gi+ , ¿ em
, ambas ,
y deja fijos el resto de elementos
. Los ciclos de un elemento (a) se obviau
.
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
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 =
-
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
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 :
general ,
u= (123) ,
V =
21 (12)3,
-
- nV = ·
1, (123) . =
,
V .
x =
21 ·
(123) , (12) (123) 3 ·
= 2(123) , (23)3
Def : Sea G un
grupo , a , -
,
anef. .
Un producto admisible de a, , -
, an es un
producto de la
forma
:
·
a , sin = 1
_ ·
El producto n
estándard de a- , an se
define inductivamente :
ai=
3 Si
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-9484061
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.
-
, -
Potencias de elementos
I
geG
. nez Si na o
grupo como
: :
y g gG
un ,
jg'sinco
I Si n = 0
G
= =
,
inverso de
(g")" unicidad del
"
El
gug=g=g° 1
n
en particular" como el es inverso I
g por
= ,
, ,
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
(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 ,
~LOG ,
suponemos inj .
Así, de la ecuación anterior, multiplicando ambos lados
por gr obtenemos a
g (gt) gogy- =
:J 7
-
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 : Sea E
conjunto Definimos [i=Ef -E fbiyectiva
un .
: : el
grupo simétrico sobre E .
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 ,
frobfb
y - 4
bfb-
Cordario Si : es finito En Si l .
Kin) =n !
Ciclos
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
Análogamente se
podría escribir r =
lazian- azl ,
Prop Si : = (a .. -
, ak)Ein ,
entonces r" Car =
, ak-i- , ail
Proj .
- Sea U = (an- 9k)tEin , .
Entonces :
i
·
C "Cael=Gi+emod(k) Con1iCK
· Cael =
ae
Dem : Trivial
Grupo alternado Aₙ
Simplicidad de Aₙ
Tema 3
Acciones de grupo
·
Vie- (1 * w = m)
(gh) w)
Vwer
Ag beG
(g (hw) +
·
+ =
, ,
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)
g
*
(p) =
p(y)(p(4) in P (h)(1 gh) = +
- 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
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 =
,
que .
gw gG
·
Infectiva; Sup G
+ --
I
.
,
=gz* w (gigi) * ww
geg , En
Acciones de p-grupos
Tema 4
Teoremas de Sylow
Existencia
Tma : Si p4/161 para 10 ,
entonces 5HEG :
1Hl=p"
Caso base ,
161=1 : evidente
H . I .:
Sup -
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 , , .
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)
Maximalidad
Tma : Si PeSylp(G) ,
entonces :
1) PLG
*
↑ /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
·
R +Q
·
que satisface :
·
(R + abeliano
,
grupo
·
.
es asociativo
·
alb + c) = ab + ac
(b+ ca = ba + c
y
,
x+ -
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
·
0 .
r = r .
0= 0
r( s) -
= ( r)S = -
(rs)
·
(- r)( S) -
= rs
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
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
n =0
n =0
Def : . Devotamos el
Sea Ranillo conjunto de polimomios sobre R como R(x]=
ESanx ISKEIN : an =
0 n>
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
patbuypqjnaibj)x
Prop Ravillo Entonces
p geR(x]
: Sea . . .
:
·
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 :
j2f(p) .
como
+j = ic f(p) f(q) + - k+ S(p)>S(p) + S(q) -
k(S(q) -
bi = 0 -
ajb ,
= 0 1
·
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