Finite presentation of an algebra ($A\cong k[x_1,\dots ,x_N]/(f_1,\dots ,f_s)$)

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.