|Tona :|.

ELE^E^TOS OE LGEHHA AHSTHACTA

{^otas inconIotas do cIaso)
Incompletas y por tanto, imperfectas
(c) 2013, Juanmiguel Len-Rojas. Esta obra, puedes copiarla y modicarla puedes alterarla, transformarla o crear nuevas obras a partir de ella (obras derivadas), distribuirla y
comunicarla pblicamente y hacer un uso comercial de ella.
Metalicencia Gratuidad Cristiana <http://gratuidadcristiana.blogspot.com/> (metalicencia de Creative Commons CC 0 y CC BY).
Puede alguien pensar que porque seamos ingenieros, no nos
preocupa la belleza o que no intentamos construir estructuras
bellas, slidas y permanentes? No estn las genuinas
funciones de fuerza siempre en coordinacin con condiciones
no escritas de armona?... Adems, existe una atraccin, un
particular encanto en lo colosal al que las teoras ordinarias
del arte no se aplican. Alexandre Gustave Eiffel
(1832-1923). En (en ingls): Remaking the World: Adventures
in Engineering (Henry Petroski, 1998, p. 173).
. Estructuras algebraicas
(v. 0.2.0-alpha0)
1
.:. Loy do conosicin intorna
DcnIcIn.i.-
Sea un conjunto A = . Se entiende por ley de composicin
interna en A a cualquier aplicacin : A A A.
DcnIcIn.z.-
Una operacin n-aria sobre A es una aplicacin de A
n
en A.
Si n = 2 se tiene una operacin binaria, si n = 3 una operacin
ternaria, si n = 4, cuaternaria, etc. Una ley de composicin in-
terna en un conjunto A es una operacin binaria sobre A y
una relacin ternaria sobre A ( vid. supra def. 3.29).
DcnIcIn..-
Dados un conjunto A = y : AA A una operacin bi-
naria sobre A, son frecuentes tres notaciones para el resultado
de operar dos elementos x, y A:
a) prejo: xy o (x, y);
b) injo: x y;
c) sujo o postjo: xy o (x, y).
Para el caso de una operacin n-aria : A
n
A y n ele-
mentos de A, x
1
, x
2
, . . . , x
n
, es similar: prejo: x
1
x
2
. . . x
n
o
(x
1
, x
2
, . . . , x
n
), injo: x
1
x
2
x
n
y postjo: x
1
x
2
. . . x
n

o (x
1
, x
2
, . . . , x
n
).
DcnIcIn.q.-
Dados un conjunto A = y : A
n
A una operacin n-aria
sobre A, se dice que un subconjunto B A es parte estable
de (A; ) o que B es cerrado para , precisamente si:
(x
1
, x
2
, . . . , x
n
B) (x
1
x
2
x
n
B)
DcnIcIn.j.-
Sean un conjunto A = y : A A A una operacin
binaria sobre A. Sean a, b A. Se dice que:
a) a y b son elementos permutables, en A para (o que a
permuta con b, o viceversa), precisamente si a b = b a;
b) a es un elemento central, en A para , precisamente si
permuta con todo elemento de A;
c) el centro de A para , es el conjunto de todos los elementos
centrales de A.
E]cnIo .i.-
Sean los conjuntos N y Z y las aplicaciones + : Z Z Z
(suma de nmeros enteros) y : Z Z Z (diferencia de
nmeros enteros).
a) + y son operaciones binarias sobre Z;
b) su notacin es inja;
c) N es parte estable para + pero no lo es para (x, y
N, x y N, por ejemplo, x = 3, y = 7);
d) cualesquiera dos nmeros naturales o dos nmeros enteros
son permutables para + (+ es conmutativa sobre N y sobre
Z);
e) el nico elemento central en N y en Z para + es el cero (ele-
mento neutro de +), es decir, el centro de N y de Z para +
es {0}. No existen elementos centrales para , ni en N ni
en Z, es decir, el centro de N y de Z para , es .
.z. Estructura aIgoIraica
DcnIcIn.6.-
Se dice que un conjunto A = posee una estructura alge-
braica, precisamente si sobre l se dene un nmero nito de
leyes de composicin, internas o externas
2
. Suele decirse que el
conjunto A es el soporte de la estructura.
OIscrvacIn.i.-
Podramos comparar una estructura algebraica con el esquele-
to humano, considerndolo como la estructura bsica del cuer-
po humano. Si en este momento nos comparamos, apreciare-
mos grandes diferencias entre nosotros, pero si nos pudisemos
comparar dentro de 10,000 aos, nos veramos prcticamente
iguales. Aunque la apariencia externa sea diferente, la estruc-
tura interna es la misma. De igual forma, las estructuras mate-
mticas representan esta semejanza subyacente en situaciones
que aparentemente son distintas. La utilidad de la formaliza-
cin de las estructuras radica en la generalizacin resultante; a
partir de tal formalizacin, se deducen unas propiedades, carac-
tersticas comunes a todos los ejemplos de la misma estructura,
que servirn para demostrar otros hechos (consecuencias). Es-
tos nuevos hechos, se vericarn en cualquier caso particular
de esa misma estructura. Si en el ejemplo del esqueleto decimos
la tibia y el peron estn unidos, no necesitaramos conrmar
de nuevo esto en todas las personas, pues todas tienen la misma
estructura. La idea, por tanto, es que una estructura matem-
tica es una abstraccin de propiedades comunes encontradas en
diversas situaciones.
OIscrvacIn.z.-
En este tema se estudian algunas estructuras bsicas: magma
(grupoide), semigrupo, monoide, grupo, semianillo, anillo, do-
minio de integridad y cuerpo, todas dependientes del concepto
de ley de composicin interna. En temas posteriores se estu-
diarn otras estructuras algebraicas, como espacios vectoria-
les
3
, mdulos
4
o lgebras
5
, dependientes adems del concepto
de ley de composicin externa vid. infra def. 14.1.
.j. ^agna o gruoido
DcnIcIn..-
Sean un conjunto A = y : AA A una operacin bina-
ria en A. En tal caso, se dice que el par (A; ) es un magma
(o grupoide).
DcnIcIn.8.-
Sean (A; ) un magma y a A. Se dice que a es idempotente
(en A para ), precisamente si a a = a.
DcnIcIn.q.-
Sean (A; ) un magma y s A. Se dice que s es:
a) singular o absorbente por la izquierda (en A para ),
precisamente si (a A) (s a = s);
b) singular o absorbente por la derecha (en A para ),
precisamente si (a A) (a s = s);
c) singular o absorbente (en A para ), precisamente si lo
es por la izquierda y por la derecha.
1
Usamos una asignacin de versiones similar al caso del software cfr. http://es.wikipedia.org/wiki/Versin_de_software.
2
Ley de composicin externa, vid. infra def. 14.1.
3
http://es.wikipedia.org/wiki/Espacio_vectorial
4
http://es.wikipedia.org/wiki/Mdulo_(matemtica)
5
http://es.wikipedia.org/wiki/lgebra_sobre_un_cuerpo
1
E]cnIo .z.-
a) Consideremos la interpretacin (N; ):
1) constituye un modelo de magma;
2) existen dos elementos idempotentes: 0 y 1;
3) solo existe un elemento absorbente: 0.
b) Las interpretaciones (N; +), (Z; +), (Z; ), (Z; ), (Q; +),
(Q; ), (Q; ), (Q\{0}; /), (R; +), (R; ), (R; ) y (R\{0}; /)
son modelos de magma.
c) El par (N; ) no es un monoide ( no es una operacin en
N). Tampoco lo son ni (N; /) ni (Z; /) ni (Q; /) ni (R; /).
d) Cualquiera de los conjuntos N, Z, Q y R, con la operacin
binaria mximo, a b = max(a, b), es un modelo de magma.
e) La interpretacin ({33, 77, 99}, ), siendo :
(a, b {33, 77, 99}) (a b = mcd(a, b))
no es un modelo de magma.
.q. Sonigruo
DcnIcIn.io.-
Sea (A; ) un magma. Se dice que es asociativa en A, pre-
cisamente si:
(a, b, c A) ((a b) c = a (b c))
en cuyo caso se dice que (A; ) es un magma asociativo.
DcnIcIn.ii.-
Se dice que (A; ) es un semigrupo, precisamente si es un
magma asociativo.
Tcorcna .i.-
Si (A; ) es un semigrupo, entonces, el centro de A es parte
estable de (A; ).
E]cnIo ..-
a) Las siguientes interpretaciones constituyen modelos de se-
migrupos: (N; +), (N; ), (Z; +), (Z; ), (Q; +), (Q; ), (R; +),
(R; ).
b) Los magmas (Z; ), (Q; ) y (R; ) no son semigrupos,
pues no es asociativa en esos conjuntos (p. ej., 4 =
(1 2) 3 = 1 (2 3) = 2). Tampoco son semigrupos los
magmas (Q \ {0}; /) y (R \ {0}; /).
c) Cualquiera de los conjuntos N, Z, Q y R, con la operacin
binaria mximo, a b = max(a, b), es un modelo de semi-
grupo.
El elemento neutro en N para es 1.
.j. ^onoido
DcnIcIn.iz.-
Sean (A; ) un magma y e A. Se dice que e es:
a) elemento neutro (unidad o identidad) por la izquier-
da (en A para ), precisamente si (a A) (e a = a);
b) elemento neutro (unidad o identidad) por la derecha
(en A para ), precisamente si (a A) (a e = a);
c) elemento neutro, unidad o identidad (en A para ),
precisamente si lo es por la izquierda y por la derecha.
Los elementos distintos del neutro suelen denominarse elemen-
tos no triviales. Un magma (resp., semigrupo) con identidad se
denomina magma unitario (resp., semigrupo unitario).
DcnIcIn.i.-
Se dice que (A; ) es un monoide, precisamente si es un se-
migrupo unitario.
Tcorcna .z.-
Sean (A; ) un monoide y e A el elemento neutro para . Se
satisface que e es:
a) nico: (e

A)((a A)(e

a = a e

= a) e = e

);
b) idempotente: e e = e.
DcnIcIn.iq.-
Sea (A; ) un magma unitario, con identidad e A y sea a A.
Se dice que a es:
a) simetrizable por la izquierda (en A para ), precisamen-
te si (b A) (b a = e), denominndose a b, simtrico por
la izquierda de a;
b) simetrizable por la derecha (en A para ), precisamente
si (b A) (a b = e), denominndose a b, simtrico por la
derecha de a);
c) simetrizable (invertible o neutralizable) (en A para ), pre-
cisamente si lo es a la vez por la izquierda y por la derecha.
En este caso, si (b A) (a b = b a = e), se dice que b es
el elemento inverso (simtrico o elemento neutrali-
zador) de a.
Tcorcna ..-
Si (A; ) es un monoide, entonces, el simtrico de cualquier
elemento simetrizable es nico y el conjunto Sim(A; ) A,
de todos los elementos simetrizables de A, es parte estable de
(A; ).
Tcorcna .q.-
Sea (A; ) un monoide. Si un elemento idempotente es simetri-
zable, entonces su simtrico tambin es idempotente.
DcnIcIn.ij.-
Sean (A; ) un monoide y c A. Se dice que c es:
a) regular o simplicable por la izquierda (en A para ),
precisamente si (a, b A) (c a = c b a = b);
b) regular o simplicable por la derecha (en A para ),
precisamente si (a, b A) (a c = b c a = b);
c) regular o simplicable de en A (en A para ), precisa-
mente si lo es por la izquierda y por la derecha.
Tcorcna .j.-
En un monoide se satisface que el elemento neutro es regular y
que todo elemento simetrizable es regular.
E]cnIo .q.-
a) Los magmas (Z; ), (Q; ) y (R; ) tienen solo identidad
por la derecha.
b) (N; +), (N; ), (Z; +), (Z; ), (Q; +), (Q; ), (R; +) y (R; )
son monoides conmutativos, cuyos elementos neutros son 0,
1, 0, 1, 0, 1, 0 y 1, respectivamente.
c) En (N; +), el nico elemento simetrizable es 0. En (N; ), el
nico elemento simetrizable es 1. En (Z; +), (Q; +), (R; +),
(Q \ {0}; ) y (R \ {0}; ), todos los elementos son simetri-
zables. En (Z; ) los nicos elementos simetrizables son 1 y
1.
d) En (N; +), (Z; +), (Q; +), (R; +), (N \ {0}; ), (Z \ {0}; ),
(Q \ {0}; ) y (R \ {0}; ), todo elemento es regular.
.6. Gruo
DcnIcIn.i6.-
Un monoide (A; ), se dice que es un grupo, precisamente si
todo elemento es simetrizable, esto es, precisamente si existe el
inverso de cualquier elemento:
(a A) (b A) (a b = b a = e)
Tcorcna .6.-
El elemento neutro de un grupo es nico.
Tcorcna ..-
Todo elemento de un grupo tiene un nico inverso. Dicho nico
inverso de a suele representarse por a

.
OIscrvacIn..-
Si la operacin fuese conmutativa a, b A, a b = b a
entonces se dira de la estructura (A; ) que es conmutativa o
abeliana. En este caso, es frecuente representar la operacin
por el smbolo + (aditivamente). En este caso, suele represen-
tarse el neutro por 0 y el inverso de un elemento a por a. El
inverso aditivo de un elemento suele denominarse su opues-
to. Si la operacin se representa por (multiplicativamente),
entonces el neutro se representa por 1 y el inverso de un ele-
mento a por a
1
. El inverso multiplicativo de un elemento suele
denominarse su recproco.
E]cnIo .j.-
a) (N; +) y (N; ) no son grupos.
b) (Z; +) es grupo conmutativo; (Z; ) no es grupo.
c) (Q; ) no es grupo (0 no es simetrizable). (Q; +) y (Q\{0}; )
son grupos conmutativos.
d) (R; ) no es grupo (0 no es simetrizable). (R; +) y (R\{0}; )
son grupos conmutativos.
Tcorcna .8 {AIgunas roIcdadcs).-
Sean (G; ) un grupo. Entonces, se satisface:
a) (a, b G)((a b)

= b

)
b) (a G)((a

= a)
.6.i. SuIgruo
DcnIcIn.i.-
Sean (G; ) un grupo y S G. Se dice que (S; ) es un sub-
grupo del grupo (G; ), precisamente si (S; ) tiene estructura
de grupo.
Tcorcna .q {CaractcrIzacIn dc suIgruo).-
Sean (G; ) un grupo y S A, S = . Entonces, (S; ) es sub-
grupo de (G; ), precisamente si:
(x, y S)(x y

S)
DcnIcIn.i8.-
Dado un grupo (G; ), se denominan subgrupos impropios a
(G; ) y ({e}; ) y subgrupo propio a cualquier otro.
DcnIcIn.iq.-
Sean (G; ) un grupo, (S; ) un subgrupo suyo y a G. Se
denomina clase de G a la izquierda mdulo S al conjunto:
aS = {x G : (s S)(x = a s)}
y clase de G a la derecha mdulo S al conjunto:
Sa = {x G : (s S)(x = s a)}
DcnIcIn.zo.-
Sean (G; ) un grupo (S; ) un subgrupo suyo. Se dice que (S; )
es un subgrupo normal o invariante precisamente si:
(a G)(aS = Sa)
DcnIcIn.zi.-
Se denomina grupo nito a cualquier grupo que conste de un
nmero nito de elementos.
DcnIcIn.zz.-
Se denomina orden de un grupo al nmero de elementos del
grupo.
DcnIcIn.z.-
Sean (G; ) un grupo y a G. Se denomina orden (nito)
del elemento a al menor n N tal que:
(a
n

a = e)
Si no existe tal n N para a G, se dice que a es un elemento
de orden innito.
Tcorcna .io {Tcorcna dc Lagrangc).-
El orden de un grupo nito es mltiplo del orden de cualquier
subgrupo suyo.
DcnIcIn.zq.-
Sean (G; ) un grupo nito y (S; ) un subgrupo suyo. Se deno-
mina ndice de S a:
i(S) =
o(G)
o(S)
OIscrvacIn .q.-
Ntese que debido al teorema de Lagrange, el ndice de cual-
quier subgrupo es un nmero natural.
Tcorcna .ii.-
Sean (G; ) un grupo nito y (S; ) un subgrupo suyo. Entonces:
i(S) = 2 (S; ) es un subgrupo normal
DcnIcIn.zj.-
Sean (G; ) un grupo y S un subconjunto nito de G. Se dice
que (G; ) es un grupo nitamente generado por S preci-
samente si todo elemento de G puede obtenerse como resultado
de la operacin binaria sobre elementos de S o sobre elementos
ya generados. Si S es de cardinal uno, se dice que (G; ) es un
grupo mongeno.
DcnIcIn.z6.-
Se dice que (G; ) es un grupo cclico precisamente si es un
grupo mongeno y nito.
Tcorcna .iz.-
Todo grupo cclico es conmutativo.
E]cnIo .6.-
Sean la gura y el conjunto de rotaciones R =

R
0
, R
/2
, R

, R
3/2

en el plano euclideo E
2
(en sentido anti-
horario, el estndar en matemticas). Estas rotaciones son un
caso particular de transformaciones del plano euclideo, esto es,
de aplicaciones R : E
2
E
2
. Estas rotaciones, aplicadas a
la gura , originan las siguientes transformaciones isom-
tricas por rotacin de la misma (1 columna) si bien tam-
bin mostramos las rotaciones sobre rotaciones (composicin
de rotaciones):
< >
R
0
< >
R
/2
> <
R

< >
R
3/2
< >
Consideremos el conjunto R =

R
0
, R
/2
, R

, R
3/2

y la
operacin binaria , composicin de rotaciones sobre R. Se tie-
ne que (R; ) es un grupo cclico de orden 4 que nicamente
tiene un subgrupo propio.
Resolucin. En efecto, tiene 4 elementos, luego, de ser grupo,
es nito y ese es su orden. Veamos que es grupo. He aqu la
tabla de Cayley de la operacin sobre R:
R
0
R
/2
R

R
3/2
R
0
R
0
R
/2
R

R
3/2
R
/2
R
/2
R

R
3/2
R
0
R

R
3/2
R
0
R
/2
R
3/2
R
3/2
R
0
R
/2
R

a) es asociativa (podran comprobarse todas las tradas, pero

tambin puede razonarse a partir de la asociatividad de la
composicin de aplicaciones, pues las rotaciones son aplica-
ciones)
6
;
b) es conmutativa (la tabla es simtrica respecto de la dia-
gonal principal \);
c) el elemento neutro para en R es R
0
;
d) todo elemento es simetrizable en la tabla, para una ro-
tacin determinada, solo hay que buscar qu otra rotacin
compuesta con ella da el neutro (p. ej., el inverso de R
/2
es R
3/2
porque R
/2
R
3/2
= R
3/2
R
/2
= R
0
).
Adems, es un grupo mongeno, esto es, generado por uno de
sus elementos, concretamente tanto R
/2
como R
3/2
son ca-
paces de generar todo el grupo. Por ejemplo:
R
/2
R
/2
= R

R
/2
R

= R
3/2
R
/2
R
3/2
= R
0
Por tanto, es un grupo cclico de orden 4.
R =

R
0
, R
/2
, R

, R
3/2

y {R
0
} son subgrupos impro-
pios. El nico subgrupo propio es S = {R
0
, R

} (no hay
ms subgrupos propios porque de contener cualquier subgru-
po (S

, ) a R
/2
o a R
3/2
, al ser estos generadores de (R, ),
todas las rotaciones de R estaran en S

.
El que (S, ) sea un subgrupo de (R, ) se deduce del teo-
rema de caracterizacin de subgrupos 7.9, ya que es cierto
que (x, y S)(x y

S), pues S solo tiene dos elemen-

tos, R
0
y R

, siendo ambas sus propios inversos, R

1
0
= R
0
y
R
1

= R

, as que:
x y y

x y

R
0
R

R
0
R

= R

R
0
R
0
R

R
0
= R

6
Ms adelante, se expresar la composicin de rotaciones como producto de matrices, por lo que podr razonarse tambin que la composicin de
rotaciones es asociativa por serlo el producto de matrices.
.. SonianiIIo
DcnIcIn.z.-
Sean A = y y dos operaciones binarias sobre A. Se dice
que es:
a) distributiva por la izquierda respecto de , precisamente
si (a, b, c A)(a (b c) = (a b) (a c));
b) distributiva por la derecha respecto de , precisamente
si (a, b, c A)((a b) c = (a c) (b c));
c) distributiva, precisamente si es distributiva por la izquier-
da y por la derecha.
DcnIcIn.z8.-
Sean A = y y dos operaciones binarias sobre A. Se dice
que (A; , ) tiene estructura de semianillo, precisamente si
(A; ) es monoide abeliano, (A; ) es semigrupo y es distri-
butiva respecto a .
DcnIcIn.zq.-
Se dice que un semianillo (A; , ), es un semianillo abe-
liano o conmutativo, precisamente si es conmutativa, es
decir, precisamente si:
(a, b, c A)(a b = b a)
DcnIcIn.o.-
Un semianillo (A; , ) se dice que es un semianillo unita-
rio, precisamente si (A; ) es monoide.
E]cnIo ..-
Las estructuras (N; +, ), (Z; +, ), (Q; +, ) y (R; +, ), con + y
la suma y producto habituales, son semianillos conmutativos
y unitarios.
.S. AniIIo
DcnIcIn.i.-
Un semianillo (A; , ) se dice que es un anillo, precisamente
si (A; ) es grupo abeliano.
Dicho de otro modo, si A es un conjunto no vaco y y
dos operaciones binarias en A, se dice que la terna (A; , )
es un anillo si se satisface:
a) (A; ) es grupo abeliano;
b) (A; ) es un semigrupo;
c) es distributiva con respecto a , esto es, x, y, z A:
x (y z) = (x y) (x z)

(x y) z = (x z) (y z)
Tcorcna .i.-
En un anillo (A; , ), el elemento neutro de en A es un
elemento singular o absorbente para en A, esto es:
(a A)(e

a = a e

= e

)
DcnIcIn.z.-
En un anillo (A; , ), puede denirse una nueva operacin bi-
naria, la sustraccin o diferencia, que notaremos , como:
a b = a (b)
donde b es el elemento opuesto de b.
DcnIcIn..-
Un anillo (A; , ) se dice que es un anillo unitario, preci-
samente si (A; ) es un monoide.
OIscrvacIn .j.-
En un anillo, el elemento neutro aditivo e

suele notarse por

0. En un anillo unitario, el elemento neutro multiplicativo e

suele notarse por 1.

DcnIcIn.q.-
Sean (A; , ) un anillo y a A. Se dice que a es nilpotente
precisamente si:
(n N
+
)(a
n

a = 0)
DcnIcIn.j.-
Si (A; , ) es un anillo unitario, entonces puede que existan
elementos que tengan inversos multiplicativos, esto es, elemen-
tos a A para los que exista un b A tal que ab = ba = 1.
Estos elementos del anillo que tienen inverso multiplicativo se
denominan unidades del anillo.
E]cnIo .8.-
(Z; +, ), (Q; +, ) y (R; +, ), con + y la suma y producto ha-
bituales, son anillos conmutativos y unitarios.
.8.i. SuIanIIIo
DcnIcIn.6.-
Sean (A; , ) un anillo y S A. Se dice que (S; , ) es
un subanillo del anillo (A; , ), precisamente si (S; , ) es
anillo.
Tcorcna .iq {CaractcrIzacIn dc suIanIIIo).-
Sean (A; , ) un anillo y S A, S = . Entonces, (S; , )
es subanillo de (A; , ), precisamente si:
(x, y S)(x (y) S)

(x, y S)(x y S)
E]cnIo .q.-
Con + y la suma y producto habituales, (Z; +, ) es subanillo
de (Q; +, ) y de (R; +, ) y (Q; +, ) es subanillo de (R; +, ).
.8.z. IdcaI
DcnIcIn..-
Sea (A; , ) un anillo. Se dice que un subgrupo (I; ) de
(A; ) es un:
a) ideal por la izquierda de (A; ), precisamente si x I,
a A, a x I;
b) ideal por la derecha de (A; ), precisamente si x I,
a A, x a I;
c) ideal, precisamente si es un ideal por la izquierda y por la
derecha.
DcnIcIn.8.-
Se dice que el ideal I es un ideal propio precisamente si
I = {0} e I = A.
.q. SonianiIIo o aniIIo do intogridad
DcnIcIn.q.-
Sean (A; , ) un semianillo y x A. Se dice que x es:
a) divisor de cero por la izquierda, precisamente si y =
0, x y = 0;
b) que x es divisor de cero por la derecha, precisamente si
y = 0, y x = 0;
c) divisor de cero, precisamente si es divisor de cero por la
izquierda y por la derecha.
DcnIcIn.qo.-
Un semianillo (resp., anillo) (A; , ), se dice que es un se-
mianillo (resp, anillo) de integridad, precisamente si no
tiene divisores de cero, esto es, precisamente si:
(x, y A)(x y = 0 x = 0 y = 0))
E]cnIo .io.-
Siendo + y la suma y producto habituales, (N; +, ) es un se-
mianillo conmutativo, unitario e ntegro y (Z; +, ), (Q; +, ) y
(R; +, ), son anillos conmutativos, unitarios e ntegros, es de-
cir, si A denota cualquiera de ellos:
(x, y A)(xy = 0 x = 0 y = 0))
.:o. Ooninio do intogridad
DcnIcIn.qi.-
Un anillo de integridad (A; , ), se dice que es un dominio
de integridad, precisamente si (A; ) es monoide abeliano,
esto es, precisamente si es un anillo conmutativo, unitario y
sin divisores de cero.
E]cnIo .ii.-
(Z; +, ), (Q; +, ) y (R; +, ), con + y la suma y producto ha-
bituales, son dominios de integridad esto es, lo que habamos
dicho en el ejemplo 7.10, que son anillos conmutativos, unita-
rios e ntegros.
.::. Cuoro
DcnIcIn.qz.-
Un anillo unitario (A; , ), se dice que es un cuerpo, preci-
samente si (A\ {0}; ) es grupo.
Dicho de otro modo, si A es un conjunto no vaco y y
dos operaciones en A, se dice que la terna (A; , ) es un
cuerpo si se satisface:
a) (A; ) es un grupo abeliano con elemento neutro e;
b) (A \ {0}; ) es un grupo;
c) es distributiva con respecto a : x, y, z A, x(yz) =
(x y) (x z).
Decir que un cuerpo es abeliano o conmutativo equivale a
decir que satisface la conmutativa.
E]cnIo .iz.-
(Q; +, ) y (R; +, ), con + y la suma y producto habituales,
son cuerpos conmutativos
7
.
.ii.i. SuIcucro
DcnIcIn.q.-
Sean (K; , ) un cuerpo y S K. Se dice que (S; , ) es
un subcuerpo del cuerpo (K; , ), precisamente si (S; , )
es cuerpo.
Tcorcna .ij {CaractcrIzacIn dc suIcucro).-
Sean (K; , ) un cuerpo y S K, S = . Entonces, (S; , )
es subcuerpo de (K; , ), precisamente si:
(x, y S)(x (y) S)

(x, y S \ {0})(x y
1
S \ {0}
.ii.z. CaractcrstIca dc un cucro
DcnIcIn.qq.-
Se dice que (K; , ) es un cuerpo de caracterstica p N
si p es el menor natural tal que 1
p
1 = 0. Si no existe tal
p se dice que el cuerpo tiene caracterstica 0.
E]cnIo .i.-
(Q; +, ) y (R; +, ), con + y la suma y producto habituales,
son cuerpos de caracterstica 0.
.:z. Hononorsnos
DcnIcIn.qj.-
Dados dos magmas (X; ) e (Y ; ), se dice que una aplicacin
f : X Y es:
a) un homomorsmo, precisamente si x, y X, f(x y) =
f(x) f(y);
b) monomorsmo, precisamente si f es inyectiva;
c) epimorsmo, precisamente si f es sobreyectiva;
d) isomorsmo, precisamente si f es biyectiva;
e) endomorsmo, precisamente si X = Y ;
f ) automorsmo, precisamente si f es endomorsmo e iso-
morsmo.
Tcorcna .i6.-
Sean (X; ) e (Y ; ) dos magmas y f : X Y un homomor-
smo. Entonces, x X se satisface que:
a) e es el neutro de (X; ) f(e) es el neutro de (Y ; ).
b) x

es el simtrico de x para f(x

) es el simtrico de
f(x) para
c) f se descompone cannicamente como aplicacin que es.
Tcorcna .i.-
La composicin de homomorsmos es un homomorsmo.
Tcorcna .i8.-
Dados dos magmas (X; ) e (Y ; ) y f : X Y un homomor-
smo, se satisface que f(X) = {y Y : x X, f(x) = y} es
parte estable de (Y ; ).
DcnIcIn.q6.-
A la estructura algebraica (f(X); ), se la denomina imagen
homomorfa de (X; ).
.iz.i. Hononorsno dc gruos
DcnIcIn.q.-
Sean (G
1
; ) y (G
2
; ) dos grupos y f : G
1
G
2
una aplicacin.
Se dice que f es un homomorsmo de grupos, precisamente
si lo es como homomorsmo de magmas, esto es, precisamente
si a, b G
1
se satisface:
f(a b) = f(a) f(b)
DcnIcIn.q8.-
Sean (G
1
; ) y (G
2
; ) dos grupos y f : G
1
G
2
un homomor-
smo de grupos. Se denomina ncleo de f, representndose
por ker f, al conjunto:
ker f = {x G
1
: f(x) = e

}
Tcorcna .iq.-
Sean (G
1
; ) y (G
2
; ) dos grupos y f : G
1
G
2
un homomor-
smo de grupos. Entonces, a G
1
se satisface que:
a) e es el neutro de (G
1
; ) f(e) es el neutro de (G
2
; ).
b) x

es el simtrico de x para f(x

) es el simtrico de
f(x) para .
c) (f(G
1
); ) es grupo.
d) f es monomorsmo ker f = {e}.
.iz.z. Hononorsno dc anIIIos
DcnIcIn.qq.-
Sean (A
1
; , ) y (A
2
; , ) dos anillos y f : A
1
A
2
una
aplicacin. Se dice que f es un homomorsmo de anillos,
precisamente si a, b A
1
se satisfacen:
f(a b) = f(a) f(b)
f(a b) = f(a) f(b)
Tcorcna .zo.-
Sean (A
1
; , ) y (A
2
; , ) dos anillos y f : A
1
A
2
un
homomorsmo de anillos. Se satisface que toda imagen (resp.,
contraimagen) de un subanillo de A
1
(resp., A
2
) es un subanillo
de A
2
(resp., A
1
).
DcnIcIn.jo.-
Sean (A
1
; , ) y (A
2
; , ) dos anillos y f : A
1
A
2
un
homomorsmo de anillos. Se denomina ncleo de f, repre-
sentndose por ker f, al subconjunto de A
1
:
ker f = {x A
1
: f(x) = e

}
Se denomina imagen de f, representndose por imf (o por
f(A
1
)) al subconjunto de A
2
:
imf = {y A
2
: x A
1
, f(x) = y}
Tcorcna .zi.-
Sean (A
1
; , ) y (A
2
; , ) dos anillos y f : A
1
A
2
un
homomorsmo de anillos. Se satisface que ker f es un ideal de
(A
1
; , ) y que imf es un subanillo de (A
2
; , ).
Tcorcna .zz.-
Sean (A
1
; , ) y (A
2
; , ) dos anillos. Se satisface:
a) f : A
1
A
2
es monomorsmo ker f = {e

};
b) f : A
1
A
2
es epimorsmo imf = A
2
.
.iz.. Hononorsno dc cucros
DcnIcIn.ji.-
Sean (K
1
; , ) y (K
2
; , ) dos cuerpos y f : K
1
K
2
una
aplicacin. Se dice que f es un homomorsmo de cuerpos,
precisamente si lo es como homomorsmo de anillos.
.:j. Ejorcicios

.i .- . . .
Resolucin.
.:q. ^onIros roios
. . .
Ms nombres propios y biografas, en:
http://www-groups.dcs.st-andrews.ac.uk/
~history/
http://plato.stanford.edu/
. . .
.:j. Iara saIor ns
General:
Springer y la European Mathematical Society (2012) Ency-
clopedia of Mathematics. Disponible en: http://www.
encyclopediaofmath.org/index.php/Main_Page
7
En realidad, se puede demostrar que (Q; +, ) es el menor cuerpo que extiende al anillo (Z; +, ), estando determinado nicamente salvo isomorsmo.
De manera similar, puede completarse cualquier anillo de integridad (generando su cuerpo de cocientes).
. . .
Qumica:
Ernesto de Jess Alcaiz. Teora de grupos aplicada
a la simetra. Disponible en: http://www2.uah.es/
edejesus/resumenes/DECI/tema_1.pdf
. . .
.:6. Andico: Lo Isico on G^l Octavo
. . .