$begingroup$ As it's been mentioned in comment, by Bochner's system for functionality $f$ The solution is evident:In each case, commutativity was realized by placing sure elements into the identification factor to the group Procedure, which happen to be thus termed commutators: They evaluate the failure of commutativity.Even though industrial motor