Sage

 http://linear.pugetsound.edu/sage-fcla.html

http://abstract.ups.edu/sage-aata.html

https://doc.sagemath.org/html/en/prep/Quickstarts/Abstract-Algebra.html