exploring abstract simplicial complexes within commutative algebra