I have a simple question about quotient group operations. To this end, if is a normal subgroup of , then is group under the binary operation defined by . This is all I have in my notes.

So, my question is: if the “mother group” is an additive group, then do we have that ?

Thanks