let the categories handle "is_commutative" for rings #17747

Job	Run time
test-new	11m 12s
test-new	11m 12s
test-mod (sagemath_categories-check)	4m 23s
test-mod (sagemath_categories-check)	10m 16s
test-long (src/sage/[a-f]*)	32m 39s
test-long (src/sage/[a-f]*)	32m 39s
test-long (src/sage/[g-o]*)	33m 45s
test-long (src/sage/[g-o]*)	33m 45s
test-long (src/sage/[p-z]*)	48m 13s
test-long (src/sage/[p-z]*)	41m 41s
test-long (src/doc src/sage_docbuild src/sage_setup)	10m 17s
test-long (src/doc src/sage_docbuild src/sage_setup)	10m 17s
coverage-report	17m 25s
coverage-report	17m 39s
	5h 15m 23s

Provide feedback