on binaria , entonces las leyes de cancelaci

Teorema 1. Si G es un grupo con una operaci on izquierda

y derecha se cumplen en G, i.e.

ab=acb=c
(1)
ba=cab=c

on. Suponer que a b = a c, entonces existe a0 G

Demostraci

a0 (a b) = a0 (a c)
(a0 a) b = (a0 a) c
eb=ec
b=c
El resultado para b a = c a se demuestra de forma analoga multiplicando por la derecha.

Dar dos ejemplos de grupos con todos sus subrupos.

1. Grupo 4 de Klein V = {e, a, b, c} con la operacion binaria definida por la siguiente tabla:

e a b c
e e a b c
a a e c b
b c c e a
c c b a e
nicos subgrupos no triviales de V son {e, a}, {e, b} y {e, c}
Los u
2. Z4 = {0, 1, 2, 3} con la operaci
on binaria definida por la siguiente tabla:

0 1 2 3
0 0 1 2 3
1 2 3 3 0
2 2 3 0 1
3 3 0 1 2
nico subgrupo no trivial de Z4 es {0, 2}.
El u

Sea = {n , n 1} el conjunto de las suceciones n de escarlares en F tal que n = 0 para un

n
umero finito de valores n. Con la adicion y multiplicacion definidos por:

{n } + {n } = {n + n }
{n } = {n}

Entonces es un espacio vectorial sobre F. Definamos la aplicacion u : F como:

X
u({n }, {n }) = 2n 2n
n=1
Entonces u es un semiproducto interno, que no es un producto interno.

on. Sean n = an + ibn , n = cn + ibn , n = en + fn y , F. Debemos verificar

Demostraci
que se cumplen las condiciones de semiproducto interno.

1.

X
u({n } + {n }, {n }) =
n=1

1
Sea (, , ) un espacio de medida, que consisten en un conjunto , una -algebra de subcon-
juntos de y una medida contablemente aditiva definida sobre . Si f,g L2 () = L2 (, , ),
entonces la desigualdad de Holder implica que f g L1 (). Si
Z
hf, gi = f g d

entonces define un producto interno sobre L2 .