Ariel Ferreras Wasiucionek.

A ver muchas cosas las interprete yo, si me equivoco estoy abierto a crticas constructivas
para seguir aprendiendiendeo, vamos entonces:

Los naturales No porque no existe neutro en los nmeros naturales y recordemos que para
que sea grupo Si o Si deber de existir neutro. tampoco tiene inverso.
Los Reales con la suma as como los racionales y enteros constituyes grupos abelianos y
como la operacin es la suma, y al ser la operacin la suma, estos se llaman GRUPOS ADITIVOS.
Tambin lo son los nmeros complejos.
Las matrices cuadradas diagonales si son grupo ya que el determinante es diferente de cero
0y por ende posee inversa, en el caso que una matriz no posea inversa o sea que el determinante
sea 0 no tendr inversa y por ende no ser grupo ya que no cumple con la definicin de grupo.
El producto matricial no es grupo pues veamos un ejemplo con la siguiente matriz diagonal
y la siguiente matriz de determinante 0:

Determinante de la matriz A:

Determinante de la matriz B:

Det(A)=1
Det(B)=0
vamos por la multiplicacion AxB=C:

y ahora el determinante de la matriz C que es el resultado del producto de Mat A y Mat B:

Det(C)=0 por ende no tiene inversa y al no tener inverso no cumple con la definicin de grupo.
Definicin encontrada en WIKIPEDIA:
Las matrices cuadradas de n columnas con coeficientes reales y determinante distinto de
cero forman un grupo con el producto de matrices, grupo que no es conmutativo cuando n>1

El producto define estructura de grupo conmutativo en los nmeros racionales no nulos, los
nmeros reales positivos, los nmeros complejos de mdulo 1. El producto de los reales es grupo ya
que es susecin de sumas, tiene inverso, y neutro y cumple con todos los axiomas de grupos.