UNIVERSIDAD NACIONAL AUTNOMA DE MXICO

FACULTAD DE INGENIERA

APUNTES DE LGEBRA

PROF. ING. ALICIA PINEDA RAMREZ

Apuntes de lgebra

LGEBRA

BIBLIOGRAFA

1. Bell E.T.
Historia de las Matemticas, Fondo de cultura econmica, 1995

2. Rees, Paul K.
lgebra, Revert, 2000

3. Solar G., Eduardo y Speziale, Leda

lgebra I, Editorial Limusa, 2004

4. Solar G., Eduardo y Speziale, Leda

Apuntes de lgebra Lineal, Editorial Limusa, 1999

5. Barrera G. Francisco, y Castaeda de I.P. Erick

Cuaderno de ejercicios de lgebra, Facultad de Ingeniera UNAM, 1994

6. Godnez C, Hctor y Herrera C., Abel

lgebra Lineal, teora y ejercicios, Facultad de Ingeniera 1987

CAPTULOS:
1.
2.
3.
4.
5.
6.
7.

Introduccin al lgebra
Formalizacin de los nmeros reales
Nmeros complejos
Polinomios
Sistemas de ecuaciones lineales
Matrices y determinantes
Estructuras algebraicas.
2

Apuntes de lgebra

2. Formalizacin de los nmeros reales.

2.1 Nmeros naturales, (N).
Estos nmeros se utilizan para contar y estrictamente no incluyen el cero (0). Estos nmeros
sirven para designar la cantidad de elementos que tiene un conjunto y se llama cardinal de
dicho conjunto. Los nmeros naturales son infinitos y el conjunto de todos ellos se designa
por N.
Adems de cardinales (para contar), los nmeros naturales son ordinales, pues sirven para
ordenar los elementos de un conjunto: 1 (primero), 2 (segundo)
Los nmeros naturales se pueden sumar y multiplicar y el resultado de esas operaciones, es
tambin, un nmero natural. Sin embargo, no ocurre lo mismo con la resta y la divisin.

Postulados de Peano:
El conjunto N de los nmeros naturales es tal que:
i)
ii)
iii)
iv)
v)

1 N
Para cada n N existe un nico n* N, llamado el siguiente de n.
Para cada n N se tiene que n* 1
Si m, n N y m* = n*, entonces m = n
Todo subconjunto S de N que tenga las propiedades: 1 S, k S implica que k* S,
es el mismo conjunto N.

Estos postulados son suficientes para deducir, a partir de ellos, todas las propiedades de los
nmeros naturales. El v) es un postulado conocido como principio de induccin que indica
que se puede alcanzar cualquier nmero natural partiendo del uno y recorriendo los
siguientes hasta llegar al nmero natural deseado.
Los postulados de Peano establecen las propiedades intrnsecas de los nmeros naturales,
otras propiedades son algebraicas:

ADICIN EN N.
Definicin:
i)
ii)

n + 1 = n*, para todo n N

n + m* = (n+m)*, siempre que n+m est definido.

Para sumar n + m se deben recorrer m nmeros naturales consecutivos a partir de n.

Apuntes de lgebra

La adicin en los naturales cumple las siguientes propiedades.

Teorema:
Para todo m,n,p N:
i)
ii)
iii)
iv)

m+n N
m + (n + p) = (m+n) + p
m+n=n+m
si m+p= n+p, entonces m = n

Cerradura
Asociatividad
Conmutatividad
Cancelacin

MULTIPLICACIN EN N.
Definicin:
i)
ii)

n 1= n
n m* = (n m ) + n

Y satisface las propiedades del siguiente teorema:

Teorema:
Para todo m, n, p N:
i)
ii)
iii)
iv)

mn N
m (n p) = (m n) p
mn=nm
Si m p= n p entonces m = n

Cerradura
Asociatividad
Conmutatividad
Cancelacin.

Uniendo las operaciones de adicin y multiplicacin satisfacen la ley de distributividad.

Teorema:
Para todo m, n, p N
m (n + p) = (m n) + (m p)
Orden en N
Como los nmeros naturales sirven para expresar cantidades, es necesario definir la relacin
menor que en N. Se dice por ejemplo que 3 es menor que 5 dado que existe un nmero
natural 2, tal que al sumarlo al 3 se llega al 5. Por lo que se llega a la siguiente definicin.

Definicin:

Apuntes de lgebra

Dados dos nmeros naturales n y m, se dice que n es menor que m, lo que se representa
mediante n<m, si: x N tal que n+x = m.
Los nmeros naturales satisfacen la siguiente propiedad. Ley de tricotoma.

Teorema:
Si m y n son nmeros naturales cualesquiera, entonces se verifica una y slo una de las
siguientes proposiciones:
i)
ii)
iii)

n<m
n=m
m<n

Y representados grficamente, los nmeros naturales como puntos igualmente espaciados en

una recta numrica.

Cuando m < n se tendr que el punto que representa a m se encuentra a la izquierda de n.

Propiedades:
Teorema:
Para todo m, n, p N:
i)
ii)
iii)

m<n m+p<n+p
m < n mp < np
m<nyn<pm<p

En lugar de utilizar la relacin menor que es ms cmodo utilizar la relacin mayor que,
por lo que se establece la siguiente definicin.

Definicin:
Dados dos nmeros naturales m y n, decimos que m es mayor que n, lo que se representa
mediante m > n, si n < m.
Demostracin por Induccin matemtica:
Es importante establecer generalizaciones o leyes que expliquen todo cuanto ocurre en la
naturaleza. Existen dos caminos para llegar a una generalizacin, el primero consiste en
considerar desde un principio el caso general, trabajando de lo general a lo particular por
deduccin. El segundo consiste en examinar un cierto nmero de casos particulares para
descubrir la forma en que estn relacionados, una vez que se determina esta relacin se le
5

Apuntes de lgebra

constituyen en generalizacin. Se trabaja de lo particular a lo general, y el mtodo es llamado

induccin.
El proceso de una demostracin por induccin matemtica consiste de los siguientes pasos:
-

Escribir claramente la proposicin P(n) que se quiere demostrar, especificando la

variable de induccin y el conjunto de valores que puede asignarse a dicha variable.
i)
Si P(n) es una proposicin enunciada para todos los nmeros naturales, se
debe verificar el cumplimiento de la proposicin para el menor valor de n (que
equivale a verificar que 1 pertenece a S, de acuerdo al quinto postulado de
Peano).
ii)
Demostrar que si P(k) es verdadera, entonces P(k+1) es verdadera (equivale
a demostrar que si k S entonces k+1 S).

Cuando i) y ii) se cumplen se concluye que P(n) es verdadera para todo n en el conjunto de los
nmeros naturales.

Ejemplos:
2.2 Nmeros Enteros ( Z )
Son los nmeros negativos y el cero, que con los nmero naturales constituyen el conjunto de
los nmeros enteros.
= , 3, 2, 1, ,1,2,3, ,
Por lo que N Z.
Los nmeros negativos permiten contar nuevos tipos de cantidades (como saldos deudores) y
ordenar por encima o por debajo de un cierto elemento de referencia (temperaturas
inferiores o superiores a 0 grados, los pisos de un edificio por encima o por debajo de la
entrada).
Las operaciones suma, resta y multiplicacin de nmeros enteros dan como resultado otro
nmero entero. Sin embargo, dos nmeros enteros slo se pueden dividir si el dividendo es
mltiplo del divisor.
Igualdad en Z.
Se debe establecer un criterio para decidir si dos nmeros enteros expresados como la
diferencia de dos nmeros naturales son iguales o no lo son.

Definicin:
Sean a = m n, b= p q , a y b dos nmeros enteros, con m, n , p, q N. Entonces:
6

Apuntes de lgebra

a = b si m+q=n+p.
Adicin en Z.
La adicin en Z deber producir los mismos resultados que la adicin en N cuando los enteros
que se suman son positivos.

Definicin:
Sea a= m-n, b=p-q dos nmeros enteros, con m, n , p, q N. El nmero a+b se define como:
a+b = (m+p) (n+q)
La adicin en Z satisface todas las propiedades que se establecieron para la adicin en N, pero
la adicin en los enteros cuenta con propiedades adicionales.

Teorema:
Para todo a, b, c Z:
i)
ii)
iii)
iv)
v)
vi)

a+b Z
a + (b + c) = (a + b) + c
a + b = b+ a
si a + c = b + c, entonces a= b
a+0=a
-a Z tal que a + (-a) = 0

cerradura
asociatividad
conmutatividad
cancelacin
elemento idntico
elementos inversos.

Multiplicacin en Z.

Definicin:
Sean a = m - n, b = p - q dos nmeros enteros, con m, n, p, q
como:

N. El nmero a b se define

a b = (m p + n q) (n p + m q)
La multiplicacin en Z qued definida a partir de la multiplicacin y adicin en N.

Propiedades:
Teorema:
Para todo a, b, c Z:
i)
ii)
iii)
iv)

ab Z
a (b c) = (a b) c
ab=ba
si a c = b c y c , entonces a=b

cerradura
asociatividad
conmutatividad
cancelacin
7

Apuntes de lgebra

v)

a1=a

elemento idntico.

Tomadas simultneamente, la adicin y la multiplicacin satisfacen la siguiente propiedad.

Teorema:
Para todo a, b, c Z: a (b + c) = ab + ac
La introduccin del cero y los negativos trae como consecuencia la aparicin de algunas
propiedades adicionales para la multiplicacin en Z.

Teorema:
Para todo a, b Z:
i)
ii)
iii)

a =
(-a) (b) = - (ab)
(-a) (-b) = ab

primera regla de los signos.

segunda regla de los signos.

Orden en Z.
Para los enteros tambin se define la relacin menor que, como una generalizacin de las
que se definieron en los naturales.

Definicin:
Sean a, b Z:
i)
ii)

a < b si n N tal que a + n = b

a > b si b < a

Propiedades:
Los enteros tambin satisfacen la ley de tricotoma.

Teorema:
Para todo a, b, c Z:
i)
ii)
iii)

a < b a+c < b+c

a < b y c> ac < bc
a < b y c < ac > bc
a<byb<c a<c

Representacin en la recta numrica.

Los nmeros enteros quedan representados tambin en la recta numrica como puntos
igualmente espaciados, solo que la recta se extiende indefinidamente en ambos sentidos.
8

Apuntes de lgebra

-3

-2

-1

Si a < b se tendr que el punto que representa a a estar a la izquierda del que representa b.
Ahora la recta se extiende en ambos sentidos no tiene un punto inicial, como en los naturales,
por lo que se considera como nmero de referencia al cero. Los nmeros que se encuentran a
la derecha del cero son positivos, y los que estn a la izquierda son negativos.

Definicin:
Sean a Z:
a es positivo si a > 0
a es negativo si a < 0
En particular, el cero no es positivo ni negativo.
Enteros positivos:

>

2.3 Nmeros racionales ( Q ).

Es el conjunto formado por todos los nmeros enteros y todos los fraccionarios. Un nmero
racional es el que se puede expresar como cociente de dos nmeros enteros.

Definicin:
Sea la ecuacin bx = a; con a, b Z, el nmero x que multiplicado por b no da como resultado
a, se llama el cociente de a entre b y se representa por con b .
Para el cociente

se distinguen tres casos:

i)

b es factor de a, nico caso en que la ecuacin tendr solucin en Z, por lo que

ii)

un nmero entero.
b no es factor de a y b , entonces la solucin no es entera, por lo que

iii)

nmero fraccionario. 3x = 7
Si b= 0, no est definido.

es

es un

A los nmeros que se obtienen como el cociente de dos nmeros enteros se les llama
racionales y al conjunto que conforman se representan con Q.

Apuntes de lgebra

Definicin:
=

, ,

Igualdad en Q.
Definicin:
Sean

, dos nmeros racionales, con a, b, c, d Z y b, d , entonces

si ad = bc, lo

que establece la igualdad de nmeros racionales en trminos de la igualdad de nmeros

enteros.
Adicin en Q.

Definicin:
Sean

, dos nmeros racionales, donde a, b, c, d Z y b, d . La suma se define

+

Propiedades.

Teorema:
Para todo x, y, z Q:
i)
ii)
iii)
iv)
v)
vi)

x+y Q
x + (y + z) = (x + y) + z
x+y=y+x
si x + z = y + z entonces x = y
x+0=x
-x Q tal que x + (-x) = 0

cerradura
asociatividad
conmutatividad
cancelacin
elemento idntico
elementos inversos

Multiplicacin en Q.

Definicin:
Sean

dos nmeros racionales, donde a, b, c, d Z y b, d . La multiplicacin se define:

=

Propiedades.

10

Apuntes de lgebra

Teorema:
Para todo x, y, z Q
i)
ii)
iii)
iv)
v)
vi)

xy Q
x(yz) = (xy)z
xy = yx
si xz = yz y z , entonces x=y
x1=x
si x , x-1 Q tal que x x-1 = 1

cerradura
asociatividad
conmutatividad
cancelacin
elemento idntico
elementos inversos

Y tambin son vlidos los siguientes teoremas.

Teorema:
Para todo x, y, z Q: x(y+z) = xy +xz

Teorema:
Para todo x, y Q
i)
ii)
iii)

x =
(-x) (y) = -(xy)
(-x) (-y) = xy

La divisin en Q puede definirse a partir der la multiplicacin de la siguiente manera.

Definicin:
Sean

dos nmeros racionales y . La divisin se define como:

=

Y la divisin satisface la siguiente propiedad:

,

Orden en Q.
La relacin menor que en Q, puede establecerse de la siguiente manera.

Definicin:
Sean ,

, donde b, d Z+:

11

Apuntes de lgebra

i)

<

<

ii)

>

<

Como consecuencia de esta definicin y de la ley de tricotoma en Z, la relacin menor que

en Q satisface tambin dicha ley y las siguientes propiedades:

Teorema:
Para todo x, y, z Q:
i)
ii)
iii)

x<yx+z<y+z
x < y y z > xz < yz
x < y y z < xz > yz
x < y y y<z x < z

Expresin Decimal de un nmero racional.

Al hacer la divisin del nmero racional presentado, se obtendr una expresin conocida
como la expresin decimal. Todo nmero racional tiene una expresin decimal.

= .3 5

Se dice que una expresin decimal es peridica cuando un dgito, o grupo de dgitos, se repite
indefinidamente a partir de un cierto lugar a la derecha del punto decimal, como 0.212121

Teorema:
Todo nmero racional tiene una expresin decimal peridica.
Algoritmo de la divisin para nmeros enteros.
Dados dos nmeros enteros a y b, con b>0, existen dos enteros nicos q y r, con
tales que: a = bq + r
3x = 7

< ,

3(2)+1 = 7

Los nmeros a, b, q y r Z reciben el nombre de dividendo, divisor, cociente y residuo

respectivamente. Aqu el cociente siempre es siempre un nmero entero.
La relacin a = bq + r, que est planteada en trminos de nmeros enteros exclusivamente,
puede ser enunciada en Q como:
=

Densidad de los nmeros racionales y representacin en la recta numrica.

12

Apuntes de lgebra

Los elementos de Q pueden tambin ser representados en la recta numrica, donde x < y, el
punto que representa a x se encuentra a la izquierda del que representa a y.
-11/5

-3

-2

-1/2
-1

10/3
1

Los nmeros racionales poseen una propiedad conocida como densidad, segn la cual entre
dos nmeros racionales diferentes siempre hay otro nmero racional, como lo establece el
siguiente teorema.

Teorema:
Para todo x, y Q, con x < y, z Q tal que: x < z < y
Los nmeros naturales y enteros no poseen la propiedad de densidad.
2.4 El conjunto de los nmeros reales.

Lema:
Si a2 es un nmero par y a Z, entonces a es un nmero par.

Teorema:
El nmero x tal que x2 = 2 no es un nmero racional.
Los nmeros racionales tienen representacin en la recta numrica y en virtud de la densidad
en Q, podra pensarse que estos son suficientes para llenar la recta, lo cual es falso. 2.
Existen otros muchos nmeros que tienen representacin en la recta numrica y no son
racionales. A este tipo de nmeros se les conoce como nmero irracionales. Y tienen
expresin decimal no peridica, caracterstica que los distingue de los nmeros racionales.
Los nmeros irracionales pueden ser de dos tipos: los que son solucin de alguna ecuacin
algebraica con coeficientes enteros llamados irracionales algebraicos, y los que no son
solucin de una ecuacin de tal tipo se les llama irracionales trascendentes, como y .
Se construyeron los nmeros enteros a partir de los naturales, y los racionales a partir de los
enteros de tal forma que:

Definicin:
Al conjunto que contiene tanto a los nmeros racionales como a los irracionales se les conoce
como el conjunto de los nmeros reales y se representa con R.

13

Apuntes de lgebra

Este conjunto viene a satisfacer la necesidad de un conjunto de nmeros que represente todos
los puntos de la recta, es decir que a cada nmero real le corresponde un punto de la recta y
viceversa.
Propiedades:

Teorema:
Para todos x, y, z R:
i)
ii)
iii)
iv)
v)
vi)

x+y R
xy R
x + ( y+z) = (x+y)+ z
x(yz) = (xy)z
x+y=y+x
xy = yx
x+0=x
x1=x
-x R tal que x + (-x) = 0
x-1 tal que x x-1 = 1, si x
x(y + z) = xy + xz

cerradura

asociatividad
conmutatividad
elementos idntico
elementos inversos
distributividad.

Teorema:
Para todo x, y R
i)
ii)
iii)

x =
(-x) (y) = - (xy)
(-x) (-y) = xy

Divisin: Si y el nmero x y = xy-1

Orden en R.
La relacin menor que en R, de tal forma que si x, y son nmeros reales tales que x < y,
entonces el punto que representa a x en la recta numrica se encuentra a la izquierda del que
representa a y.

Teorema:
Si x, y R entonces se verifica una y slo una de las siguientes proposiciones:
i)
ii)
iii)

x<y
x=y
y<x

14

Apuntes de lgebra

Teorema:
Para todo x, y, z R
i)
ii)
iii)

x < y x + z < y +z
x < y y z > xz < yz
x < y y z< xz > yz
x < y y y <z x < z

Tambin se definen los trminos positivo y negativos: x > positivo, x< negativo.
Completitud en los reales.
El sistema de los nmeros reales tiene las mismas propiedades algebraicas y de orden que el
sistema de los nmeros racionales, pero el de los reales es ms amplio y verstil, puesto que
en R se pueden resolver ecuaciones como x2 = 2 por eso los reales tienen una propiedad
adicional, y se conoce como propiedad de completitud

Teorema:
Todo subconjunto no vaco de R que est acotado superiormente tiene un supremo que
pertenece a R.
Este teorema garantiza la existencia de una mnima cota superior para cualquier conjunto de
nmeros reales acotados superiormente y establece adems que la mnima cota es un nmero
real, es decir que pertenece a R. La propiedad de completitud permite establecer el concepto
de continuidad en R.

Definicin: Sea S subconjunto de R. Un elemento t

R es cota superior si x t, x S.
Cualquier otro nmero real mayor que t ser tambin una cota superior de S. Si un conjunto
tiene cotas superiores se dice que est acotado superiormente.

Definicin: Sea S subconjunto de R. Un elemento m R se llama elemento mximo si: x

x S y m S. Un elemento mximo es una cota superior, adems pertenece a S, y es nico.

Definicin: Sea S subconjunto de R. Un elemento p R se llama supremo de S si: x

q R yx

q, p

p,

x S,

q. sup S = p

El mximo debe ser un elemento del conjunto S, mientras que el supremo puede ser un
elemento de S o no serlo.

15

Apuntes de lgebra

Ejemplos:
=

Acotado superiormente. Elemento mximo es el 1

Supremo tambin el 1.

<1

Acotado superiormente, No tiene elemento mximo, Supremo es el 1.

Valor Absoluto.
Dado que existe una correspondencia entre los puntos de la recta y los nmeros reales, cabe
esperar que el concepto geomtrico de distancia entre dos puntos tenga su equivalente en el
conjunto de los nmeros reales, este concepto para su clculo utiliza el valor absoluto de un
nmero real.

Definicin:
Sea x un nmero real. El valor absoluto de x, que se representa como
=

, y se define como:

,
,

<

En general el valor absoluto de x R ser un nmero no negativo, es decir, siempre positivo o

cero. Las propiedades de valor absoluto son:

Teorema:
Para todo x, y R:
)
)
)
)
) +
)
)
)
)
)

.
=
+
=

+
=

+
,
16

Apuntes de lgebra

Mientras ms grandes es
Debido a esto, al nmero

, ms lejos del origen se encuentra el punto que representa a x.

se le conoce como la distancia de x al cero.

Teorema:
Sea R con

x R se tiene que:

Ejemplos:
Resolucin de desigualdades e inecuaciones.
Una desigualdad es una expresin que indica que una cantidad es mayor o menor que otra.

Propiedades de las desigualdades:

1.- El sentido de una desigualdad no se altera si se suma o se resta la misma cantidad a ambos
miembros.
>
>
2.- El sentido de una desigualdad no se altera si ambos miembros se multiplican o dividen
>
entre la misma cantidad positiva.
>
>
>
3.- El sentido de una desigualdad se invierte si ambos miembros se multiplican o dividen
<
entre la misma cantidad negativa. >
<
<
4.- Si se suman miembro a miembro dos desigualdades del mismo sentido, la suma da origen a
una desigualdad del mismo sentido. >
>
+ > +
5.- Si dos desigualdades entre nmeros positivos tienen el mismo sentido, se pueden
multiplicar miembro a miembro y los productos son desigualdades en el mismo sentido.
, , ,

>

>

>

>

6.- Si en una desigualdad se sustituyen ambos miembros por sus recprocos, se invierte su
sentido.

>

<

7.- Si los miembros de una desigualdad son positivos y se elevan a una misma potencia
positiva, o se les extrae una misma raz positiva, el signo de la desigualdad no cambia.
>

>
>

>

17

Apuntes de lgebra

8.- Si los miembros de una desigualdad son negativos y se elevan a una misma potencia par
positiva, el signo de la desigualdad cambia.
< ,

<

>

<

9.- Si los miembros o uno de ellos es negativo y se elevan a una potencia impar positiva, el
signo de la desigualdad no cambia.
10.- Si los miembros son negativos y se elevan a una misma potencia par positiva, el signo de
la desigualdad cambia.
11.- Si un miembro es positivo y otro negativo y ambos se elevan a una misma potencia par
positiva, el signo de la desigualdad puede cambiar.
Inecuaciones.
Es una desigualdad en la que hay una o ms cantidades desconocidas (incgnitas) y que solo
se verifica para determinados valores de las incgnitas. Las inecuaciones se llaman tambin
desigualdades de condicin.
Por ejemplo:
4x-3<2x+5
El objeto ser determinar la totalidad de nmeros que hacen que expresiones de este tipo den
afirmaciones verdaderas. Si una afirmacin verdadera se obtiene cuando se reemplaza a x por
un nmero real a, entonces se llama una solucin de la desigualdad. El conjunto de soluciones
es el dominio de x, entonces la desigualdad se llama desigualdad absoluta, de otra manera se
llama desigualdad condicional. Resolver una desigualdad significa encontrar su conjunto de
soluciones.
La resolucin de las inecuaciones se funda en las propiedades de las desigualdades y en las
consecuencias que de las mismas se derivan.
Ejercicios:

18

Apuntes de lgebra

3. Nmeros complejos
3.1 Forma binmica.
Una vez aceptada la existencia de los nmero imaginario (i) como un nmero tal que i x i = i2
=-1, un nmero imaginario queda definido como aquel de la forma bi, donde b es cualquier
nmero real. Por ejemplo: 3i, -7i,

, 2.

Los imaginarios proporcionan soluciones a toda ecuacin de la forma x2 + c= 0, donde c es un

nmero positivo.
Ejemplos: x2 + 25=0
x2 + 4x + 13 = 0
La suma de un nmero real y con un nmero imaginario permite obtener un nuevo nmero
llamado complejo.

Definicin:
=

, ,

Para manejar los nmeros complejos se necesita saber cundo dos de estos son iguales.
A esta representacin se le conoce como forma binmica debido a su apariencia de binomio, y
a los nmeros reales a y b se les conoce, respectivamente como parte real y parte imaginaria
de z. R(z) = a, I(z) = b

Definicin:
Sean

= +

dos nmeros complejos con a, b, c, d R, entonces:

=

La igualdad en C requiere de dos igualdades entre nmeros reales.

Conjugado de un complejo.
Definicin:
Sea z=a+bi un nmero complejo. El conjugado de z, que se representa como , se define
como: =
19

Apuntes de lgebra

Propiedades.

Teorema:
Para todo

,
) =
) =
) +
)
)
+
=
)
=

Representacin grfica.
La idea de representar a los nmeros complejos en el plano se le debe al matemtico ingls
John Wallis, casi cien aos despus de que Bombelli los haba introducido.
Sobre el eje X se pone la parte real y sobre el eje Y se pone la parte imaginaria. As por ejemplo
1+3i queda representado como:

Operaciones y sus propiedades.

Adicin y multiplicacin en C.
Estas operaciones se definen en trminos de la adicin y multiplicacin de nmeros reales.

Definicin:
Sea

=
i)

= +

el nmero

dos nmeros complejos, donde a, b, c, d R

se define como:
+ =( + )+( + )
20

Apuntes de lgebra

ii)

el nmero

Propiedades.
Para todo ,
)

se define como:
=(

)+(

Cerradura

+( + )=( + )+
)=(
)
+ = +
=
) +( + )=
(1 + ) =
)=
)
+(
+

:
) ( + )=
+
)
(
)

Asociatividad
Conmutatividad.
Elemento idntico
+

Elementos inversos
=1+
Distributividad

Sustraccin y divisin en C.
La sustraccin y divisin se definen a partir de la adicin y la multiplicacin en C.

Definicin:
Sean
= + ,
)

)
+

= +
dos nmeros complejos, donde a, b, c, d R
se define como:
= +(
)

se define como: =

( +

El resultado de la divisin puede tambin obtenerse multiplicando el dividendo y el divisor

por el conjugado del divisor, y considerando a los nmeros complejos como binomios:

3.2 Forma polar o trigonomtrica.

Un nmero complejo a+bi se puede representar como un punto de coordenadas (a, b) en el
plano cartesiano, donde su parte real a queda representada en el eje x, y su parte imaginaria b
en el eje y. A esta representacin se le conoce como Diagrama de Argand y al eje x se le llama
eje real y a y eje imaginario.

21

Apuntes de lgebra

El punto de coordenadas (a, b) tambin est determinado por los parmetros (r, ) conocidos
como coordenadas polares del punto.

Transformacin de la forma binmica a la polar y viceversa.

Las coordenadas cartesianas se obtienen a partir de las polares mediante las siguientes
formulas de transformacin:
a = r cos
b = r sen
En consecuencia el nmero complejo z = a + bi puede tambin expresarse como:
z = (r cos ) + (r sen ) i
z = r (cos + i sen )
Que es la llamada forma polar o trigonomtrica del nmero complejo z. Usando la expresin
cis para representar el factor cos + i sen , se puede escribir el complejo z = r cis .
Definicin:
= ( cos ) + (

Y la forma polar del complejo ser: z = r cis

Donde las coordenadas polares se pueden obtener a partir de las cartesianas mediante las
siguientes expresiones.
=

tan

Ejemplo:

Definicin de mdulo, argumento y de igualdad de nmeros complejos en forma polar.

En la forma polar, el nmero real r, que es una distancia y por tanto un nmero no negativo, se
conoce como el mdulo del nmero complejo, y al ngulo como su argumento. Para el
caso particular del nmero 0 + 0i, su mdulo es cero y su argumento se considera arbitrario.

22

Apuntes de lgebra

Si se tienen dos nmeros complejos expresados en forma polar con mdulos iguales y
argumentos que difieran un mltiplo entero de 360, dichos nmeros quedarn
representados en el plano por el mimo punto; en consecuencia, en su forma binmica tendrn
la misma parte real y la misma parte imaginaria, por lo que sern iguales, de acuerdo al
siguiente teorema:

Teorema:
Sean
=

+ (3

=
= ,1,2,3,

Ejemplo:
Por lo que se puede concluir que un nmero complejo puede tener ms de un argumento. Se
llama argumento principal del nmero complejo al ngulo tal que:
3
Obtener el argumento principal de:

Operaciones en forma polar: multiplicacin, divisin, potenciacin y radicacin.

La multiplicacin se reduce a multiplicar mdulos y sumar argumentos, y la divisin en dividir
mdulos y restar argumentos.
Ejemplo:
=

12

=2

Teorema:
Sean

,
)
)

:
(

=
=

+
)

Al efectuar la divisin de nmeros complejos en forma polar, puede suceder que el argumento
del divisor sea mayor que el del dividendo, y en ese caso se tendr que el resultado es un
nmero complejo con argumento negativo. Los argumentos negativos deben interpretarse
como ngulos medidos en sentido contrario. Un argumento negativo est fuera del intervalo

3 , as para obtener el argumento principal correspondiente deber sumarse 3

tantas veces como se requiera para quedar dentro de dicho intervalo.

Ejemplo:

23

Apuntes de lgebra

Potencias y races de nmeros complejos.

Definicin:
Sea z C y n N. La potencia ensima de z, (zn), se define como:
=
n factores.
En general cuando el nmero complejo est en forma polar se puede obtener sus potencias
naturales con la llamada frmula de De Moivre, que se expresa con el siguiente teorema.

Teorema:
Para todo nmero natural n: (

) =

Ejemplo:
Si un nmero complejo est en su forma binmica, generalmente es ms fcil obtener sus
potencias cambindolo a la forma polar.

Ejemplos.
Definicin:
Sean z C y n
=
.

N. Si

se dice que w es raz ensima de z, y se representa como

Teorema:
Para todo nmero natural n:

= ,1,2,3, , (

1)

Se observa que la raz ensima de un nmero complejo no es nica, y que existen exactamente
n races diferentes correspondientes a los valores de k = , 1, , (n-1).
Estas n races quedan representadas en el Diagrama de Argand por n puntos sobre una
circunferencia con centro en el origen y radio igual a
.

Ejemplos:
Existen casos donde el exponente no es un nmero natural, por lo que se sigue la siguiente
definicin:

Definicin.
Sean z C y m,n N:

=1
=
=
24

Apuntes de lgebra

Ejemplos:

3.3 Forma exponencial o de Euler.

El matemtico suizo Leonard Euler estableci la relacin:
permite escribir el nmero complejo z = r cis en la forma
Euler o forma exponencial, en el cual r es el mdulo y
radianes.

= cos +
que
=
conocida como forma de
es el argumento expresado en

Equivalencia entre forma polar y exponencial.

Se puede establecer la relacin de igualdad entre nmeros complejos expresados en forma de
Euler de acuerdo con el siguiente teorema.

Teorema:
Sean

=2
Euler:

=2

225,

=3

=3

=
1

+ (2 )
2

= ,1,2,

= 2

Operaciones en forma exponencial.

Teorema:
Multiplicacin:

=(

Divisin:

Potencia: (

) =

Raz:

Ejemplos:

3.4 Resolucin de ecuaciones con una incgnita que involucren nmeros complejos.

Ejercicios.

25

Apuntes de lgebra

4. Polinomios.
4.1 Definicin de polinomio de igualdad de polinomios.
Los polinomios pueden ser tratados como una expresin o como una funcin.
Al considerar el polinom9io como expresin los smbolos x0, x1, x2, , xn son i9ndicadores de
la posicin de los nmeros a0, a1, a2, , an y los signos + deben interpretarse nicamente como
medios de conexin. Si el polinomio es considerado como funcin, los smbolos x0, x1, x2, , xn
representan potencias de la variable x: a0x0, a1x1, a2x2, , anxn representan producto y los
signos + se interpretan como smbolos de adicin.
Al considerar los polinomios como expresiones, se tendr el siguiente proceso algebraico.

Definicin:
Se llama polinomio en x con coeficientes en C a una expresin de la forma:
( )=
+
+
+ +
, , ,,
A las expresiones a0x0, a1x1, a2x2, , anxn se les identifica como trminos del polinomio y a los
nmeros a0, a1, a2, , an coeficientes de x0, x1, x2, , xn, respectivamente.
Se conoce como grado de un polinomio al mayor ndice superior que se encuentra en la
expresin, siempre y cuando el coefic9ientes correspondiente sea diferente de cero.

Definicin:
Sea el polinomio en x con coeficiente en C. ( ) =
+
+
+ +
si a el
(
)
entero no negativo n es el grado del polinomio, lo que se representa como
= .

Igualdad de polinomios.
Dos polinomios se consideran iguales si tienen los mismos trminos, con excepcin de
aquellos que tengan coeficientes cero, de acuerdo con la siguiente definicin.

Definicin:
Sean los polinomios en x con coeficientes en C.
( )=

( )=

Se dice que son iguales, f(x)=g(x) cuando:

26

Apuntes de lgebra

)
=
)
=
)
=

=
,

<
=
=

,
<

<
,

>

Ejemplos:

Al considerar al polinomio como una funcin e C en C, si los polinomios f(x) y g(x) son iguales,
entonces f(x) = g(x), indica que las funciones f y g son iguales. As pues, dos polinomios que
son iguales en el sentido algebraico lo son tambin como funciones.
Adicin de polinomios.
La adicin de polinomios en el sentido algebraico, de be ser consistente con la definicin de
adicin de funciones y las propiedades de las operaciones en complejos.

Definicin:
Sean los polinomios en x con coeficientes en C:
( )=

( )=

El polinomio f(x) + g(x) se define como:

( )+ ( )=

Esta suma es de carcter general ya que siempre es posible considerar que dos polinomios
tienen el mismo nmero de trminos.

Ejemplo.

Para representar el grado del polinomio obtenido de la suma se tiene que:

( ) > ( ),
( + )= ( )
)
( ) < ( ),
( + )= ( )
)
( )= ( )= ,
( + )=
)

Propiedades de la adicin:
Teorema:
Si f(x), g(x), h(x) son polinomios en x con coeficientes en C, entonces:
) ( )+ ( )+ ( ) = ( )+ ( ) + ( )
.
) ( )+ ( )= ( )+ ( )
27

Apuntes de lgebra

( )
( )

)
)

( )+ ( )= ( )
( )+
( ) = ( )

El polinomio (x) se conoce como polinomio cero debido a que todos sus coeficientes son
iguales a cero, su grado no est definido.
Multiplicacin de polinomios.

Definicin:
Sean los polinomios en x con coeficientes en C.
polinomio f(x) g(x) se define como: ( ) ( ) =

( )=

( )=
=

. El
.

gr(fg) = gr(f) + gr(g)

Ejemplos:
Se pueden escribir los polinomios en el orden que resulte mas conveniente de acuerdo con lo
que se est tratando.

Propiedades.
Teorema
Si f(x), g(x), h(x) son polinomios en x con coeficientes en C, entonces:
) ( ) ( ) ( ) = ( ) ( ) ( )
) ( ) ( )= ( ) ( )
( )
)

( ) ( )= ( )

Tomando simultneamente la adicin y la multiplicacin de polinomios satisfacen tambin la

propiedad distributiva, es decir:

Teorema:
Si f(x), g(x), h(x) son polinomios en x con coeficientes en C, entonces: ( ) ( ) + ( ) =
( ) ( ) + ( ) ( )
Multiplicacin de un polinomio por un escalar.
NOTA: Los polinomios de grado cero son, a fin de cuentas, nmeros.
Debido a esto la multiplicacin de un nmero complejo por un polinomio es un caso particular
de la multiplicacin de polinomios. As, si c es un numero complejo, ste puede expresarse
como: c = cx0, y si f(x) es un polinomio en x con coeficientes en C, entonces:
( )=(
Por lo que:

( )=

)(
+

=
+
28

Apuntes de lgebra

Ejercicios.

4.2 Divisin de polinomios

Definicin.
Sean f(x) y g(x) dos polinomios en x con coeficientes en C y g(x) : g(x) es un factor de f(x)
si existe un polinomio q(x) con coeficientes en C tal que: f(x) = g(x) q(x) se dice entonces que
f(x) es divisible entre g(x).

Algoritmo de la divisin para polinomios.

Teorema:
Sean f(x) y g(x) dos polinomios en x con coeficientes en C. Si g(x) , existen dos polinomios
nicos q(x) y r(x) con coeficientes en C tales que: f(x) = g(x) q(x) + r(x) donde gr(r) < gr(g)
o bien r(x)=0.
De manera similar al caso de los nmeros enteros, los polinomios f(x), g(x), q(x) y r(x)
reciben el nombre de dividendo, divisor, cociente y residuo respectivamente.
Dividir f(x) entre g(x) debe interpretarse como encontrar los polinomios q(x) y r(x) cuya
existencia garantiza el teorema de divisibilidad. Estos polinomios pueden obtenerse mediante
el procedimiento de lgebra elemental

Ejemplo
Ley de la cancelacin.

Teorema:
Sean f(x), g(x), h(x) polinomios en x con coeficientes en C. Si h(x) entonces
f(x) h(x)=g(x) h(x) f(x) = g(x)

Teorema de residuo y del factor.

Dado un polinomio en x con coeficientes en C puede ser considerado como una funcin de
complejos a complejos de la forma:
( )=
+
+
+ +
Al sustituir un numero complejo c en lugar de la variable x y efectuar las operaciones
indicadas, se obtienen un numero al que se llama valor del polinomio en c y que, de acuerdo
con la notacin para funciones, se representa con p( c), esto es:
( )=
+
+
+ +
29

Apuntes de lgebra

Cuando un polinomio cualquiera p(x) se divide entre un polinomio de primer grado, el

residuo que se obtiene es un nmero. En particular, si el polinomio de primer grado es de la
forma x-c, dicho nmero coincide con el valor del polinomio en c, de acuerdo al siguiente
teorema.

Teorema: (del residuo)

Sea p(x) un polinomio en x con coeficientes en C y c C. El residuo de dividir p(x) entre x-c es
igual a p(c ).

Ejemplos:
Sea p(x) un polinomio en x con coeficientes en C. Si el residuo que se obtiene al dividir p(x)
entre x-c es igual a cero si y solo si p( c)= . Este resultado se conoce como teorema del
factor.

Teorema: (del factor)

Sea p(x) un polinomio en x con coeficientes en C y c C. p(x) es divisible entre x-c si y solo si
p(c ) = 0.

Divisin sinttica.
Cuando se presenta que el divisor es un polinomio de la forma x-c, es posible introducir
algunas simplificaciones al procedimiento general hasta llegar a lo que se conoce con el
nombre de divisin sinttica.

Ejemplo.
Formalmente el procedimiento es el siguiente:
Considerando los polinomios:
( )=
+
+ +
+

( )=

Como g(x) es de grado uno, el cociente q(x) ser de grado n-1 y se puede escribir:
( )=
+
+ +

Adems el residuo ser cero o de grado cero, es decir, un numero r.

Entonces de f(x)= g(x) q(x) + r(x)
+
+ +
Por igualdad de polinomios:

=(

)(
=

30

)+

Apuntes de lgebra

=
=

Por lo que los coeficientes del cociente y el residuo se obtienen como:

=
=
+
=
=

+
+

Para efectuar los clculos indicados en las expresiones anteriores se puede utilizar el
siguiente arreglo.

Ejemplos:

4.3 Races de un polinomio: Definicin de raz.

A los valores para los cuales el polinomio vale cero, se les denomina races del polinomio.

Definicin:
Sea p(x) un polinomio en x con coeficientes en C y sea un nmero complejo. es una raz de
p(x) si p() =
Los conceptos de raz de un polinomio y solucin de una ecuacin algebraica son
equivalentes ya que se conoce como ecuacin algebraica (de grado n) a una ecuacin de la
forma:
+
+ +
+
=

Teorema fundamental del lgebra y numero de races de un polinomio.

Existen polinomios con coeficientes en R que no tienen races en R. Podra pensarse entonces
en la existencia de polinomios con coeficientes en C que no tuviesen races en C que no
tuvieses races en C, por lo tanto surge la necesidad de ampliar el sistema de los nmeros
complejos, pero tal posibilidad queda excluida por el Teorema fundamental de lgebra.

31

Apuntes de lgebra

Teorema: fundamental de lgebra.

Si p(x) es un polinomio en x con coeficientes en C de grado mayor o igual que uno, entonces
p(x) tiene al menos una raz en C.
Este teorema establece la existencia de al menos una raz, pero no proporciona ningn
mtodo para determinarla.
Por el teorema anterior p(x) tiene por lo menos una raz 1 tal que ( ) = , x-1 es factor
de p(x), por lo que se puede escribir p(x) = ( x- 1) q1(x) donde q1(x) es un polinomio de
grado n-1.
Si n-1 1 entonces, q1(x) tiene por lo menos una raz 2 C y se puede escribir:
q1(x) = ( x- 2) q2(x) donde q2(x) es un polinomio de grado n-2.
Si todava n-2 1, se repite el razonamiento un nmero finito de veces hasta obtener un
( )=(
polinomio qn de grado cero, esto es:
)
y como qn es de grado cero, no
tiene races y el proceso termina. Por lo que:
( )=(
)(
) (
)
Donde el polinomio p(x) se encuentra expresado como el producto de n polinomios de grado
uno, y qn al ser un polinomio de grado cero es un nmero y coincide con el coeficiente an. A
esta expresin se le conoce como descomposicin de p(x) en factores lineales y se concluye
con el siguiente teorema.

Teorema:
Si p(x) es un polinomio en x con coeficientes en C de grado n 1, entonces p(x) tiene n races.
Se debe hacer notar que las n races a las que se refiere el teorema no son necesariamente
diferentes.
Si el nmero se presenta ms de una vez como raz se dice que es una raz mltiple, y el
nmero de factores de la forma x- en la descomposicin de p(x) se conoce como
multiplicidad de .

Ejemplo.
4.4 Tcnicas elementales para buscar races: posibles races racionales.
Las races de un polinomio con coeficientes en Q pueden ser de tres tipos:
a) Races racionales
b) Races irracionales
c) Races complejas
Aunque los tres tipos son races complejas, suela hacerse esta clasificacin para facilitar su
estudio.

Races Racionales.
32

Apuntes de lgebra

Los polinomios con coeficientes en Q con races racionales son las mas fciles de encontrar y
pueden obtenerse de entre un conjunto finito de nmeros mediante un procedimiento de
prueba directa.

Teorema:
( )=
Sea
+
+ +
+
un polinomio en x con coeficientes enteros,
donde an , a0 y n 1. Si un nmero racional es raz de p(x) y es su mnima expresin,
entonces p es un factor de a0 y q es un factor de an.
Ejemplo.

Teorema:
Sea p(x) un polinomio en x con coeficientes en R. Si a y b son dos nmeros reales tales que
a < b y p(a), p(b) tienen signos contrarios, entonces p(x) tiene al menos una raz real en el
intervalo a<<b.
Se acota el intervalo en que se encuentran las races reales, utilizando el siguiente teorema:

Teorema:
Sea ( ) =
an>0.
i)

ii)

un polinomio en x con coeficientes reales y

Si s R, s >0, y no existen nmeros negativos en el tercer rengln de la divisin

sinttica de p(x) entre x s, entonces para toda raz real de p(x) se tiene que
<s.
Si t R, t <0, y los nmeros del tercer rengln de la divisin sinttica de p(x) entre
x t son alternadamente positivos y negativos, entonces para toda raz real de
p(x) se tiene que t<. Los ceros en este tercer rengln podrn considerarse
positivos o negativos a efecto de lograr los signos alternados.

Ejemplo.

Regla de los signos de Descartes.

Cuando un polinomio no tiene races nulas (cuando coeficiente a0 =0) es posible obtener
informacin acerca del nmero de races positivas y negativas, analizando los signos de sus
coeficientes con base en el siguiente teorema:

Teorema: Regla de los signos de Descartes.

33

Apuntes de lgebra

Sea ( ) =
a0 .
i)

ii)

un polinomio en x con coeficientes reales y

El numero de races reales positivas de p(x) es igual al nmero de cambios de

signo en la secuencia de coeficientes del polinomio p(x), o menor que ste en un
nmero par.
El nmero de races reales negativas de p(x) es igual al nmero de cambios de
signo en la secuencia de coeficientes del polinomio en x que se obtiene al sustituir
x por x en p(x), o menor que ste en un nmero par.

Solo se consideran los coeficientes distintos de cero

Ejemplo.

Races complejas:
Teorema:
Sea p(x) un polinomio en x con coeficientes en R. Si = a+bi, con b , es una raz de p(x)
entonces =
es otra raz de p(x).

Ejemplo.

El problema de determinar las races de un polinomio no admite un mtodo general, ms bien,

un procedimiento que debe seguirse en cada caso est determinado por la naturaleza del
polinomio. Una secuencia sugerida para el caso de polinomios con coeficientes en Q es:
1.- Se aplica la regla de los signos de Descartes y se obtienen las diferentes alternativas en
cuanto al nmero y tipo de races del polinomio.
2.- Se obtienen las posibles races racionales.
3.- Con base en la informacin del paso 1, se prueba con las posibles races enteras positivas
(o negativas segn sea el caso) hasta encontrar una raz o un l9imite superior de las races,
observando durante el proceso si existen cambios de signo en el residuo de la divisin
sinttica.
4.- En caso de encontrar un lmite superior se descartan las posibles races racionales
mayores a dicho lmite y se prueba con las restantes, empezando con aquellas que se
encuentren entre dos valores para los cuales se presento un cambio de signo en el residuo de
la divisin sinttica.
34

Apuntes de lgebra

5.- Si durante los pasos 3 o 4 se obtiene una raz del polinomio, se factoriza este y se trabaja
con el cociente obtenido, aprovechando la informacin que se tenga respecto a las races del
polinomio original.
6.- Agotadas las posibles races racionales positivas se repiten los pasos 3, 4 y 5 para las races
racionales negativas.
7.- Si con los pasos anteriores se logra llegar a un polinomio de segundo grado, se obtienen las
races de este por medio de la formula, con la que termina el proceso.
8.- En caso de no haberse obtenido un polinomio de segundo grado se proceder a localizar el
intervalo donde se encuentran las races irracionales, si estas existen.

35

Apuntes de lgebra

5. Sistemas de ecuaciones lineales.

5.1 El sistema de ecuaciones lineales como modelo matemtico de problemas.
Su propsito fundamental es el de establecer un mtodo para obtener soluciones.

Definicin de ecuacin lineal y de su solucin.

Definicin:
Una ecuacin lineal sobre C es una expresin de la forma
, , ,

donde

A los smbolos , , ,
se les conoce como incgnitas de la ecuacin, a los nmeros ai
como coeficientes de las xi y a b como el trmino independiente.
Una solucin de la ecuacin lineal
valores , , ,
tales que

+
+

+ +
+ +

=
=

En la bsqueda de soluciones para la ecuacin

distinguirse tres casos.
i)
ii)

es un conjunto ordenado de n

pueden

Al menos uno de los coeficientes es diferente de cero.

Todos los coeficientes son nulos y el trmino independiente tambin lo es,
entonces la ecuacin es de la forma:
+
+ +
= y es claro que
cualquier conjunto de n valores es una solucin de dicha ecuacin.
Todos los coeficientes son nulos y el trmino independiente no lo es, entonces a
ecuacin es de la forma
+
+ +
=

y es claro que
ningn conjunto de n valores podr ser una solucin de la ecuacin, por lo que la
ecuacin no tiene solucin.

iii)

Definicin de sistemas de ecuaciones lineales y de su solucin.

Un sistema es un conjunto de ecuaciones lineales que tienen las mismas incgnitas, como lo
establece la siguiente definicin.

Definicin:
Un sistema de m ecuaciones lineales con n incgnitas sobre C es una expresin de la forma:
+
+

+
Donde

+
+

+
+

,
36

=
=

Apuntes de lgebra

Puesto que un sistema de ecuaciones lineales es un conjunto de ecuaciones con las mismas
incgnitas, resulta natural considerar como una solucin del sistema a un conjunto de valores
que satisface a todas las ecuaciones del sistema, por lo que se establece la siguiente
definicin.

Definicin:
Una solucin del sistema de ecuaciones lineales.
+
+

+
+

+
Es un conjunto ordenado de n valores
+
+

+
+

+
,

+
+

=
=

tales que:
+
+

=
=

La definicin establece lo que deber entenderse por solucin de un sistema de ecuaciones

lineales; sin embargo no dice que cualquier sistema de ecuaciones lineales habr de tener
solucin.

Clasificacin de los sistemas de ecuaciones lineales en cuanto a la existencia y al nmero de

soluciones.
Hay sistemas de ecuaciones que no admiten solucin. A este tipo de sistemas se les llama
incompatibles.
Si por el contrario, un sistema de ecuaciones lineales tienen solucin se dice que es
compatible. Los sistemas compatibles pueden tener una sola solucin, en cuyo caso se dice
que son determinados o ms de una solucin en cuyo caso se dice que son
indeterminados.

37

Apuntes de lgebra

Sistemas homogneos, soluciones triviales y varias soluciones.

Si se considera el caso en el que se tiene un sistema de ecuaciones lineales con m ecuaciones y
n incgnitas, donde el trmino independiente ser igual a cero, = , se le llamar sistema
homogneo. Y solo admitir la solucin trivial:
=
= =
= .
La condicin necesaria y suficiente para que un sistema homogneo tenga soluciones distintas
de la trivial es que el nmero de ecuaciones sea menor al nmero de incgnitas.

Ejemplo:
5.2 Sistemas equivalentes y transformaciones elementales.
Cuando dos sistemas de ecuaciones lineales tienen las mismas soluciones se dice que son
equivalentes.
Para encontrar estas soluciones se utiliza un mtodo que se basa en el empleo de ciertas
transformaciones, llamadas transformaciones elementales, que no alteran las soluciones del
sistema; son transformaciones que al aplicarse a un sistema dan como resultado un sistema
equivalente.
Las transformaciones elementales pueden ser tres tipos y consisten en:
I)
II)
III)

Intercambiar dos ecuaciones.

Multiplicar una ecuacin por un nmero diferente de cero.
Multiplicar una ecuacin por un nmero y sumarla a otra ecuacin, remplazando
esta ltima por el resultado obtenido.

Ejemplo:
Resolucin de sistemas de ecuaciones lineales por el mtodo de Gauss.
El procedimiento ms cmodo para obtener las soluciones de un sistema de ecuaciones
lineales, es tal vez, el mtodo de Gauss.
Este mtodo consiste en la eliminacin consecutiva de las incgnitas con el propsito de llegar
a un sistema que tenga forma escalonada. Para llevar a cabo dicha eliminacin sin alterar las
soluciones del sistema, se recurre a las transformaciones elementales.

Ejemplo:
El sistema de ecuaciones puede quedar completamente definido por el valor de sus
coeficientes y trminos independientes, los cuales pueden presentarse convenientemente en
un arreglo tabular matriz.

Ejemplo:

38

Apuntes de lgebra

A esta matriz se le pueden aplicar transformaciones anlogas a las descritas con las
ecuaciones. Estas transformaciones son conocidas como transformaciones elementales por
rengln, que consisten en:
I)
II)
III)

Intercambiar dos renglones

Multiplicar un rengln por un nmero diferente de cero.
Multiplicar un rengln por un nmero y sumarlo a otro rengln, reemplazando
este ultimo por el resultado obtenido.

Se llega a una matriz escalonada. Se dice que una matriz esta en forma escalonada si el
numero de ceros anteriores al primer elemento no nulo de cada rengln aumenta al pasar de
un rengln al siguiente, hasta llegar eventualmente a renglones cuyos elementos son todos
nulos.

Ejemplos:

Por lo que al utilizar el mtodo de Gauss es conveniente representar el sistema mediante una
matriz y efectuar en ella las transformaciones necesarias para llevarla a la forma escalonada.

Ejemplos:
Generalizando; el mtodo de Gauss consiste en aplicar a un sistema de m ecuaciones con n
incgnitas (o a la matriz que lo representa) una sucesin de transformaciones elementales
hasta llevarla hasta la forma escalonada.
Si durante el proceso se obtiene una ecuacin nula:
0x1+0x2+0x3+... + 0xn = 0
es una solucin a la misma.

se desecha, puesto que cualquier conjunto de n valores

Si se obtiene una ecuacin de la forma:

0x1+0x2+0x3+ ... + 0xn = b; b0
es un sistema incompatible, ya que dicha ecuacin no
tiene solucin, de otra manera el sistema es compatible.
Si el sistema es compatible y al reducirlo a la forma escalonada se obtienen n ecuaciones no
nulas, entonces el sistema es determinado y su solucin se obtiene por sustitucin sucesiva de
los valores de las incgnitas, a partir de la ltima cuyo valor es inmediato.
Si el sistema es compatible y al reducirlo a la forma escalonada se obtiene r<n ecuaciones no
nulas, entonces le sistema es indeterminado y su solucin general se obtiene dejando n-r
incgnitas libres (como parmetros) y expresando a las otras r incgnitas en funcin de estas.

39

Apuntes de lgebra

6. Matrices y determinantes.
6.1 Definicin de matriz y de igualdad de matrices.
MATRIZ: Es una tabla o arreglo rectangular de elementos reales o complejos.
Para trabajar con matrices se ha desarrollado una notacin especial. La posicin de un
elemento en una matriz se describe al dar el rengln y la columna en la que ste se encuentra.
El elemento en el rengln i y la columna j de una matriz A se denota como aij.
El primer subndice indica el rengln y el segundo subndice indica la columna.
Una matriz A de m x n es un arreglo de la forma:

A=

a11
a21

a12
a22

... a1n
. . . a2 n

am1 am2 amn

En forma abreviada, la matriz de la definicin anterior puede expresarse como:

aij

Donde i = 1, 2, 3, , m y j = 1,2,3,, n.

Al arreglo horizontal:

se le conoce como el primer rengln de

a11 a12 a1n

la matriz, as hasta el i-simo rengln de la matriz.

En forma anloga, el arreglo vertical

aij
a2 j

Se le conoce como la j-sima columna.

amj
Comnmente se representa a las matrices con letras maysculas y a sus elementos con letras
minsculas.
Una matriz de orden 1 x n es conocida como matriz rengln o vector rengln y una matriz
de orden n x 1 es conocida como matriz columna o vector columna.

Ejemplo:

40

Apuntes de lgebra

El desarrollo de una teora algebraica de matrices se inicia al definir el concepto de igualdad

de matrices.
IGUALDAD DE MATRICES:
Se dice que dos matrices son iguales cuando tienen los mismos elementos y stos se
encuentran dispuestos de la misma manera en ambos arreglos. Por lo tanto A = B si aij = bij
donde
A aij y B bij ; para i 1,2,3..., m y j 1,2,3,..., n

Ejemplo:
Operaciones con matrices y sus propiedades: adicin, sustraccin, multiplicacin por un
escalar y multiplicacin.
ADICIN.
La primera de las operaciones con matrices y tambin la ms sencilla, es la adicin. Esta
operacin puede efectuarse cuando las matrices son del mismo orden y el resultado se
obtiene sumando los elementos correspondientes de ambas matrices. Si las matrices no son
del mismo tamao u orden, se dice que las matrices no son conformables y no se pueden
sumar, y en consecuencia la suma no existe
Si C = A + B, entonces

cij aij bij

Ejemplo:
La adicin de matrices, satisface las propiedades que se enuncian a continuacin.

Teorema:
Si A, B y C son matrices de mxn cuyos elementos son nmeros complejos, entonces:
1) Asociatividad; A + (B + C) = (A + B) + C
2) Conmutatividad; A + B = B + A
3) Elemento idntico; Existe una matriz 0 de mxn tal que A + 0 = A
4) Elemento inverso; Existe una matriz A de mxn tal que A + (-A) = 0
A la matriz 0, que es una matriz de mxn cuyos elementos son todos nulos, se le conoce como
matriz nula o matriz cero de mxn.
A la matriz A, que es una matriz de mxn cuyos elementos son los simtricos de los elementos
de A, se le conoce como la simtrica de A o la negativa de A
Auxilindonos de la definicin anterior, se pueden definir la Sustraccin de Matrices.

41

Apuntes de lgebra

Para obtener la diferencia A B, bastar con restar los elementos de la matriz A con los
elementos correspondientes de la matriz B.
A B = A + (-B)

Ejemplo:
MULTIPLICACIN POR UN ESCALAR.
En ocasiones, se requiere multiplicar una matriz por un nmero, al que genricamente se le
conoce como escalar. La multiplicacin del escalar por una matriz A, es la matriz que se
obtiene al multiplicar cada uno de los elementos de A por el escalar. La matriz resultante ser
del mismo orden que la matriz A.
Sea A =

aij

una matriz de mxn con elementos en C, y C. El producto A

Es una matriz E = eij

Ejemplo:

de mxn, definida por

eij aij ; para i 1,..., m y j 1,..., n

La multiplicacin por un escalar satisface las siguiente propiedades.

Teorema:
Si A y B son matrices de mxn con elementos en C y , C, entonces:
( A + B) = A + B
( + ) A = A + A
( A ) = ( ) A
Se define A como la matriz (-1)A. Esto significa que para negar una matriz, se multiplica cada
elemento de la matriz por -1.
De aqu se tiene que A B = A + (-1) B
MULTIPLICACIN DE MATRICES.
La manera ms natural de multiplicar dos matrices A y B parecera ser multiplicar elementos
correspondientes de A y de B. Sin embargo, se ha encontrado que sta no es la manera ms
til para multiplicar matrices. Los matemticos han dado una regla alternativa que consiste en
multiplicar, de manera sistemtica, los renglones de la primera matriz A por las columnas de

42

Apuntes de lgebra

la segunda matriz B. Esta regla se establece al dar un mtodo para obtener un elemento
arbitrario de la matriz producto AB.
En general si A y B son dos matrices tales que el nmero de columnas de A coincide con el
nmero de renglones de B, el elemento que se encuentra en la posicin correspondiente al
rengln i y la columna j de la matriz producto AB, se obtiene sumando los productos de los
elementos del rengln i de la matriz A por sus elementos correspondientes en la columna j de
la matriz B.
Si el nmero de columnas de A no es igual al nmero de renglones de B, se dice que el
producto no existe, las matrices no son conformables para el producto de matrices.
Sea A una matriz de n columnas y B una matriz de n renglones. El rengln i de A es

ai1 ai 2 ain
Y la columna j de B es

Si C = AB, entonces

b1 j
b2 j

bnj

cij ai1b1 j ai 2b2 j ainbnj

Generalizando esto es:
A = [ aij ] m x n y B = [ bij ] de n x q, el producto AB es una matriz C = [ cij ] de m x q definida
por:
n

c ij

ik bkj

k 1

Ejemplo:
La multiplicacin de matrices no es conmutativa; es decir, no puede establecerse que para dos
matrices A y B (conformables para el producto AB) se tenga que AB = BA
Puesto que AB y BA representan en general matrices diferentes, es importante hacer nfasis
en el orden en que se multiplican. As, en el producto AB se dice que la matriz A
premultiplica a la matriz B mientras que en el producto BA se dice que A postmultiplica a
B.

43

Apuntes de lgebra

En algunos casos, la multiplicacin puede efectuarse en un sentido, digamos AB, pero no en el

otro, es decir BA. En otros casos la multiplicacin puede efectuarse tanto en un sentido como
en el otro, pero los resultados pueden ser diferentes o iguales segn las matrices de que se
trate.
Cuando dos matrices Ay B son tales que AB = BA se dice que son permutables (tambin
suele decirse que conmutan).

Ejemplo:
Orden de una matriz producto:
Sea A una matriz de m x r y B una matriz de r x n. A tiene r columnas y B tiene r renglones,
entonces AB existe. El primer rengln de AB se obtiene al multiplicar el primer rengln de A
por cada una de las columnas de B. Por lo tanto, el nmero de columnas de AB es igual al
nmero de columnas de B. La primera columna de AB es el resultado de multiplicar cada uno
de los renglones de A por la primera columna de B; entonces el nmero de renglones de AB es
igual al nmero de renglones de A. AB ser una matriz de m x n.
Esto se representa como sigue:

B AB
rxn
mxn

A
mxr

interiores coinciden
exteriores dan el tamao de AB
Ejemplo:
La multiplicacin de matrices satisface la ley asociativa que establece el siguiente enunciado.

Teorema:
Sean A, B y C matrices de orden mxn, nxp y pxq, respectivamente, cuyos elementos son
nmeros complejos, entonces:
A (BC) = (AB) C
Consideradas simultneamente, la adicin y la multiplicacin de matrices tienen las
propiedades que se enuncian a continuacin, conocidas como leyes distributivas de la
multiplicacin sobre la adicin.

Teorema:
Sean A, B y C matrices de orden mxn, nxp, y nxp, respectivamente, y D, E y F matrices de mxn,
mxn y nxp, respectivamente, cuyos elementos son nmeros complejos; entonces:
44

Apuntes de lgebra

A (B + C) = AB + AC
(D+ E) F = DF +EF
MATRIZ IDENTIDAD.
Las matrices cuadradas desempean un papel muy importante en la teora de matrices,
especialmente en lo que se refiere a sus aplicaciones. Es por ello que se establece cierta
terminologa especial para este tipo de matrices.
Si el nmero de renglones m es igual al nmero de columnas n, se dice que la matriz A es una
matriz cuadrada.
Se conoce como matriz identidad de orden n a una matriz cuadrada de orden n que es de la
forma:
1 0 0
0 1 0
0 0 1

0 0 0

0
0
0

Como puede verse, esta matriz est formada con unos y ceros nicamente. Los elementos
iguales a uno son aquello en que coinciden el nmero del rengln y el de la columna donde se
encuentran, y todos los dems elementos son iguales a cero.

Definicin.
Se llama matriz identidad de orden n a la matriz cuadrada In = ij ], tal que
ij = 1, si i = j ij = , si i j.
Al smbolo ij de la definicin anterior se le conoce como delta de Kronecker.
La matriz identidad juega un papel muy importante en el lgebra de matrices, ya que
constituye un elemento idntico para la multiplicacin. Las matrices cero juegan un papel
semejante al del cero en los nmeros reales, y las matrices identidad juegan un papel
semejante al del 1.

Teorema:
45

Apuntes de lgebra

Sea A una matriz de orden m x n y 0mn la matriz cero de m x n. Sea B una matriz cuadrada de
n x n, On e In las matrices cero e identidad de n x n. Entonces:
A + 0mn = Omn + A = A
B0n = 0nB = 0n
BIn = InB = B
ImA = A
6.2 Definicin y propiedades de la inversa de una matriz. Clculo de inversa por
transformaciones elementales.

Definicin y propiedades de la inversa de una matriz.

No toda matriz cuadrada tiene inversa. A las matrices que tienen inversa les llamamos no
singulares (regular) y a las que no tienen inversa singulares

Definicin:
Sea A una matriz de nxn con elementos en C. Se dice que A es no singular si existe
contrario se dice que A es singular.

, en caso

En cuanto a la unicidad, la inversa de una matriz cuadrada (si existe) es nica.

Propiedades:

Teorema:
Si A y B son dos matrices no singulares del mismo orden y C, entonces:
A-1 es nica
(A-1)-1 = A
(AB)-1 = B-1 A-1
(A)-1 = -1A-1, si .
NOTA: El producto de dos matrices no singulares es una matriz no singular.

Clculo de la inversa por transformaciones elementales.

Existe un mtodo prctico que se basa en el empleo de las transformaciones elementales por
rengln. Este mtodo consiste en aplicar una sucesin de transformaciones elementales a la
matriz A, hasta obtener la matriz identidad, y aplicar esta misma sucesin de
transformaciones a la matriz In con lo que se obtiene A-1. Si no es posible transformar la
matriz A en la matriz identidad entonces no existe A-1.
46

Apuntes de lgebra

Transformaciones elementales:
Intercambiando renglones
Sumando renglones
Multiplicar el rengln por un escalar
Multiplicar el rengln por un escalar y sumando el resultado a otro rengln.

Ejemplos:
Obteniendo la inversa.
Sea A una matriz de n x n.
1.- Se adjunta a A la matriz identidad del mismo orden In, para formar la matriz
AIn].
2.- Se calcula la forma escalonada reducida de AIn].
Si la forma escalonada reducida es de la forma [InB , entonces B es la inversa de A.
Si la forma escalonada reducida no es de la forma [InB, debido a que la primera submatriz de
n x n no es In, entonces A no tiene inversa.
Inicialmente el arreglo tiene del lado izquierdo a la matriz A y del lado derecho a la matriz
identidad In. Se efectan entonces (en ambas matrices simultneamente) las
transformaciones necesarias para obtener en el lado izquierdo la matriz In, y al finalizar el
proceso se obtiene en el lado derecho a la matriz A-1.
Esquematizando:

1
k
A In

In A1

Ejemplos:

6.3 Ecuaciones matriciales y su resolucin. Representacin y resolucin matricial de los

sistemas de ecuaciones lineales.

Ecuaciones matriciales y su resolucin.

Considerando la siguiente ecuacin entre matrices:
AX + B = 3X, donde X es la matriz incgnita.
47

Apuntes de lgebra

En ciertos casos estas ecuaciones, conocidas como ecuaciones matriciales, pueden resolverse
siguiendo el mismo procedimiento que se emplea para resolver ecuaciones planteadas con
nmeros, esto es, tratando de despejar la incgnita en trminos de los otros elementos que
intervienen en la ecuacin. Sin embargo, las propiedades de las operaciones con matrices
presentan algunas diferencias con respecto a las operaciones con nmeros, por lo que se debe
tener especial cuidado en que los pasos efectuados en el despeje son vlidos en el lgebra de
matrices.
Siguiendo el ejemplo anterior y dando valores a A y B.

Ejemplo:
Representacin y resolucin matricial de los sistemas de ecuaciones lineales.
Otro ejemplo de ecuacin matricial, de uso frecuente en las aplicaciones, los constituye la
llamada representacin matricial de un sistema de ecuaciones.
Un sistema de m ecuaciones lineales con n incgnitas puede quedar representado por la
expresin:
AX = B donde A es una matriz de mxn que se conoce como matriz de coeficientes del
sistema, X es una matriz de nx1 conocida como vector de incgnitas y B es una matriz de m
x1 conocida como vector de trminos independientes

Ejemplo:
6.4 Matrices triangulares, diagonales y sus propiedades. Definicin de traza de una matriz y sus
propiedades.
En una matriz cuadrada, los elementos que tienen los dos subndices iguales, es decir, a11. a22,
, ann, forman la diagonal principal. Dichos elementos se encuentran ubicados en lo que
geomtricamente sera una de las diagonales del cuadrado formado por la matriz (la diagonal
que va de izquierda a derecha y de arriba hacia abajo)
diagonalprincipal
\
Es una matriz de orden nxn

a11 a12 a1n

a1 a22 a2n

an1 an2 ann

48

Apuntes de lgebra

a11 a12 a1n

a21 a22 a2n

Tringulo Superior

an1 an2 ann
Tringulo inferior

El tringulo superior, est constituido por lo elementosa

ij

tales que i j

Estos elementos se encuentran situados por arriba de la diagonal principal.

aij tales que i j

El tringulo inferior constituido por los elementos

Estos elementos se encuentran situados por debajo de la diagonal principal.
Los tipos especiales de matrices cuadradas que veremos en esta seccin se refieren a la
naturaleza y disposicin de los elementos de acuerdo con estas tres regiones.

Matrices triangulares.
Sea A aij una matriz de nxn con elementos en C. Se dice que:
A es triangular superior si aij = 0 para i > j
A es triangular inferior si aij = 0 para i< j
De acuerdo a esta definicin, en una matriz triangular superior los elementos
correspondientes al tringulo inferior son todos nulos. En consecuencia, en una matriz de
este tipo slo pueden hallarse elementos distintos de cero en el tringulo superior y en la
diagonal principal.
a11 a12
0 a22
0

a13
a23
a33

Por el contrario, en una matriz triangular inferior los elementos del tringulo superior deben
ser nulos.
a11 0
a21 a22

0
0

a31 a32

a33

Con relacin a las matrices triangulares, superiores e inferiores se tiene el siguiente teorema.

49

Apuntes de lgebra

Teorema:
Si A y B son dos matrices triangulares superiores (inferiores) del mismo orden y C,
entonces:
A + B es triangular superior (inferior)
A es triangular superior (inferior)
AB es triangular superior (inferior)

Matriz Diagonal
Una matriz que es triangular superior e inferior a la vez; esto es, una matriz cuyos elementos
situados fuera de la diagonal principal son todos nulos, recibe el nombre de matriz diagonal;
dicho de otra forma, es una matriz en la que todos los elementos, fuera de la diagonal
principal son cero.
Sea A = [ aij ] una matriz de orden n x n con elementos C. Se dice que A es una matriz diagonal
aij 0 para i j y se representa con:
si

diag (a11, a22 ,..., ann )

Ejemplo:
Los clculos para efectuar operaciones con matrices se simplifican notablemente cuando se
trata de matrices diagonales, especialmente la multiplicacin.

Teorema:
Si A y B son dos matrices diagonales tales que A = diag (a 11, a22, , ann) y B = diag (b11, b22, ,
bnn) y C, entonces:
A + B = diag (a11 + b11 , a22+b22, , ann+bnn)
A = diag(a11, a22, ..., ann)
AB = diag(a11b11, a22b22, ..., annbnn)
Un caso particular de matriz diagonal es aquel en que todos los elementos de la diagonal
principal son iguales. A una matriz de este tipo se le conoce como matriz escalar es decir,
una matriz
A = [ aij) de nxn con elementos en C se dice que es una matriz escalar si aij =
.
As una matriz escalar es de la forma:

50

para i j y aii=

Apuntes de lgebra

0 0
0 0

0 0

Definicin de traza de una matriz y sus propiedades.

Se conoce como traza de una matriz cuadrada al nmero que se obtiene sumando los
elementos de su diagonal principal.

Definicin.
Sea A = [ aij ] una matriz de orden nxn con elementos en C. Se llama traza de A, y se
representa con tr A, al nmero:
n

tr A

Ejemplo.

ii

i 1

PROPIEDADES.
Teorema:
Si A y B son dos matrices de nxn con elementos en C y C:
tr (A + B) = (tr A) + (tr B)
tr (A) = (tr A)
tr (AB) = tr (BA)
6.5 Transposicin de una matriz y sus propiedades. Matrices simtricas, antisimtricas y
ortogonales. Conjugacin de una matriz y sus propiedades. Matrices hermitianas,
antihermitianas y unitarias. Potencia de una matriz y sus propiedades.
La transposicin es una operacin que transforma una matriz en otra, llamada su transpuesta,
cuyos renglones son las columnas de la matriz original y cuyas columnas son los renglones de
la matriz original.

Definicin:
Sea A = [ aij ] una matriz de m x n con elementos en C. Se llama transpuesta de A a la matriz de
n x m AT = [cij ] tal que:
cij = aji
De acuerdo con esta definicin, el elemento correspondiente al rengln i y columna j de AT es
el que se encuentra en el rengln j y columna i de la matriz A.
51

Apuntes de lgebra

Ejemplo:
Propiedades.
Teorema:
Si A y B son dos matrices con elementos en C y C, entonces:
(AT)T = A
(A)T = AT
(A + B)T = AT + BT, A + B puede obtenerse.
(AB)T = BTAT, si AB puede obtenerse.

Matrices simtricas y antisimtricas.

La transposicin da lugar a la definicin de dos tipos especiales de matrices cuadradas.

Definicin.
Sea A una matriz de n x n con elementos en C. Se dice que:
A es simtrica si AT = A
A es antisimtrica si AT = -A
Las caractersticas que tienen los elementos de una matriz simtrica y antisimtrica son las
siguientes:
A = AT en consecuencia:

aij a ji

Es decir que los elementos simtricos con respecto a la diagonal principal son iguales.

Ejemplo:
De manera similar, para las matrices antisimtricas se tiene:
A = -AT esto es:

aij a ji

Es decir que los elementos simtricos con respecto a la diagonal principal deben ser uno el
negativo del otro. Adems, de la expresin anterior se tiene, para i = j, que:

aii aii aii 0

Por lo que los elementos de la diagonal principal deben ser nulos.

52

Apuntes de lgebra

Ejemplo.

Propiedades.
Teorema:
Si A y B son dos matrices simtricas (antisimtricas) de nxn y C, entonces:
A + B es simtrica (antisimtrica)
A es simtrica (antisimtrica)

Teorema:
Si A es una matriz de nxn con elementos en C, entonces:
A + AT es simtrica
A AT es antisimtrica.

Matriz Ortogonal.
Una matriz A no singular se dice que es ortogonal si

Ejemplo.
Conjugacin de una matriz y sus propiedades.
La conjugacin transforma una matriz en otra, llamada su conjugada, cuyos elementos son los
conjugados de los elementos correspondientes en la matriz original, como lo establece la
siguiente definicin.

Definicin.
Sea A = [aij] una matriz mxn con elementos en C. Se llama conjugada de A a la matriz de mxn
A cij tal cij aij

Ejemplo.

Propiedades.

53

Apuntes de lgebra

Teorema:
Si A y B son dos matrices con elementos en C y C, entonces:
1)
2)
3)
)

=
=
+ = + ,
=
,

Transposicin-Conjugacin de una matriz y sus propiedades.

Se conoce como transposicin-conjugacin a la aplicacin sucesiva de las dos operaciones
definidas anteriormente. A la matriz que se obtiene se le llama conjugada-transpuesta de la
matriz original.

Definicin.
Sea A una matriz de mxn con elementos en C. Se llama conjugada transpuesta de A, y se
representa con A*, a la matriz de nxm definida por:

A A

El orden es que se efecten las operaciones de transposicin y conjugacin es indiferente,

como lo seala el siguiente teorema.

Teorema.
Si A es una matriz de mxn con elementos en C, entonces:
A A

AT

Ejemplo:
Teorema.
Si A y B son dos matrices con elementos en C y C, entonces:
1) ( ) =
2) ( ) =
3) ( + ) =
)( ) =

Matrices hermitianas, antihermitiana y unitarias.

A partir de la conjugacin-transposicin se definen otros dos tipos especiales de matrices
cuadradas, de acuerdo a la siguiente definicin.

54

Apuntes de lgebra

Definicin:
Sea A una matriz de nxn con elementos en C. Se dice que:
A es hermitiana si A = A
A es antihermitiana si A =

A es unitaria si A = A
Los elementos de una matriz hermitiana deben ser tales que los elementos simtricos con
respecto a la diagonal principal deben ser conjugados, adems los elementos de la diagonal
principal deben ser nmeros reales.

Ejemplo:
Para los elementos de una matriz antihermitiana los elementos simtricos con respecto a la
diagonal principal deben ser tales que sus partes reales slo difieran en el signo y sus partes
imaginarias sern iguales y los elementos de la diagonal principal deben ser nmeros
imaginarios.

Ejemplo.

Teorema:
Si A y B son dos matrices hermitianas (antihermitianas) de nxn, entonces A+B es hermitiana
(antihermitiana)

Teorema:
Si A es una matriz de mxn con elementos en C, entonces:
A A* es hermitiana
A* A es hermitiana
A+A* es hermitiana, si A es cuadrada
A-A* es antihermitiana, si A es cuadrada.
Potencia de una matriz y sus propiedades.
De manera similar al caso de los nmeros, se conoce como potencia ensima de una matriz
cuadrada al producto. A A A (n factores).

55

Apuntes de lgebra

Definicin:
Sea A una matriz de mxm con elementos en C y sea n N. Se llama potencia ensima de A, y se
representa con An, a la matriz definida por A0 = Im, An = A An-1, para n 1

Teorema:
Si A es una matriz cuadrada con elementos en C y m,n N, entonces:
A A =A
(A ) = A
A partir de la definicin de potencia ensima se establecen los siguientes tipos especiales de
matrices cuadradas.

Definicin:
Sea A una matriz de mxm con elementos en C. Se dice que A es:
Idempotente si A2 = A
Involuntaria si A2 = I
Nilpotente (de ndice n) si n es el menor nmero natural tal que An =0
Peridica si n es el menor nmero natural distinto de uno tal que An = A

Teorema:
Sea A una matriz de mxm con elementos en C:
Si A es indempotente entonces An = A, n N
Si A es involuntaria entonces A2n = I, A2n+1= A, n N

6.6 Definicin de determinante de una matriz y sus propiedades. Clculo de determinantes.

Regla de Sarrus, desarrollo por cofactores y mtodo de condensacin. Clculo de la inversa por
medio de la adjunta. Regla de Cramer para la resolucin de sistemas de ecuaciones lineales de
orden superior a tres.

Definicin de determinante de una matriz y sus propiedades.

56

Apuntes de lgebra

La forma de representar al determinante de una matriz consiste en escribir sus elementos tal
y como aparecen en el arreglo, pero reemplazando los parntesis rectangulares por barras
verticales para indicar que se trata de un determinante.
As, para una matriz de dos por dos se tiene:

a11 a12
a21 a22

a11a22 a12a21

Expresin que puede considerarse como la definicin del determinante de orden dos.
Es importante resaltar que una matriz es un arreglo de nmeros mientras que su
determinante es un nmero.

Ejemplo:
Determinante:
Es la suma de n! productos, la mitad de ellos con signo + y la mitad con signo -.
Cada uno de los productos consta de n factores.
En cada producto hay un elemento de cada rengln y un elemento de cada columna.
Determinante de orden tres, se define como sigue.

bg

a11

a12

det A a21 a22

a31 a32

a13
a23 a11a22 a33 a12 a23a31 a13a21a32 a13a22 a31 a12 a21a33 a11a23a32
a33

Obsrvese que hay seis productos, cada uno de tres elementos de la matriz diagonal. Tres de
los productos aparecen con signo positivo (conservan su signo), y tres con signo negativo
(cambian su signo)

Ejemplo:
Propiedades.
Las principales propiedades de los determinantes pueden ser consideradas en dos grupos: las
primeras se refieren a las condiciones bajo las cuales se puede concluir que un determinante
es nulo mediante la simple inspeccin de las lneas de la matriz (renglones y columnas), as
como a los efectos producidos en el determinante al efectuar transformaciones elementales
como las lneas de la matriz. El segundo grupo se refiere a las propiedades del determinante
en relacin con las operaciones definidas para las matrices.

57

Apuntes de lgebra

Teorema:
Sea A= [aij] una matriz de nxn con elementos en C.
Si los elementos de una lnea de A (rengln o columna) son todos nulos, entonces det A = 0.
Si B se obtiene de A multiplicando los elementos de una de sus lneas por un nmero C,
entonces det B = det A.
Si B se obtiene de A intercambiando dos lneas paralelas (dos renglones o dos columnas),
entonces det B = - det A.
Si dos lneas paralelas de A son proporcionales entonces det A = 0.
Si B se obtiene de A sumando a los elementos de una lnea los elementos de una lnea paralela
multiplicados por un nmero C, entonces det B = det A.

Teorema:
Si A = [aij] y B= [bij] son dos matrices de nxn con elementos en C, entonces:
det A = det AT
det (A) = n det A
det (AB) = (det A) (det B)

Ejemplo.
Regla de Sarrus:
Es el mtodo ms sencillo para el clculo de determinantes. Este mtodo se emplea para
calcular determinantes de segundo y tercer orden exclusivamente.
Para calcular el valor de un determinante de segundo orden empleando la regla de Sarrus, se
efecta el producto de los elementos de la diagonal principal y a ste se resta el producto de
los elementos de la diagonal secundaria, esquematizando:

a11 a12
a21 a22

a11a22 a21a12

Como se ve, el resultado que arroja la regla de Sarrus coincide con la definicin de
determinante de segundo orden.

Ejemplo.

58

Apuntes de lgebra

Para calcular el valor de un determinante de tercer orden empleando la regla de Sarrus, se

efecta el producto de los elementos de la diagonal principal y de las dos diagonales
paralelas a ella el trmino diagonales paralelas se debe a que, cuando se emplea el artificio
que consiste en volver a escribir los dos primeros renglones a continuacin del tercero, los
elementos en cuestin aparecen formando diagonales paralelas a la principal. A la suma de
dichos productos se restan los productos de los elementos de la diagonal secundaria y de las
dos paralelas a ella.
En forma esquemtica:
a11 a12

a13

a21 a22

a23 a11a22a33 a21a32a13 a31a23 a12 a31a22a13 a11a32a23 a21a12a33

a31 a32

a33

a11 a12

a13

a21 a22

a23

Ejemplo.
Tambin se pueden agregar las dos primeras columnas a la derecha y formar los productos de
los elementos que atraviesas las flechas. A los productos de las flechas que van de la izquierda
superior a la derecha inferior se les asigna el signo positivo y a los otros el signo negativo.

a11

a12

a13 a11

a12

a21 a22

a23 a21 a22

a31 a32

a33 a31 a32

Ejemplo.
Es importante subrayar que la regla de Sarrus slo se aplica a determinantes de segundo y
tercer orden. En ocasiones se pretende errneamente generalizar esta regla para calcular
determinantes de orden mayor; sin embargo se puede comprobar fcilmente que al aplicar la
regla de Sarrus a un determinante de orden superior al tercero se obtiene un desarrollo que
no coincide con el de la definicin.

Desarrollo por Cofactores.

Este mtodo es aplicable al clculo de determinante de cualquier orden y constituye el
fundamento de todos los mtodos de aplicacin prctica.
Considerando nuevamente el desarrollo del determinante de tercer orden de la definicin se
tiene:

det A a11a22a33 a11a23 a32 a12a21a33 a12a23a31 a13 a21a32 a13a22a31

59

Apuntes de lgebra

Como en cada trmino hay un elemento de cada rengln y de cada columna, podemos
seleccionar una lnea cualquiera y factorizar los elementos de sta. Por ejemplo, eligiendo el
primer rengln podemos factorizar sus elementos y escribir.

det A a11(a22a33 a23a32 ) a12 (a21a33 a23a31) a13 (a21a32 a22a31)

Cada uno de los factores que multiplican a los elementos del primer rengln en la expresin
anterior constituye el desarrollo de un determinante de segundo orden. As:
Para a11 tenemos que:
(a22a33 a23 a32 )

a22

a23

a32

a33

a23

a21

a33

a31

Para a12 se tiene:

a21a33 a23a31

a21 a23
a31 a33

Para a13 tenemos que:

a21a32 a22 a31

a21 a22
a31 a32

Cada uno de estos determinantes puede ser obtenido de la matriz original suprimiendo el
rengln y la columna en que se encuentre el elemento correspondiente. Tales determinantes
reciben el nombre de menores
As por ejemplo, el menor de a12 se puede obtener de la siguiente manera:

a11 a12

a13

a21 a22

a23

a31 a32

a33

a21 a23
a31 a33

Podemos ver que los factores que multiplican a los elementos del primer rengln no son, en
todos los casos, los menores correspondientes.
En el caso de a12 dicho factor es igual al menor con el signo cambiado. Esto se identifica con el
hecho de que tal elemento es de caracterstica impar es decir que la suma del nmero del
rengln y de la columna en que se encuentra es un nmero impar (1+ 2 = 3). Slo se tiene un
elemento de caracterstica impar en el desarrollo anterior por haber elegido el primer rengln
para factorizar sus elementos. Si se hubiese elegido el segundo rengln se tendran dos
elementos de caracterstica impar (a21 y a23) y, en tal caso, los factores que multiplican a stos
60

Apuntes de lgebra

en el desarrollo del determinante seran iguales a sus correspondientes menores con el signo
cambiado.
Surge as el concepto de cofactor, como el factor que multiplica al elemento en el desarrollo
del determinante. Dicho cofactor es igual al menor, o al negativo de ste, segn sea par o
impar la caracterstica del elemento.
Expresin que se conoce como el desarrollo por cofactores segn el primer rengln. Es claro
que pueden obtenerse desarrollos similares para cada uno de los otros renglones y columnas
de la matriz A.

Definicin:
Sea A = [aij] una matriz de nxn con elementos en C.
Se llama menor del elemento aij, y se representa como Mij, al determinante de la matriz que se
obtiene suprimiendo en A el rengln i y la columna j.
Se llama cofactor del elemento aij y se representa como cij, al producto

i j

M ij .

Ejemplo:
Teorema.
Si A = [aij] es una matriz de nxn con elementos en C y r es un nmero entero tal que

1 r n, Entonces:
n

i)

det A

rj c rj

j 1
n

ii )

det A

ir c ir

i 1

El valor de un determinante puede obtenerse a partir de los elementos de una cualquiera de

sus lneas, sumando los productos de stos por sus respectivos cofactores.

Ejemplo.

61

Apuntes de lgebra

En caso general, el desarrollo por cofactores transforma el problema de calcular un

determinante de orden n en el de calcular n determinantes de orden n-1. Cada uno de estos
determinantes puede desarrollar a su vez por cofactores, obtenindose menores de orden n-2
y as sucesivamente. Se acostumbra continuar el proceso hasta obtener menores de orden 3 o
de orden 2, cuyo valor puede obtenerse empleando la regla de Sarrus.

Condensacin.
Este mtodo consiste en:
Elegir una lnea que contenga el mayor nmero de ceros posible.
Elegir un elemento no nulo de dicha lnea (de preferencia un 1 o un -1) y aplicar
reiteradamente las transformaciones elementales en las matrices hasta reducir a cero todos
los dems elementos de la lnea.

Desarrollar por cofactores segn dicha lnea.

Repetir los tres pasos anteriores hasta obtener un determinante de tercer orden (o de
segundo orden si se prefiere) y obtener su valor mediante la regla de Sarrus.

Ejemplo.
El mtodo de condensacin ofrece en cada ciclo un gran nmero de posibilidades para la
seleccin de la lnea y del elemento pivote. Una seleccin adecuada en cada caso puede
contribuir notablemente a simplificar los clculos correspondientes.

Matriz Adjunta. Clculo de la matriz inversa por medio de la adjunta.

Matriz Adjunta.
Se conoce como adjunta de una matriz cuadrada de A a la transpuesta de la matriz que se
obtiene reemplazando los elementos de A por sus respectivos cofactores, como lo establece la
siguiente definicin.

Definicin.
Sea A = [aij] una matriz de nxn con elementos en C, y sea cij el cofactor del elementos aij. Se
llama Adjunta de A a la matriz:
Adj A = [bij], donde bij = cji

Ejemplo.

62

Apuntes de lgebra

Teorema:
Si A es una matriz de nxn con elementos en C, entonces:
A (Adj A) = (Adj A) A = (det A) Im

Clculo de la matriz inversa por medio de la adjunta.

Es un mtodo el cual consiste en multiplicar el recproco del determinante por la adjunta.
Para esto se tiene que cumplir con el siguiente teorema.

Teorema:
Sea A una matriz de nxn con elementos en C: A-1 existe si y solo si det A

Corolario.
Si det A , entonces

1
A

1
Adj A
det A

Ejemplo.
Regla de Cramer para la resolucin de sistemas de ecuaciones lineales de orden superior a
tres.
Teorema: (Regla de Cramer)
Sea
+
+

+
+

+
+

=
=

Un sistema de n ecuaciones lineales con n incgnitas, y sea

coeficientes.
Si det A entonces
=

,
,

, (k=1,2, , n) donde

su matriz de

es tal que

Es decir que el valor de la k-sima incgnita en la solucin del sistema puede calcularse como
el cociente de los determinantes de las matrices Ak y A, donde Ak se obtiene reemplazando en
A a la k-sima columna por el vector de trminos independientes.

Ejemplo.
63

Apuntes de lgebra

7 Estructuras Algebraicas.
7.1 Definicin de operacin binaria. Propiedades de las operaciones binarias. Cerradura,
elementos idnticos e inversos, asociatividad y conmutatividad.

Definicin de Operacin Binaria.

El concepto de operacin binara es fundamental para el estudio de las estructuras algebraicas.
No se trata de una operacin en particular, como la adicin de nmeros complejos o la
multiplicacin de matrices, sino del concepto mismo de operacin binaria; es decir, de aquello
que es comn a todas las operaciones de este tipo.
Lo que se puede observar entre operaciones es:
Se aplican a dos elementos de la misma especie (de ah el trmino de binaria).
Asignan a dichos elementos un nico resultado, que es otro elemento de la misma especie,
por medio de un criterio determinado.
Se puede decir que una operacin binaria es una regla que asigna a cada par ordenado de
elementos de un conjunto, un nico elemento de dicho conjunto.

Definicin.
Una operacin binaria * definida en un conjunto S no vaco es una funcin de SxS en S. La
imagen del par ordenado (a, b) bajo la operacin * se representa con a*b.

Ejemplo.
Operaciones binarias conocidas:
Adicin y multiplicacin en el conjunto de los nmeros naturales
La sustraccin en el conjunto de los nmeros enteros.
La divisin en el conjunto de los nmeros complejos diferentes de cero.
La adicin y la sustraccin de polinomios
La adicin y la multiplicacin en el conjunto de matrices cuadradas de orden n.
La unin e interseccin de conjuntos, etc.
Para definir una operacin binaria en un conjunto S bastar con especificar una regla que
asigne a cada par ordenado de elementos de S un nico elemento de S.

Ejemplo.

64

Apuntes de lgebra

Aunque la manera ms usual de definir una operacin binaria es mediante una expresin
matemtica en ciertos casos suele hacerse tambin mediante una tabla. Estas tablas son
particularmente tiles cuando el conjunto sobre el que se define la operacin es finito y tiene
pocos elementos.

Ejemplo.
Propiedades.
Cerradura.
Sea * una operacin binaria definida en un conjunto S, y sea T un subconjunto de S. Se dice que
T es cerrado respecto a la operacin * si:

a, b T :

a b T

Es decir que el subconjunto T es cerrado respecto a la operacin * si al aplicar dicha operacin

a dos elementos cualesquiera de T se obtiene como resultado otro elemento de T.

Ejemplo.

Conmutatividad.
Sea * una operacin binaria definida en un conjunto S. Se dice que * es conmutativa si:

a, b S:

a b b a

Ejemplo.
Existencia del elemento idntico.
Sea * una operacin binaria definida en un conjunto S:
e * a a * e a,
Un elemento e S es un idntico para * si

a S

Ejemplo.

Existencia del elemento inverso.

Sea * una operacin binaria definida en un conjunto S, y:
Sea e un elemento idntico para *. Un elemento i S es un inverso del elemento a S para * si:

i *a a*i e
65

Apuntes de lgebra

* Para poder obtener elementos inversos se requiere que exista elemento idntico.

Ejemplo.
Asociatividad.
Sea * una operacin binaria definida en un conjunto S. Se dice que * es asociativa si:

a, b, c S:

a b c a b c

Ejemplo.
7.2 Definicin de grupo. Propiedades elementales de los grupos. Grupo abeliano. Subgrupo.

Grupo.
La estructura algebraica ms simple es la de grupo. Se emplea el nombre de grupo para
designar la estructura que poseen los sistemas formados por un conjunto y una operacin
binaria cuando dicha operacin es asociativa, est dotada de elemento idntico y todo
elemento del conjunto tiene inverso para la operacin. Recordar la cerradura, que se da por
asentada en una operacin binaria.

Definicin.
Sea G un conjunto no vaco y sea * una operacin binaria definida en G. El sistema (G,*) tiene
estructura de grupo si:

i ) a , b G , a b G
ii ) a , b, c G ,

a b c a b c

iii ) e G tal que e a a , a G

iv ) a G , i G tal que i a e
Ejemplo.

Como consecuencia de los postulados que establece la definicin de grupo, se deducen una
serie de propiedades, las cuales son comunes a todos los sistemas que tienen dicha estructura.

Teorema:
Si (G, *) es un grupo entonces el idntico para * es nico.

Teorema:
Si (G, *) es un grupo entonces el inverso de a G para la operacin * es nico.
66

Apuntes de lgebra

Grupo Abeliano.
Si a la estructura anterior se le agrega un nuevo postulado, se obtendra una estructura ms
completa; ms rica, en el sentido que se podran efectuar en ella ciertos procesos algebraicos
que no seran vlidos en estructuras ms simples.
Al agregar la propiedad de conmutatividad a la operacin, la estructura obtenida se conoce
como grupo conmutativo o grupo abeliano.

Definicin.

a, b G a b b a

Un grupo (G, *) se dice que es abeliano si:

Entre las propiedades adicionales que poseen los grupos abelianos, como consecuencia de la
conmutatividad, se encuentran las siguientes.

Si (G, ) es un grupo abeliano entonces:

i ) a, b, cG; a b c a b c
ii ) a, b, c G; b a a c b c
Ejemplo.
Subgrupo.
Cuando un sistema (G, *) tiene estructura de grupo es posible que algunos subconjuntos de G
con la operacin * tengan, por si mismos, estructura de grupo. En tal caso se dice que stos
son subgrupos de G.

Definicin.
Sea (G, *) un grupo y sea S G, se dice que S es un subgrupo de G para la operacin * si (S, *)
es un grupo.
El siguiente teorema nos permite determinar cundo un subconjunto es un subgrupo, sin
tener que verificar todas las condiciones definidas para analizar a un grupo.

Teorema.
Sea (g, *) un grupo y sea S G, S es un subgrupo de G para la operacin * si y slo si:

i ) a, b S: a b S
ii ) a S: i S.

Ejemplo.

67

Apuntes de lgebra

7.3 Definicin de anillo, tipos de anillo. Definicin de dominio entero.

A partir de esta nueva estructura algebraica, se podr observar que es ms completa, y se
hablaran de sistemas formados por un conjunto y dos operaciones binarias.

Definicin.
Sea A un conjunto no vaco y sean + y dos operaciones binarias definidas en A. El sistema
(A, +, ) tiene estructura de anillo si:
i ) a, b A; a b A
ii ) a, b, c A; a b c a b c
iii )
iv )
v)

a, b A; a b b a
e A tal que e a a, a A
a A, i A tal que i a e

vi ) a, b, c A; a b c a b c
vii ) a, b, c A; a b c a b a c
Un anillo es un grupo abeliano para la primera operacin; en consecuencia, todas las
propiedades de los grupos y de los grupos abelianos son vlidas en la estructura (A, +)
conocida como la estructura aditiva del anillo.
Al elemento idntico del postulado iv), se le conoce como el cero del anillo, cabe enfatizar
que este elemento no es el nmero cero necesariamente.
A partir del postulado vi) se comienza a trabajar con la segunda operacin binaria, y se
establece que debe cumplir con la asociatividad adems de la distributividad, en donde se
utilizan las dos operaciones simultneamente.

Ejemplo.
De manera similar al concepto de subgrupo, un subconjunto de anillo que es un anillo para las
mismas operaciones, se dice que es un subanillo de ste.

Anillo Conmutativo y Anillo con Unidad.

Definicin.
Sea (A, +, ) un anillo:

i ) Si a , b A; a b b a , se dice que el anillo es conmutativo

ii ) Si u A; tal que u a a , a A
se dice que el anillo tiene unidad.

68

Apuntes de lgebra

Al elemento u es el idntico para la segunda operacin, se le conoce como la unidad del

anillo. Este elemento no es el uno necesariamente.

Ejemplo
Dominios Enteros.
Cuando sus elementos a y b de un anillo son tales que: a , b
son divisores propios de cero

y a b=

se dice que

Divisores propios de cero: Aquellos nmeros diferentes ambos de cero para los cuales se
cumple que el producto entre ellos sea cero.
La estructura denominada dominio entero posee como caracterstica adicional la no
existencia de divisores propios de cero, como lo establece la definicin.
Definicin.
Sea (A, +, ) un anillo conmutativo con unidad de por lo menos dos elementos, donde
a b = a= o b= se dice que (A, +, ) es un dominio entero.

1 si

Ejemplo.
7.4 Definicin de campo. Los nmeros racionales, reales y complejos como ejemplos de campos
con la adicin y la multiplicacin.
Al incorporar los inversos para la segunda operacin se obtiene la estructura ms algebraica
ms completa, dicha estructura recibe el nombre de campo (cuerpo) y contiene las
propiedades comunes a los sistemas numricos ms completos algebraicamente; entre los
que se encuentran los nmeros racionales, los nmeros reales y los nmeros complejos con
sus respectivas operaciones de adicin y multiplicacin.
Un campo es un anillo conmutativo con unidad cuyos elementos distintos del cero tienen
inverso para la segunda operacin.

Definicin.
Sea A un conjunto de por los menos dos elementos y sean + y
definidas en A. El sistema (A, +, ) es un campo si:
(A, +) es un grupo abeliano.
(A- e , ) es un grupo abeliano
es distributiva.

69

dos operaciones binarias

Apuntes de lgebra

Estado anillo conmutativo con unidad para el cual existen inversos para la segunda operacin
para todos los elementos del conjunto, excepto el cero del anillo (entendiendo por cero del
anillo, el elemento idntico de la 1. Operacin.)
*Todo campo es un dominio entero.

Ejemplos.
Otras estructuras algebraicas.
Estructura semigrupo: Se le define a un conjunto de operaciones que cumple con la cerradura
y la asociatividad (A, *).
Semigrupo conmutativo: Se asocia con la propiedad de conmutatividad.
Semigrupo con unidad: Tiene un elemento idntico
7.5 Isomorfimos y homomorfismo entre grupos y entre anillo, propiedades elementales.
El trmino isomorfo etimolgicamente significa de igual forma, se emplea en el lgebra
para denotar la idea de que dos sistemas son tan parecidos que pueden considerarse, en
esencia el mismo.

Ejemplo.
En general, la sustitucin de los elementos de un conjunto A por los elementos de otro
conjunto B puede hacerse mediante una funcin: :
. Cuando dicha funcin es biyectiva
los elementos de A y de B se encuentran en relacin uno a uno, y cada uno de ellos puede
considerarse como el reflejo de su elemento correspondiente en el otro conjunto.
Si en el conjunto A est definida una operacin * y en el conjunto B una operacin , es
necesario que los resultados obtenidos en el sistema (A, *) se conservan al efectuar las
operaciones en el sistema (B, ) con las imgenes respectivas por lo que la funcin f debe ser
tal que: f(a*b) = f(a) f(b) a, b A
Esta propiedad de la funcin f garantiza que se llega al mismo resultado empleando
cualquiera de los dos procedimientos siguientes:
1. Efectuando la operacin * en el sistema (A,*) y aplicando despus la funcin f al
resultado.
2. Aplicando la funcin f a cada uno de los elementos y efectuando despus la operacin
con las imgenes denle el sistema (B, )

70

Apuntes de lgebra

Esquematizando:
( , )
f

( ), ( )

(
)
( ) ( )

Definicin:
Sean (G, *) y (G, ) dos grupos. Una funcin f: G G es un homomorfismo si:
f(a*b) = f(a) f(b) a, b G. Si f es, adems biyectiva, se dice que es un isomorfismo y que
los grupos (G, *) y (G, ) son isomorfos.
Al ser f una funcin biyectiva existe su inversa f-1 y se puede emprender el regreso del sistema
(B, ) al sistema (A, *) una vez que se ha efectuado la operacin.

Ejemplo.
Teorema:
Sean (G, *) y (G, ) dos grupos, y f:G G un homomorfismo:
i)
ii)

Si e es el idntico para * y e es el idntico para , entonces f(e) = e

Si es el inverso de a G para * y ( ) es el inverso de f(a) G para , entonces:
f() = ( )

Teorema:
Sean (G, *) y (G, ) dos grupos. Si f: G G es un isomorfismo entonces f-1: G G es un
isomorfismo.
Los conceptos de isormorfismo y homomorfismo entre estructuras algebraicas no se limitan
al caso de la estructura de grupo. Tambin se aplican a los anillos. Por lo que se puede hablar
de isomorfismos entre anillos, entre campos y entre espacios vectoriales.

Ejemplo.

71