Let be a commutative group. Let
and
be subgroups of
. If
, then
.
However, what if ? We will consider the general scenario, where
and
are any subgroups of
, provided
is not a proper subgroup of
.
Then
In the case that , we have
.
I have arrived upon this result myself. I don’t know if it is already known.