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 ...

This is a set of personal notes taken during the lecture given by dr Joachim Jelisiejew as part of a WS2019/2020 course in commutative algebra (Algebra przemienna) at the faculty of Mathematics, ...

Introduction to commutative algebra. Noetherian rings and modules. Local algebra and primary decomposition. The course may also include subjects from non-commutative algebra such as group and ...

Introduction to commutative algebra. Noetherian rings and modules. Local algebra and primary decomposition. The course may also include subjects from non-commutative algebra such as group and ...

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) ...