The flag f-vectors of three-colored complexes are characterized. This also characterizes the flag h-vectors of balanced Cohen-Macaulay complexes of dimension two, as well as the flag h-vectors of balanced shellable complexes of dimension two.

We provide a generalization of pseudo-Frobenius numbers numerical semigroups to the context simplicial affine semigroups. In this way, we characterize Cohen-Macaulay type semigroup ring K[S]. define S, type(S), in terms some Apéry sets S and show that it coincides with ring, when K[S] is Cohen-Macaulay. If d-dimensional embedding dimension at most d+2, then type(S)?2. Otherwise, type(S) might b...

‎We introduce a generalization of the notion of‎ depth of an ideal on a module by applying the concept of‎ local cohomology modules with respect to a pair‎ ‎of ideals‎. ‎We also introduce the concept of $(I,J)$-Cohen--Macaulay modules as a generalization of concept of Cohen--Macaulay modules‎. ‎These kind of modules are different from Cohen--Macaulay modules‎, as an example shows‎. ‎Also an art...

In this note, we study commutative Noetherian local rings having finitely generated modules of finite Gorenstein injective dimension. In particular, we consider whether such rings are Cohen-Macaulay.

We prove a Cohen-Macaulay version of result by Avramov-Golod and Frankild-J{\o}rgensen about Gorenstein rings, showing that if noetherian ring $A$ is Cohen-Macaulay, $a_1,\dots,a_n$ any sequence elements in $A$, then the Koszul complex $K(A;a_1,\dots,a_n)$ DG-ring. further generalize this result, it also holds for commutative DG-rings. In process proving this, we develop new technique to study ...

We consider a commutative ring R graded by an arbitrary abelian group G, and define the grade of a G-homogeneous ideal I on R in terms of vanishing of C̆ech cohomology. By defining the dimension in terms of chains of homogeneous prime ideals and supposing R satisfies a.c.c. on G-homogeneous ideals and has a unique G-homogeneous maximal ideal, we can define graded versions of the depth of R and C...

We consider a class of hypergraphs called hypercycles and we show that a hypercycle $C_n^{d,alpha}$ is shellable or sequentially the Cohen--Macaulay if and only if $nin{3,5}$. Also, we characterize Cohen--Macaulay hypercycles. These results are hypergraph versions of results proved for cycles in graphs.

In computational complexity, a complexity class is given by a set of problems or functions, and a basic challenge is to show separations of complexity classes A 6= B especially when A is known to be a subset of B. In this paper we introduce a homological theory of functions that can be used to establish complexity separations, while also providing other interesting consequences. We propose to a...