その通り。
なお、+を使うのは可換群のときという慣習