Simplizialer Komplex/Stanley-Reisner-Ideal/Definition

Stanley-Reisner-Ideal

Zu einem simplizialen Komplex ${}\Delta$ auf ${}V$ und einem kommutativen Ring ${}R$ nennt man das Ideal

${}I_{\Delta }={\left(\prod _{v\in A}X_{v}:\,A\subseteq V{\text{ ist keine Seite von }}\Delta \right)}\,$

das Stanley-Reisner-Ideal zu ${}\Delta$ (über ${}R$).