El teorema siguiente recoge algunos hechos básicos acerca de los grupos