En el caso que H sea finito, es suficiente que H sea cerrado bajo producto, puesto que la existencia de los inversos se sigue automáticamente en ese caso.