Problema

a) Sea G un conjunto con una operación binaria ∘. Supongamos que G con esta
operación verifica:
i) a ∘ b ∘ c  a ∘ b ∘ c para todo a, b, c de G.
ii) Las ecuaciones a ∘ x  b e y ∘ a  b, pueden ser resueltas para x, y ∈ G,
donde a y b son elementos arbitrarios de G.
Estudiar si G con esta operación es un grupo, o si no lo es, decir por qué. (5
puntos).
b) Sea G un grupo y N un subgrupo del centro de G, ZG. Demostrar que si
G/N es cíclico, entonces G es abeliano.
(5 puntos)

Solución

a) Es un grupo, lo único que se tiene que verificar es la existencia del

elemento neutro y la existencia de lemento inverso, ya que es asociativa por el
enunciado.

Veamos que G contiene un elemento neutro. Hay que demostrar que si existe
un unico elemento e tal que si a ∘ e  a, entonces para cualquier otro elemento b,
debe verificarse que b ∘ e  b.

Como a ∘ x  b tiene solución, entonces existe un elemento e tal que

a ∘ e  a → b  y ∘ a  y ∘ a ∘ e  b ∘ e, e es el elemento neutro ya que es único,
puesto que si existe e´, con e´ ∘ a  a → e´ ∘ e  e  e´.
Veamos que en G cada elemento tiene inverso
a ∘ x  e y que x´ ∘ a  e → x´ ∘ a ∘ x  e ∘ x  x y x´ ∘ a ∘ x  x´ ∘ e  x´, luego
x  x´.

Errores comunes en el apartado a) de las soluciones presentadas:

1.- Intentar demostrar el inverso sin demostrar primero la existencia del neutro
y eso es imposible.
2.- Simplificar multiplicando por el inverso si haber probado su existencia.
3.- Hacer todo tipo de operaciones, sin ninguna coherencia.

b) Como N está en el centro de G, N es un subgrupo normal de G. Si G/N es

cíclico, entonces Nx genera este grupo, por lo tanto G  〈N, x grupo generado por
N y x, luego si a, b ∈ G, a  a´x n y b  b´x m , donde a´y b´ ∈ N ⊂ ZG, así
ab  a´x n b´x m  x n a´b´x m  x n x m a´b´  x n x m b´a´  x m x n b´a´  x m b´x n a´  b´x m a´x n  ba
 Luego G es abeliano (en todas estas operaciones lo único que hemos
manejado es que por estar a´y b´ en el centro, conmutan con todos los elementos
de G).

Errores comunes en el apartado b) de las soluciones presentadas:

1.- Partir de G/ZG es cíclico, en lugar de G/N, confundiendolo con el aparatado

A) del problema 3 de febrero de 2018.