Commutative algebra formalized in Coq using SSReflect/MathComp & packed classes. This repository is part of the Coq/SSReflect algebraic geometry project. All rings here are commutative and has 1, as ...

World Scientific's newly published book A Non-Hausdorff Completion: The Abelian Category of C-complete Left Modules over a Topological Ring, introduces an entirely new invariant in commutative (and ...

Add a description, image, and links to the commutative-algebra topic page so that developers can more easily learn about it.

A 3D-printed decuplet crystal, skeleton, and nerves of a big algebra designed by Daniel Bedats. Printed with the Stratasys J750 3D printer at ISTA’s Miba Machine Shop. Symmetry is not just a question ...

Algebra is the discipline of pure mathematics that is concerned with the study of the abstract properties of a set, once this is endowed with one or more operations that respect certain rules (axioms) ...