UNIVERSIDAD NACIONAL DE INGENIERIA

FACULTAD DE CIENCIAS

ÁLGEBRA LINEAL PARA FÍSICOS I (CF-1C2A)

INTRODUCCIÓN AL ÁLGEBRA

1. GRUPOS
El espacio vectorial es un conjunto de objetos matemáticos (matrices, funciones, n-uplas,
segmentos orientados, polinomios, sucesiones, etc) llamados vectores sujetos a una ley de
composición interna (operación entre ellos mismos) y una ley de composición externa (op-
eración con elementos de otro conjunto). La primera ley usa la estructura algebraica de
grupo y en la segunda ley el otro conjunto es una estructura algebraica llamada cuerpo.
De manera que definiremos las estructuras algebraicas de grupo y cuerpo; hay otras estruc-
turas como el anillo, el espacio vectorial, el álgebra e inclusive módulos. Haremos hincapié,
en lı́neas generales, al anillo y a álgebras.

Definición: Sea un conjunto C y una función g : C × C → C, diremos que el doblete

(C, g) es un grupo si cumple los siguientes axiomas:

(a) [G1 ] Dg = C × C y Rg = C
(b) [G2 ] La función (operación) es asociativa

g(g(x, y), z) = g(x, g(y, z)) (1)

(c) [G3 ] ∃ e ∈ C : ∀x ∈ C g(x, e) = x (identidad por la derecha)

′ ′
(d) [G4 ] ∀x ∈ C, ∃ x ∈ C : g(x, x ) = e (inversa por la derecha)

Definición: Si card C = n, se dice que (C, g) es un grupo finito de orden n.

Ejercicios:

1) Sea C = R y g(x, y) = x + y + A donde A ∈ R. Verifique si (C, g) es un grupo.

Desarrollo:
[G1 ] Como para cualesquier x, y ∈ R, g(x, y) está bien definida entonces Dg = C × C.
¿Rg = C? es decir ∀y ∈ C, ¿∃ (x, z) ∈ C × C : g(x, z) = y?. Veamos
x + z + A = y ⇒ z = y − x − A es decir dados y, x ∈ C vemos que siempre existe z ∈ C.
[G2 ]

g(g(x, y), z) = g(x + y + A, z) = (x + y + A) + z + A

= x + (y + z + A) + A = g(x, y + z + A) = g(x, g(y, z)) (2)

[G3 ] ¿∃ e ∈ C : g(x, e) = x, ∀x ∈ C?
x + e + A = x ⇒ e = −A ∈ R
[G4 ] ¿∃ x′ ∈ C : g(x, x′ ) = e, ∀x ∈ C ?

1
x + x′ + A = −A ⇒ x′ = −x − 2A ∈ R
Por lo tanto (C, g) es un grupo.
√
2) Verifique si (C, g) es un grupo cuando el conjunto es C = {z ∈ R : z = p + 2q, p, q ∈
Q ∧ p2 + q 2 =
̸ 0} y la operación es
√ √ √
g(p + 2q, u + 2v) = pu + 2qv + 2(pv + qu)

Desarrollo: √ √ √
[G1 ] Dg = C × √
C. ¿Rg =√ C? Sea p + √ 2q ∈ C, veamos si existen a + 2b ∈ C y c + 2d ∈ C
tales que (a + 2b)(c + 2d) = p + 2q. Notemos que éste producto es equivalente a
√
(ac + 2bd − p) + 2(ad + bc − q) = 0 (3)
√
Ahora ac + 2bd − p = r1 ∈ Q y ad + bc − q = r2 ∈ Q entonces (3) implica que r1 + 2r2 = 0.
√ r1
Supongamos que r2 ̸= 0 entonces 2 = − ∈ Q que es falso, por lo tanto r2 = r1 = 0 y
r2
tenemos el siguiente sistema de dos ecuaciones con las dos incógnitas c, d

ac + 2bd = p
(4)
bc + ad = q

Multiplicando por b a la primera ecuación y por (−a) a la segunda y sumando ambos resul-
tados obtenemos d(2b2 − a2 ) = pb − qa. Si suponemos que 2b2 − a2 = 0 esto implicarı́a que
√ a pb − qa
2 = ∈ Q lo cual es falso entonces 2b2 − a2 ̸= 0 y como a2 + b2 ̸= 0 entonces d = 2
b 2b − a2
Análogamente multiplicando por a a la primera ecuación y por (−2b) a la segunda y luego
sumando los resultados obtenemos c(a2 − 2b2 ) = pa − 2bq y por los mismos argumentos
pa − 2bq
anteriores se obtiene que c = 2 .
√ √a − 2b2 √
Ası́ para cada a + 2b y p + 2q existe c + 2d y por tanto Rg = C.
[G2 ]
√ √ √ √ √
g(g(x + 2y, z + 2u), v + 2w) = g(xz + 2yu + 2(xu + yz), v + 2w)
√
= (xz + 2yu)v + 2(xu + yz)w + 2[(xz + 2yu)w + (xu + yz)v]
√
= xzv + 2xuw + 2yuv + 2yzw + 2(xzw + xuv + 2yuw + yzv)
√
= x(zv + 2uw) + 2y(uv + zw) + 2[x(zw + uv) + y(2uw + zv)]
√ √
= (x + 2y)[zv + 2uw + 2(zw + uv)]
√ √ √
= g(x + 2y, g(z + 2u, v + 2w)) (5)
√ √ √ √ √
[G3 ] ¿∃ e = (e1 + 2e2 ) ∈ C : g(x + 2y, e1 + 2e2 ) = x + 2y ∀(x + 2y) ∈ C?
Debemos recordar
√ que x2 + y 2 ̸= 0.√Efectuando la operación dada tenemos:
xe1 + 2ye2 + 2(xe2 + ye1 ) = x + 2y
Usando los mismos argumentos para llegar a (4) obtenemos el siguiente sistema de dos
ecuaciones con las dos incógnitas e1 , e2

xe1 + 2ye2 = x
(6)
ye1 + xe2 = y

2
 2 2
Con los mismos argumentos que solucionan (4) obtenemos
2 2 2 2
√ e2 (2y − x ) = 0 ⇒ e2 = 0 y
e1 (x − 2y ) = x − √2y ′ ⇒ e1 = 1. Por √ lo tanto √e = 1 + 0 2 = 1 ∈√C √
[G4 ] ¿∃ x = (x1 + 2x2 ) ∈ C : g(x + 2y, x1 + 2x′2 ) = e = 1 + 0 2 ∀(x + 2y) ∈ C?
′ ′ ′

Realizando la √operación en este caso √

se tiene:
′ ′ ′ ′
xx1 + 2yx2 + 2(xx2 + yx1 ) = 1 + 0 2
y del cual logramos el sistema de dos ecuaciones con dos incógnitas x′1 , x′2
xx′1 + 2yx′2 = 1

(7)
yx′1 + xx′2 = 0
y
Resolviendo este sistema x′2 (2y 2 − x2 ) = y ⇒ x′2 = 2 y también x′1 (x2 − 2y 2 ) = x ⇒
2y − x2
x x √ y
x′1 = 2 . Por lo tanto el inverso es x ′
= − + 2 ∈C
x − 2y 2 2y 2 − x2 2y 2 − x2
Finalmente (C, g) es un grupo.

3) Sea C = R y g(x, z) = x + z + pxz donde p ̸= 0. Verifique si (C, g) es un grupo.

Desarrollo:
[G1 ] ¿Rg = C?
Sea y ∈ C ¿∃(x, z) ∈ C × C : g(x, z) = y ? Veamos
y−x 1
x + z + pxz = y ⇒ x + z(1 + px) = y ⇒ z = esto implica que x ̸= − Luego:
1 + px p
1
Si C1 = R − {− } entonces Dg = C1 × C1 y Rg = C1
p
[G2 ]

g(g(x, z), y) = g(x, z) + y + pg(x, z)y

= x + z + pxz + y + p(x + z + pxz)y
= x + z + y + pxz + pxy + pzy + p2 xzy
= x + z + y + pzy + px(z + y + pzy)
= g(x, z + y + pzy) = g(x, g(z, y)) (8)

[G3 ] ¿∃e ∈ C1 : g(x, e) = x ∀x ∈ C1 ?

x + e + pxe = x ⇒ e(1 + px) = 0 como 1 + px ̸= 0 ⇒ e = 0 ∈ C1
′ ′
[G4 ] ¿ ∃x ∈ C1 : g(x, x ) = e = 0 ∀x ∈ C1 ?
′ ′ ′ ′ x
x + x + pxx = 0 ⇒ x (1 + px) = −x ⇒ x = − ∈ C1
1 + px
Por lo tanto (C1 , g) es un grupo

Definición: Un grupo (C, g) se llama conmutativo o abeliano si ∀x, y ∈ C ⇒ g(x, y) = g(y, x).

Observación: Si g(x, y) = g(y, x) para algunos elementos x, y ∈ C entonces estos elemen-

tos se llaman permutables o conmutables.
Si el conjunto es C = {matrices} con la operación g(A, B) = A + B entonces se puede
comprobar que (C, g) es un grupo conmutativo.
Y si el conjunto es C = {matrices cuadradas no singulares} con la operación g(A, B) = AB
entonces se verifica que (C, g) es un grupo no conmutativo. Para este caso se define el con-
mutador de dos matrices A y B como [A, B] = AB − BA y si ocurre que [A, B] = 0 entonces

3
tales matrices particulares son conmutables.

Ejercicio: Sea el conjunto C = {[x, z] ∈ R2 } con la operación g([p, q], [x, z]) = [px −
qz, pz + qx]. Demuestre que, usando el axioma [G1 ], el doblete (C1 , g) es un grupo donde
C1 = {[x, z] ∈ (R2 − {[0, 0]})}

09/09/2021