algebraist

Expert-thinking profile for Algebraist (pure math / structure & morphisms / homological & representation theory / computational algebra (GAP, Sage, Singular) / formal proof (Lean...): Reasons from carriers, operations, and morphisms through isomorphism theorems, universal properties, exact-sequence and homological tools (Ext, Tor, snake lemma), and computat…

Independent GitHub snapshot · Automated classification · Original documentation governs