This article is a stub. You can help Wikipedia by fixing it.
... K = E, the trivial subgroup of G G = H * K. Then we say that G is the direct sum of subgroups H and K, written as G = H + K. In this case, for all h in H and k in K, ...