Este subespacio es de dimensión finita (e igual a la del grupo), dado que se corresponde con el [[espacio tangente]] en la identidad.