Me queda duda respecto al grupo (N,+), no creo que sea conmutativa puesto que para aplicar la propiedad de la existencia del opuesto, tendría que utilizar un numero negativo y este no pertenece al conjunto de los números naturales, no se cumpliría con la operación interna, si estoy equivocado agradecería la aclaración, saludos
Correcto, el dúo (N,+) con la suma como operación interna no es un grupo porque el elemento opuesto (o simétrico) no pertenece al conjunto N, se trata de otra estructura algebraica llamada monoide.