Está en la página 1de 6

[Tema ]. ELEMENTOS DE ÁLGEBRA ABSTRACTA (Notas incompletas de clase)

Incompletas y por tanto, imperfectas

(c) 2013, Juanmiguel León-Rojas. Esta obra, puedes copiarl a y modificarla —puedes alterarla, transformarla o crear nuevas obras a partir de ella (obras derivadas)—, distribuirla y comunicarla públicamente 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, sólidas y permanentes? ¿No están las genuinas funciones de fuerza siempre en coordinación con condiciones no escritas de armonía? Además, existe una atracción, un particular encanto en lo colosal al que las teorías ordinarias del arte no se aplican» . Alexandre Gustave Eiffel (1832 - 1923 ). En (en inglés): Remaking the World: Adventures in Engineering (Henry Petroski, 1998, p. 173).

. Estructuras algebraicas

(v. 0.2.0-alpha0) 1

.. Ley de composición interna

Definición ..- Sea un conjunto A = . Se entiende por ley de composición interna en A a cualquier aplicación : A × A −→ A . Definición ..- Una operación n -aria sobre A es una aplicación de A n en A. Si n = 2 se tiene una operación binaria , si n = 3 una operación ternaria , si n = 4 , cuaternaria , etc. Una ley de composición in- terna en un conjunto A es una operación binaria sobre A —y una relación ternaria sobre A ( vid. supra def. 3.29)—. Definición ..- Dados un conjunto A = y : A × A −→ A una operación bi- naria sobre A, son frecuentes tres notaciones para el resultado de operar dos elementos x, y A:

a) prefijo: xy o (x, y );

b) infijo : x y ;

c) sufijo o postfijo: xy o (x, y ).

Para el caso de una operación n -aria : A n −→ A y n ele-

mentos de A, x 1 ,x 2 ,

(x 1 ,x 2 ,

n o

,x n , es similar: prefijo : x 1 x 2

x

x

n

,x

n ), infijo : x 1 x 2 ∗· · · ∗ x n y postfijo : x 1 x 2

o

Definición ..-

Dados un conjunto A = y : A n −→ A una operación 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 ).

(x 1 ,x 2 ,

,x

n B ) (x 1 x 2 ∗ · · · ∗ x n B )

Definición ..- Sean un conjunto A = y : A × A −→ A una operación 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.

Ejemplo ..- Sean los conjuntos N y Z y las aplicaciones + : Z × Z −→ Z (suma de números enteros) y : Z × Z −→ Z (diferencia de números enteros).

a) + y son operaciones binarias sobre Z;

b) su notación es infija;

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 números naturales o dos números 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 .

.. Estructura algebraica

Definición ..- Se dice que un conjunto A = posee una estructura alge- braica, precisamente si sobre él se define un número finito de leyes de composición, internas o externas 2 . Suele decirse que el conjunto A es el soporte de la estructura. Observación ..- Podríamos comparar una estructura algebraica con el esquele- to humano, considerándolo como la estructura básica del cuer- po humano. Si en este momento nos comparamos, apreciare- mos grandes diferencias entre nosotros, pero si nos pudiésemos comparar dentro de 10 ,000 años, nos veríamos prácticamente iguales. Aunque la apariencia externa sea diferente, la estruc- tura interna es la misma. De igual forma, las estructuras mate- máticas representan esta semejanza subyacente en situaciones que aparentemente son distintas. La utilidad de la formaliza- ción de las estructuras radica en la generalización resultante; a partir de tal formalización, se deducen unas propiedades, carac- terísticas comunes a todos los ejemplos de la misma estructura, que servirán para demostrar otros hechos (consecuencias). Es- tos nuevos hechos, se verificarán en cualquier caso particular de esa misma estructura. Si en el ejemplo del esqueleto decimos «la tibia y el peroné están unidos», no necesitaríamos confirmar 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 abstracción de propiedades comunes encontradas en

diversas situaciones. Observación ..- En este tema se estudian algunas estructuras básicas: magma (grupoide), semigrupo , monoide , grupo , semianillo , anillo , do- minio de integridad y cuerpo , todas dependientes del concepto de ley de composición interna. En temas posteriores se estu- diarán otras estructuras algebraicas, como espacios vectoria- les 3 , módulos 4 o álgebras 5 , dependientes además del concepto de ley de composición externa vid. infra def. 14.1—.

.. Magma o grupoide

Definición ..- Sean un conjunto A = y : A × A −→ A una operación bina- ria en A. En tal caso, se dice que el par (A; ) es un magma (o grupoide). Definición ..- Sean (A; ) un magma y a A. Se dice que a es idempotente (en A para ), precisamente si a a = a . Definición ..- 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 asignación de versiones similar al caso del software — cfr. http://es.wikipedia.org/wiki/Versión_de_software.

2 Ley de composición externa, vid. infra def. 14.1.

Ejemplo ..-

a) Consideremos la interpretación (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 ; +),

(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 operación en

(Z; ), (Z; · ), (Q ; +),

(Z; +),

N ). Tampoco lo son ni (N ; / ) ni (Z; / ) ni (Q ; / ) ni (R ; / ).

d) Cualquiera de los conjuntos N , Z, Q y R , con la operación binaria máximo, a b = m´ax(a, b ), es un modelo de magma.

e) La interpretación ( { 33 , 77 , 99 } , ), siendo :

( a, b ∈ { 33 , 77 , 99 } ) (a b no es un modelo de magma.

.. Semigrupo

= mcd(a, b ))

Definición ..- 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 . Definición ..- Se dice que (A; ) es un semigrupo, precisamente si es un magma asociativo. Teorema ..-

Si (A; ) es un semigrupo, entonces, el centro de A es parte estable de (A; ). Ejemplo ..-

a) Las siguientes interpretaciones constituyen modelos de se- migrupos: (N ; +), (N ; · ), (Z; +), (Z; · ), (Q ; +), (Q ; · ), (R ; +),

b)

(R ; · ).

Los magmas (Z; ),

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 } ; / ).

(Q ; ) y (R ; ) no son semigrupos,

c) Cualquiera de los conjuntos N , Z, Q y R , con la operación binaria máximo, a b = m´ax(a, b ), es un modelo de semi- grupo.

El elemento neutro en N para · es 1 .

.. Monoide

Definición ..- 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 ). Definición ..- Se dice que (A; ) es un monoide, precisamente si es un se- migrupo unitario. Teorema ..- Sean (A; ) un monoide y e A el elemento neutro para . Se satisface que e es:

a) único: (e A)((a

b) idempotente: e e = e .

Definición ..- Sea (A; ) un magma unitario, con identidad e A y sea a A. Se dice que a es:

A)(e a = a e = a ) e =

e );

si ( b A) (a b = e ), denominándose a b , simétrico 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 (simétrico o elemento neutrali- zador) de a . Teorema ..- Si (A; ) es un monoide, entonces, el simétrico de cualquier elemento simetrizable es único y el conjunto Sim (A; ) A, de todos los elementos simetrizables de A, es parte estable de (A; ). Teorema ..- Sea ( A; ) un monoide. Si un elemento idempotente es simetri- zable, entonces su simétrico también es idempotente. Definición ..- Sean ( A; ) un monoide y c A. Se dice que c es:

a) regular o simplificable por la izquierda (en A para ), precisamente si (a, b A) ( c a = c b a = b );

b) regular o simplificable por la derecha (en A para ), precisamente si (a, b A) ( a c = b c a = b );

c) regular o simplificable de en A (en A para ), precisa- mente si lo es por la izquierda y por la derecha.

Teorema ..-

En un monoide se satisface que el elemento neutro es regular y que todo elemento simetrizable es regular. Ejemplo ..-

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 \

(Q \ { 0 } ; · ) y (R \ { 0 } ; · ), todo elemento

.. Grupo

{ 0 } ; · ), (Z \ { 0 } ; · ), es regular.

Definición ..- 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 ) Teorema ..- El elemento neutro de un grupo es único. Teorema ..- Todo elemento de un grupo tiene un único inverso. Dicho único inverso de a suele representarse por a . Observación ..- Si la operación fuese conmutativa a, b A, a b = b a — entonces se diría de la estructura ( A; ) que es conmutativa o abeliana. En este caso, es frecuente representar la operación por el símbolo + (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 operación 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 recíproco. Ejemplo ..-

a) simetrizable por la izquierda (en A para ), precisamen-

a)

(N ; +) y (N ; · ) no son grupos.

te si ( b A) (b a = e ), denominándose a b , simétrico por

b)

(Z;

+) es grupo conmutativo; (Z; · ) no es grupo.

la izquierda de a ;

c)

(Q ; · ) no es grupo (0 no es simetrizable). (Q ; +) y (Q \{ 0 } ; · )

b) simetrizable por la derecha (en A para ), precisamente

son grupos conmutativos.

d) (R ; · ) no es grupo (0 no es simetrizable). (R ; +) y (R \{ 0 } ; · ) son grupos conmutativos.

Teorema . (Algunas propiedades).- Sean (G; ) un grupo. Entonces, se satisface:

a) G)((a b ) = b a )

(a, b

b) G)((a ) = a )

(a

... Subgrupo

Definición ..-

Sean (G; )

grupo del grupo (G; ), precisamente si (S ; ) tiene estructura

de grupo.

Teorema . (Caracterización de subgrupo).-

= . Entonces, (S ; ) es sub-

grupo de (G; ), precisamente si:

(x, y S )(x y S )

Definición ..- Dado un grupo (G; ), se denominan subgrupos impropios a (G; ) y ({ e } ; ) y subgrupo propio a cualquier otro. Definición ..-

Sean (G; ) un grupo y S A, S

un grupo y S G. Se dice que (S ; ) es un sub-

Sean (G; ) un grupo, (S ; ) un subgrupo suyo y a G. Se denomina clase de G a la izquierda módulo S al conjunto:

aS

= { x G : (s S )(x = a s )}

y clase de G a la derecha módulo S al conjunto:

Sa = { x G : (s S )(x = s a )} Definición ..- Sean (G; ) un grupo (S ; ) un subgrupo suyo. Se dice que (S ; ) es un subgrupo normal o invariante precisamente si:

(a G)(aS = Sa )

Definición ..- Se denomina grupo finito a cualquier grupo que conste de un número finito de elementos. Definición ..- Se denomina orden de un grupo al número de elementos del grupo. Definición ..- Sean (G; ) un grupo y a G. Se denomina orden (finito) del elemento a al menor n N tal que:

n

(a ∗ · · · ∗ a = e ) Si no existe tal n N para a G, se dice que a es un elemento de orden infinito. Teorema . (Teorema de Lagrange).- El orden de un grupo finito es múltiplo del orden de cualquier subgrupo suyo. Definición ..- Sean (G; ) un grupo finito y (S ; ) un subgrupo suyo. Se deno- mina índice de S a: i(S ) = o(G)

o(S )

Observación ..- Nótese que debido al teorema de Lagrange, el índice de cual- quier subgrupo es un número natural. Teorema ..- Sean (G; ) un grupo finito y (S ; ) un subgrupo suyo. Entonces:

i(S ) = 2 (S ; ) es un subgrupo normal Definición ..- Sean (G; ) un grupo y S un subconjunto finito de G. Se dice que (G; ) es un grupo finitamente generado por S preci- samente si todo elemento de G puede obtenerse como resultado de la operación binaria sobre elementos de S o sobre elementos ya generados. Si S es de cardinal uno, se dice que (G; ) es un grupo monógeno. Definición ..- Se dice que (G; ) es un grupo cíclico precisamente si es un grupo monógeno y finito.

Teorema ..- Todo grupo cíclico es conmutativo. Ejemplo ..- Sean la figura 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 estándar en matemáticas). 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 figura , originan las siguientes transformaciones isomé- tricas por rotación de la misma (1ª columna) —si bien tam- bién mostramos las rotaciones sobre rotaciones (composición de rotaciones)—:

∨ < ∧ > R 0 ∨ < ∧ > > ∧ < ∨ R
<
>
R 0
<
>
>
<
R π/ 2
R π
<
>
<
>
R 3π/ 2

conjunto R = R 0 ,R π/ 2 ,R π ,R 3π/ 2 y la

operación binaria , composición de rotaciones sobre R . Se tie-

ne que (R ; ) es un grupo cíclico de orden 4 que únicamente tiene un subgrupo propio.

Resolución. En efecto, tiene 4 elementos, luego, de ser grupo, es finito y ese es su orden. Veamos que es grupo. He aquí la tabla de Cayley de la operación sobre R :

Consideremos el

◦ R R R R 0 π/ 2 π 3π/ 2 R 0 R R
R
R
R
R
0
π/
2
π
3π/
2
R 0
R
R
R
R
0
π/
2
π
3π/
2
R π
R 0
R π/
2
R π/ 2
R 3π/ 2
R π
R π
R 0
R 3π/ 2
R π/ 2
R 0
R π
R 3π/ 2
R 3π/ 2
R π/ 2

a) es asociativa (podrían comprobarse todas las tríadas, pero también puede razonarse a partir de la asociatividad de la composición de aplicaciones, pues las rotaciones son aplic a- ciones) 6 ;

b) es conmutativa (la tabla es simétrica 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- tación determinada, solo hay que buscar qué otra rotación 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 )—.

Además, es un grupo monógeno, 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 cíclico 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 más 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 estarían en S .

El que (S, ) sea un subgrupo de (R, ) se deduce del teo-

rema de caracterización de subgrupos —7.9—, ya que es cierto

que (x, y

= R 0 y

R

tos, R 0 y R π , siendo ambas sus propios inversos, R

S )(x y S ), pues S solo tiene dos elemen-

0

1

1

π R π , así que:

=

x

y

y

x y R 0 R π =

 

R 0

R π

R

π

R

π

R π

R 0

R 0

R π R 0 = R π

R π R 0 R 0 R π ◦ R 0 = R π 6 Más

6 Más adelante, se expresará la composición de rotaciones com o producto de matrices, por lo que podrá razonarse también qu e la composición de rotaciones es asociativa por serlo el producto de matrices.

.. Semianillo

Definición ..- 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. Definición ..- 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 . Definición ..-

un semianillo abe-

Se dice que un semianillo (A; , ), es

liano o conmutativo, precisamente si es conmutativa, es decir, precisamente si:

(a, b, c A)(a b = Definición ..-

Un semianillo (A; , ) se dice que es un semianillo unita- rio, precisamente si (A; ) es monoide. Ejemplo ..-

estructuras (N ; + , · ), (Z; + , · ), (Q ; + , · ) y (R ; + , · ), con + y

· la suma y producto habituales, son semianillos conmutativos

y unitarios.

.. Anillo

Las

b a )

Definición ..- 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 vacío 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 )

Teorema ..- 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 ) Definición ..- En un anillo (A; , ), puede definirse una nueva operación bi- naria, la sustracción o diferencia, que notaremos , como:

a b = a (b ) donde b es el elemento opuesto de b . Definición ..- Un anillo (A; , ) se dice que es un anillo unitario, preci- samente si (A; ) es un monoide. Observación ..- 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 . Definición ..- Sean (A; , ) un anillo y a A. Se dice que a es nilpotente precisamente si:

(n N + )(a ⊗ · · · ⊗ a = 0) Definición ..- 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 a b = b a = 1 . Estos elementos del anillo que tienen inverso multiplicativo se denominan unidades del anillo.

n

Ejemplo ..- (Z; + , · ), (Q ; + , · ) y (R ; + , · ), con + y · la suma y producto ha- bituales, son anillos conmutativos y unitarios. ... Subanillo Definición ..- Sean (A; , ) un anillo y S A. Se dice que (S ; , ) es un subanillo del anillo (A; , ), precisamente si (S ; , ) es anillo. Teorema . (Caracterización de subanillo).- 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 )

Ejemplo ..- Con + y · la suma y producto habituales, (Z; + , · ) es subanillo de (Q ; + , · ) y de (R ; + , · ) y (Q ; + , · ) es subanillo de (R ; + , · ). ... Ideal Definición ..- 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.

Definición ..- Se dice que el ideal I es un ideal propio precisamente si I = { 0 } e I = A.

.. Semianillo o anillo de integridad

Definición ..- 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. Definición ..- 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)) Ejemplo ..- 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))

.. Dominio de integridad

Definición ..- 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. Ejemplo ..- (Z; + , · ), (Q ; + , · ) y (R ; + , · ), con + y · la suma y producto ha-

bituales, son dominios de integridad —esto es, lo que habíamos

dicho en el ejemplo 7.10, que son anillos conmutativos, unit a- rios e íntegros—.

.. Cuerpo

Definición ..- 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 vacío 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 (y z ) =

(x y ) (x z ).

Decir que un cuerpo es abeliano o conmutativo equivale a decir que satisface la conmutativa. Ejemplo ..-

(Q ; + , · ) y (R ; + , · ), con + y · son cuerpos conmutativos 7 . ... Subcuerpo Definición ..- Sean (K ; , ) un cuerpo y S

un subcuerpo del cuerpo (K ; , ), precisamente si (S ; , )

la suma y producto habituales,

K . Se dice que (S ; , ) es

es cuerpo.

Teorema . (Caracterización de subcuerpo).- 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 } ... Característica de un cuerpo Definición ..- Se dice que (K ; , ) es un cuerpo de característica p N

p

si p es el menor natural tal que 1 ⊕ · · · ⊕ 1 = 0 . Si no existe tal

p se dice que el cuerpo tiene característica 0 .

Ejemplo ..- (Q ; + , · ) y (R ; + , · ), con + y · la suma y producto habituales, son cuerpos de característica 0 .

.. Homomorfismos

Definición ..- Dados dos magmas (X ; ) e (Y ; ), se dice que una aplicación

f : X Y es:

a) un homomorfismo, precisamente si x, y X, f (x y ) = f (x) f (y );

b) monomorfismo, precisamente si f es inyectiva;

c) epimorfismo, precisamente si f es sobreyectiva;

d) isomorfismo, precisamente si f es biyectiva;

e) endomorfismo, precisamente si X = Y ∧ ∗ ≡ ◦ ;

f ) automorfismo, precisamente si f es endomorfismo e iso- morfismo. Teorema ..-

y f : X Y un homomor-

Sean (X ; ) e (Y ; ) dos magmas

fismo. Entonces, x X se satisface que:

si a, b G 1 se satisface:

f (a b ) = f (a ) f (b )

Definición ..- Sean (G 1 ; ) y (G 2 ; ) dos grupos y f : G 1 G 2 un homomor- fismo de grupos. Se denomina núcleo de f , representándose por ker f , al conjunto:

ker f = {x G 1 : f (x) = e }

Teorema ..- Sean (G 1 ; ) y (G 2 ; ) dos grupos y f : G 1 G 2 un homomor- fismo 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 simétrico de x para ∗ ⇒ f (x ) es el simétrico de f (x) para .

c) (f (G 1 ); ) es grupo.

d) f es monomorfismo ker f = { e } .

... Homomorfismo de anillos

Definición ..-

Sean (A 1 ; , ) y (A 2 ; , ) dos anillos y f : A 1 A 2 una aplicación. Se dice que f es un homomorfismo de anillos, precisamente si a, b A 1 se satisfacen:

f

(a

b ) =

f (a ) f (b )

f

(a

b ) = f (a )

f (b )

Teorema ..- Sean (A 1 ; , ) y (A 2 ; , ) dos anillos y f : A 1 A 2 un homomorfismo 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 ). Definición ..-

dos anillos y f : A 1 A 2 un

homomorfismo de anillos. Se denomina núcleo de f , repre- sentándose por ker f , al subconjunto de A 1 :

ker f = { x A 1 : f (x) = e }

Se denomina imagen de f , representándose por im f (o por

f (A 1 )) al subconjunto de

im f = {y A 2 : x A 1 ,f (x) = y } Teorema ..- Sean (A 1 ; , ) y (A 2 ; , ) dos anillos y f :

homomorfismo de anillos. Se satisface que ker f es un ideal de (A 1 ; , ) y que im f es un subanillo de (A 2 ; , ). Teorema ..- Sean (A 1 ; , ) y (A 2 ; , ) dos anillos. Se satisface:

a) f : A 1 A 2 es monomorfismo ker f = { e } ;

b) f : A 1 A 2 es

... Homomorfismo de cuerpos Definición ..- Sean (K 1 ; , ) y (K 2 ; , ) dos cuerpos y f : K 1 K 2 una aplicación. Se dice que f es un homomorfismo de cuerpos,

A 1 A 2 un

Sean (A 1 ; , ) y (A 2 ; , )

A 2 :

epimorfismo im f = A 2 .

a) e es el neutro de (X ; ) f (e ) es el neutro de (Y ; ).

b) x es el simétrico de x para ∗ ⇒ f (x ) es el simétrico de precisamente si lo es como homomorfismo de anillos.

f (x) para

c) f se descompone canónicamente como aplicación que es.

Teorema ..- La composición de homomorfismos es un homomorfismo. Teorema ..-

Dados dos magmas (X ; ) e (Y ; ) y f : X Y un homomor- fismo, se satisface que f (X ) = { y Y : x X, f (x) = y } es parte estable de (Y ; ). Definición ..-

A la estructura algebraica (f (X ); ), se la denomina imagen

homomorfa de (X ; ). ... Homomorfismo de grupos

.. Ejercicios

✄ . .- ✂ ✁
. .-

Resolución.

.. Nombres propios

. Más nombres propios y biografías, en:

.

.

.

.

.

.. Para saber más

◦ . . . .. Para saber más Definición ..- Sean ( G 1 ; ∗

Definición ..- Sean (G 1 ; ) y (G 2 ; ) dos grupos y f : G 1 G 2 una aplicación.

General:

Springer y la European Mathematical Society (2012) Ency- clopedia of Mathematics. Disponible en: http://www. encyclopediaofmath.org/index.php/Main_Page

Se

dice que f es un homomorfismo de grupos, precisamente

si

lo es como homomorfismo de magmas, esto es, precisamente

7 En realidad, se puede demostrar que (Q; +, ·) es el menor cuerpo que extiende al anillo (Z; +, ·), estando determinado únicamente salvo isomorfismo. De manera similar, puede completarse cualquier anillo de integridad (generando su cuerpo de cocientes).

.

.

.

Química :

Ernesto de Jesús Alcañiz . Teoría de grupos aplicada a la simetría. Disponible en: http://www2.uah.es/

.

.

.

.. Apéndice: Lo básico en GNU Octave

.

.

.