Simplizialer Komplex/Stanley-Reisner-Ideal/Definition

Stanley-Reisner-Ideal

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

$I_{\mathrm{\Delta }}=(\prod _{v\in A}{X}_v:A\subseteq V\text{ ist keine Seite von }\mathrm{\Delta })$

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