Actions of groups on commutative rings General commutative algebra mathematics