 Finite presentation of an algebra

A presentation of an algebra over a field with finitely many generators and relations. The Hilbert basis theorem ensures that every finitely generated algebra over a field admits such a presentation. Its module of Kähler differentials is presented by the Jacobian matrix of the relations.