Why is "commutative +" a step up rather than a step to the right? I guess there should be Abelian groups and commutative rings somewhere between groups and modules.
Do physicists have any use for non-commutative algebra? It already seems pretty niche in mathematics.