Какая группа порядка должна быть абелевой?

Не могли бы вы уточнить, какая группа порядка обязательно обладает абелевым свойством? Интересно понять математические условия, при которых группа становится коммутативной, то есть порядок умножения не влияет на результат. Существуют ли конкретные критерии, такие как количество элементов или определенные алгебраические структуры, которые гарантируют, что группа будет абелевой? Мне особенно интересно узнать о необходимых условиях, которые заставляют группу соблюдать коммутативный закон.