Continuum Hypothesis(CH) is independent of ZFC Axioms, which means there exist models of ZFC where CH is true, and models where CH is false.
Can I say something similar for groups? Something like the following:
The statement $\forall a\forall b[a,b\in G\Rightarrow ab=ba]$ (i.e. any two elements commute) is independent of the axioms of a group because there are examples of groups where this is true (Abelian groups), and groups where this is false.
By "axioms of a group", I mean things we have in the definition of a group (associativity, the existence of an identity, etc). A group is a set, so set theory axioms are included here as well.
Can I say $\forall a\forall b[ab=ba]$ is independent of group axioms, and can I refer to an example of a group (e.g. $\mathbb Z_n$) a model of group axioms?
This might be a strange question, but it is important. The meaning of "independence of CH" and the concept of Model is very difficult for a learner to understand; the fact that a group can be either Abelian or not can be easily understood. So are they really the same thing according to my interpretation above? If they are not exactly the same, then how are they different?
PS: there are a lot of cross-overs between set theory and Algebra. For example, boolean algebra. I do find some very general discussion on the topic, for example here, but none of them go into such details.