sendo (G,.) um grupo multiplicativo ,entao G={e,a,b} tal q. 1)a.e=e.a=a 2)tal q. 3)e.(a.b)=(e.a).b...logo G={e,a,b} e gerado pelo subgrupo G'={e,a,},q. e o menor grupo de ordem 3...q. eh abeliano,pois por 2)tal q. ...todo grupo ou subgrupo de ordem prima e abeliano(teorema)...ou seja alem das propriedades fundamentais de grupo,seus elementos se comutam...