Hay un homomorfismo natural "f": "G" → "G/H" dado por "f" "(a)" = "aH".