Finite presentation of an algebra
= Finite presentation of an algebra
{title2=$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.