There is no subtlety here. That groups which are commutative are referred to as "abelian" is purely historical. Refering to them as commutative helps understan

There is no subtlety here. That groups which are commutative are referred to as "abelian" is purely historical. Refering to them as commutative helps understanding for people who are not fammillar with them, and helps highlight the structural simmilarity that the diagram is attempting to show. Sadly, I find it unlikely that we will get mathamaticians to agree to stop calling them Abelian groups, so learners will have to learn that name eventually.