Является ли группа Z абелевой?

Не могли бы вы разъяснить мне, обладает ли группа Z, также известная как слагаемые целые числа, свойством абелевой природы? Я понимаю, что в абелевой группе порядок элементов в бинарной операции не влияет на результат, так верно ли, что для любых двух целых чисел a и b из Z сумма a + b равна b + a? Было бы полезно, если бы вы могли подробно рассказать о концепции абелевой группы и о том, как она применима к конкретному случаю Z.