arXiv:1312.0325v1 [math.AC] 2 Dec 2013

On the (n, d)th f -Ideals

∗

Jin Guo†, Tongsuo Wu‡
Department of Mathematics, Shanghai Jiaotong University

Abstract. A square-free monomial ideal I is called an f -ideal, if both
δF (I) and δN (I) have the same f -vector, where δF (I) (δN (I), respectively) is the facet (Stanley-Reisner, respectively) complex related to I.
In this paper, we introduce the concepts of perfect set containing k and
perfect set without k. We study the (n, d)th perfect sets and show that
V (n, d) 6= ∅ for d ≥ 2 and n ≥ d + 2. Then we give some algorithms
to construct (n, d)th f -ideals and show an upper bound of the (n, d)th
perfect number.

Key Words and phrases: perfect set containing k; perfect set
without k; f -ideal; unmixed f -ideal; perfect number
2010 Mathematics Subject Classification: 13P10, 13F20,
13C14, 05A18.

1

Introduction

Throughout the paper, for a set A, we use Ad to denote the set of the subsets of A with
cardinality d. For a monomial ideal I of S, let sm(I) be the set of square-free monomials
in I. As we know, there is a natural bijection between sm(S) and 2[n] , denoted by
σ : xi1 xi2 · · · xik 7→ {i1 , i2 , . . . , ik },
where [n] = {1, 2, . . . , n} for a positive integer n. A square-free monomial u is called
covered by a square-free monomial v, if u | v holds. For other concepts and notations, see
references [2, 5, 7, 8, 10, 11].
∗

This research is supported by the National Natural Science Foundation of China (Grant No.
11271250).
†
Corresponding author. guojinecho@163.com
‡
tswu@sjtu.edu.cn

Constructing free resolutions of a monomial ideal is one of the core problems in commutative algebra. A main approach to the problem is by taking advantage of the properties of
a simplicial complex, so it is important to have a research on the properties of the complex
corresponding to the related ideals, see for example, references [4, 6, 9, 12]. There is an
important class of ideals called f -ideals, whose facet complex δF (I) and Stanley-Reisner
complex δN (I) have the same f -vector, where δF (I) is generated by the set σ(G(I)), and
δN (I) = {σ(g) | g ∈ sm(S) \ sm(I)}. Note that the f -vector of a complex δN (I), which
is not easy to calculate in general, is essential in the computation of the Hilbert series of
S/I. Since the correspondence of the complex δF (I) and the ideal I is direct and clear,
it is more easier to calculate the f -vector of δF (I). So, it is convenient to calculate the
Hilbert series and study other corresponding properties of S/I while I is an f -ideal.
The formal definition of an f -ideal first appeared in [1], and it was then studied in [3].
In [7], the authors characterized the f -ideals of degree d, as well as the f -ideals in general
case. They introduced a bijection between square-free monomial ideals of degree 2 and
simple graphs, and showed that V (n, 2) 6= ∅ for any n ≥ 4, where V (n, d) is the set of
f -ideals of degree d in S = K[x1 , . . . , xn ]. The structure of V (n, 2) was determined, and
the characterization of the unmixed f -ideals is also studied in [7].
In this paper, we give another characterization of unmixed f -ideals in part two. In
part three, we generalize the aforementioned result of [7] by showing that V (n, d) 6= ∅ for
general d ≥ 3 and n ≥ d + 2. In part four, we introduce some algorithms to construct
(n, d)th f -ideals, and we show an upper bound of the (n, d)th perfect number in part five.
In part six, we show some examples of nonhomogeneous f -ideals, which is still open in
[7].
The following propositions are needed in this paper.
Proposition 1.1. ([7] Theorem 2.4) Let S = K[x1 , . . . , xn ], and let I be a square-free
monomial ideal of S of degree d with the minimal generating set G(I). Then I is an
f -ideal if and only if G(I) is (n, d)th perfect and |G(I)| = 12 Cnd holds true.
Proposition 1.2. ([7] Proposition 3.3) V (n, 2) 6= ∅ if and only if n = 4k or n = 4k + 1
for some positive integer k.
Proposition 1.3. ([7] Proposition 5.3) Let S = K[x1 , . . . , xn ]. If I is an f -ideal of S of
degree d, then I is unmixed if and only if sm(S)d \ G(I) is lower perfect.
In [7], a method for finding an (n, 2)th perfect set with the smallest cardinality is
provided, namely, first, decompose the set [n] into a disjoint union of two subsets B and
C uniformly, i.e., ||B| − |C|| ≤ 1 holds; then set A = {xi xj | i, j ∈ B, or i, j ∈ C}. Finally,
A is an (n, 2)th perfect set whose cardinality is equal to the (n, 2)th perfect number N(n,2) ,
where

k 2 − k, if n = 2k;
N(n,2) =
(1)
k 2 ,
if n = 2k + 1.

Note that any set D with A ⊆ D ⊆ sm(S)2 is also an (n, 2)th perfect set.

2

(n, d)th unmixed f -ideals

For a positive integer d greater than 2, an (n, d)th f -ideal may be not unmixed, see Example 5.1 of [7] for a counterexmple. So, it is interesting to characterize the unmixed
f -ideals. In this section, we show a characterization of unmixed f -ideals by the corresponding simplicial complex, by taking advantage of the bijection σ between square-free
monomial ideals and simplicial complexes.
Recall that a simplicial complex is a d-flag complex if all of its minimal non-faces
contain d elements. Recall that ∆∨ denotes the Alexander dual of a simplicial complex
∆, see [8] for details.
Proposition 2.1. Let S = K[x1 , . . . , xn ], and let I be a square-free monomial ideal of S
of degree d. I is an (n, d)th unmixed f -ideal if and only if the followings hold:
(1) |G(I)| = Cnd /2;
(2) dim δF (I)∨ = n − d − 1;
(3) hσ(u) | u ∈ sm(S)d \ G(I)i is a d-flag complex.
P roof. We claim that the following two results hold true: First, the condition (2) holds
if and only if G(I) is lower perfect. Second, the condition (3) holds if and only if G(I) is
upper perfect and sm(S)d \ G(I) is lower perfect. If the above two results hold true, then
it is easy to see that the conclusion holds by Proposition 1.1 and Proposition 1.3.
For the first claim, if G(I) is lower perfect, then for each minimal non-face F of δF (I),
|F | ≥ d holds. By the definition of the Alexander dual, G is a face of δF (I)∨ if and
only if [n] \ G is a non-face of δF (I). So, for each facet L of δF (I)∨ , |L| ≤ n − d. Since
|G(I)| =
6 Cnd , there exists some non-face of δF (I) with cardinality d, so there exists some
facet of δF (I)∨ with cardinality n − d. Thus dim(δF (I)∨ ) = n − d − 1.
Conversely, assume dim(δF (I)∨ ) = n − d − 1. By a similar argument, one can see that
the smallest cardinality of non-faces of δF (I) is d, hence G(I) is lower perfect.
For the second claim, if sm(S)d \ G(I) is lower perfect, then for the complex ∆ =
hσ(u) | u ∈ sm(S)d \ G(I)i, the cardinality of a non-face is not less than d. Since G(I) is
upper perfect, for each non-face F of ∆, there exists v ∈ G(I) such that σ(v) ⊆ F . Note
that σ(v) is a non-face of ∆, so all the minimal non-faces of ∆ have cardinality d. Hence
∆ is a d-flag complex.
Conversely, assume that ∆ = hσ(u) | u ∈ sm(S)d \ G(I)i is a d-flag complex. In a
similar way, one can see that G(I) is upper perfect and sm(S)d \ G(I) is lower perfect. 

3

Existence of (n, d)th f -ideals
′

For a subset M of sm(S)d , denote M = {σ −1 (A) | A = [n] \ σ(u) for some u ∈ M}. The
following lemma is essential in the proof of our main result in this section.
′

Lemma 3.1. M is a perfect subset of sm(S)d if and only if M is a perfect subset of
sm(S)n−d .
P roof. For the necessary part, if M is a subset of sm(S)d , then it follows from definition
′
′
that M is a subset of sm(S)n−d . In order to check that M is upper perfect, we will show
′
for each monomial u ∈ sm(S)n−d+1 that u ∈ ⊔(M ) holds. This is equivalent to showing
′
that there exists some v ∈ M , such that σ(v) ⊆ σ(u) holds. In fact, since M is lower
′
perfect, for the monomial u = σ −1 ([n] \ σ(u)) ∈ sm(S)d−1 , there exists some w ∈ M such
′
′
that u | w holds. Hence σ(u ) ⊆ σ(w) holds. Now let v = σ −1 ([n] \ σ(w)) and then it is
′
′
easy to see that σ(v) = [n] \ σ(w) ⊆ [n] \ σ(u ) = σ(u) hold. This shows that M is upper
′
perfect. In a similar way, one can prove that M is lower perfect.
The sufficient part is similar to prove, and we omit the details.

By the proof of the above lemma, one can see that M is an upper (lower, respectively)
′
perfect subset of sm(S)d if and only if M is a lower (upper, respectively) perfect subset
of sm(S)n−d .
Corollary 3.2. If I is a square-free monomial ideal of S of degree d, then I is an (n, d)th
′
f -ideal if and only if |G(I)| = Cnd /2 and G(I) is a perfect subset of sm(S)n−d .
Denote sm(S{ǩ})d = {u ∈ sm(S)d | xk ∤ u}, and sm(S{k})d = {u ∈ sm(S)d | xk |u}.
For a subset X = {i1 , . . . , ij } of [n], denote
sm(S{X̌})d = {u ∈ sm(S)d | xk ∤ u f or every k ∈ X},
and let sm(S{X})d = {u ∈ sm(S)d | xk | u for every k ∈ X}.
Definition 3.3. For a subset M of sm(S{ǩ})d , if sm(S{ǩ})d+1 ⊆ ⊔(M) holds, then M
is called upper perfect without k. Dually, a subset M of sm(S{ǩ})d is called lower perfect
without k, if sm(S{ǩ})d−1 ⊆ ⊓(M) holds. A subset M of sm(S{k})d is called upper
perfect containing k, if sm(S{k})d+1 ⊆ ⊔(M) holds; a subset M of sm(S{k})d is called
lower perfect containing k, if sm(S{k})d−1 ⊆ ⊓(M) holds. If M is not only upper but
also lower perfect without k, then M is called perfect without k. Similarly, if M is both
upper and lower perfect containing k, then M is called perfect containing k.
For a subset X of [n], we can define the upper perfect (lower perfect, perfect, respectively) set without X (containing X) similarly. For a subset A of sm(S)d , let
A{X̌} = A ∩ sm(S{X̌})d , and let A{X} = A ∩ sm(S{X})d.

Proposition 3.4. Let A be a subset of sm(S)d , and let X = {i1 , . . . , ij } be a subset of
[n]. Then the following statements hold:
(1) A{X̌} = A{iˇ1 }{iˇ2 } . . . {iˇj }, and A{X} = A{i1 }{i2 } . . . {ij };
(2) If A is upper perfect, then A{X̌} is upper perfect without X;
(3) If A is lower perfect, then A{X} is lower perfect containing X;
′
(4) If A is upper (lower, respectively) perfect without X, then A is lower (upper,
respectively) perfect containing X. Furthermore, the converse also holds true.
P roof. (1) and (2) are easy to see by the corresponding definitions.
In order to prove (3), it is sufficient to show that A{k} is a lower perfect set containing
k for each k ∈ [n]. In fact, since A is lower perfect, for each monomial u ∈ sm(S{k})d−1 ,
there exists a monomial v in A such that u | v. Note that xk | u holds, so xk | v also holds,
which implies that v ∈ sm(S{k})d holds. Hence A{k} is a lower perfect set containing k.
′
For (4), we only show that A is lower perfect containing k when A is upper perfect
without k, and the remaining implications are similar to prove. In fact, for each monomial
′
′
u ∈ sm(S{k})n−d−1 ⊆ sm(S)n−d−1 , u ∈ sm(S)d+1 , note that xk | u implies xk ∤ u holds
′
true, hence u ∈ sm(S{ǩ})d+1 also hold. Since A is upper perfect without k, there exists
′
′
′
′
a monomial v ∈ A such that v | u holds, hence u | v holds, where v ∈ A . This completes
the proof.

Remark 3.5. For a perfect subset A of sm(S)d , A{X̌} needs not to be a lower perfect
set without X, and A{X} needs not to be an upper perfect set containing X, see the
following for counter-examples:
Example 3.6. Let S = K[x1 , . . . , x6 ], let
A = {x1 x2 x3 , x1 x2 x4 , x1 x2 x5 , x3 x4 x5 , x1 x2 x6 , x1 x3 x6 , x2 x3 x6 , x4 x5 x6 },
and let B = A \ {x1 x2 x6 }. It is easy to see
A{6̌} = B{6̌} = {x1 x2 x3 , x1 x2 x4 , x1 x2 x5 , x3 x4 x5 },
A{6} = {x1 x2 x6 , x1 x3 x6 , x2 x3 x6 , x4 x5 x6 }, and B{6} = {x1 x3 x6 , x2 x3 x6 , x4 x5 x6 }. Also, it
is direct to check that both A and B are perfect sets, and that both A{6̌} and B{6̌} are
perfect sets without 6. Note that A{6} is a perfect set containing 6, but B{6} is not
upper perfect.
′

′

By Proposition 3.4, we have the following example by mapping A, B to A , B respectively.
Example 3.7. Let S = K[x1 , . . . , x6 ], and let
′

A = {x1 x2 x3 , x1 x4 x5 , x2 x4 x5 , x3 x4 x5 , x1 x2 x6 , x3 x4 x6 , x3 x5 x6 , x4 x5 x6 },

′

′

and B = A \ {x3 x4 x5 }. It is easy to see that
′

′

A {6̌} = {x1 x2 x3 , x1 x4 x5 , x2 x4 x5 , x3 x4 x5 }, B {6̌} = {x1 x2 x3 , x1 x4 x5 , x2 x4 x5 },
′

′

and A {6} = B {6} = {x1 x2 x6 , x3 x4 x6 , x3 x5 x6 , x4 x5 x6 }. It is direct to check that both
′
′
′
′
A and B are perfect sets, and that both A {6} and A {6} are perfect sets containing 6.
′
′
Note that A {6̌} is a perfect set without 6, but B {6̌} is not lower perfect.
In order to obtain the main result of this section, we need a further fact and we omit
the verification.
Lemma 3.8. Let S = K[x1 , . . . , xn ], and let A be a subset of sm(S)d . If A{ǩ} is a perfect
subset of sm(S{ǩ})d without k, and A{k} is a perfect subset of sm(S{k})d containing k
for some k ∈ [n], then A is a perfect subset of sm(S)d .
Theorem 3.9. For any integer d ≥ 2 and any integer n ≥ d + 2, there exists an (n, d)th
perfect set with cardinality less than or equal to Cnd /2.
P roof. We prove the result by induction on d.
If d = 2, the conclusion holds true for any integer n ≥ 4 by Proposition 1.2. In the
following, assume d > 2.
Assume that the conclusion holds true for any integer less than d. For d, we claim that
the conclusion holds true for any integer n ≥ d + 2. We will show the result by induction
on n.
If n = d + 2, then Cnd = Cn2 . Note that for any integer n ≥ 4, there exists an (n, 2)th
′
perfect set M, such that |M| ≤ Cn2 /2. By Lemma 3.1, M is an (n, d)th perfect set. Note
′
that |M | = |M| ≤ Cn2 /2 = Cnd /2 holds.
Now assume that the conclusion holds true for any integer less than n. Then by Lemma
3.8, it will suffice to show that there is a perfect subset A of sm(S{ň})d without n and
d
a perfect subset B of sm(S{n})d containing n, such that |A| ≤ |sm(S{ň})d |/2 = Cn−1
/2
d−1
and |B| ≤ |sm(S{n})d |/2 = Cn−1 /2 hold.
Let L = K[x1 , . . . , xn−1 ]. Then clearly, sm(S{ň})d = sm(L)d holds. By induction on
d
n, there exists an (n − 1, d)th perfect subset A of sm(L)d , such that |A| ≤ Cn−1
/2. It is
easy to see that A is a perfect subset of sm(S{ň})d without n. By induction on d, there
d−1
exists an (n − 1, d − 1)th perfect subset B1 of sm(L)d−1 , such that |B1 | ≤ Cn−1
/2 holds.
−1
Let B = {σ (D) | D = σ(u) ∪ {n} for some u ∈ B1 }. It is easy to see that B is a perfect
d−1
/2.
subset of sm(S{n})d containing n, and |B| = |B1 | ≤ Cn−1
Finally, by Lemma 3.8, A ∪ B is a perfect subset of sm(S)d , and |A ∪ B| = |A| + |B| ≤
d−1
d
Cn−1 /2 + Cn−1
/2 = Cnd /2. This completes the proof.

By Proposition 1.1 and Theorem 3.9, the following corollary is clear.
Corollary 3.10. For any integer d ≥ 2 and any integer n ≥ d + 2, V (n, d) 6= ∅ if and
only if 2 | Cnd .

4

Algorithms for constructing examples of (n, d)th f ideals

In this section, we will show some algorithms to construct (n, d)th f -ideals. We discuss
the following cases:
Case 1: d = 2. An (n, 2)th f -ideal is easy to construct by [7]. For readers convenience,
we repeat it as the following: Decompose the set [n] into a disjoint union of two subsets
B and C uniformly, namely, ||B| − |C|| ≤ 1. Then set A = {xi xj | i, j ∈ B, or i, j ∈ C}
to obtain an (n, 2)th perfect set. Note that |A| = N(n,2) ≤ Cn2 /2, choose a subset D of
sm(S)2 \ A randomly, such that |D| = Cn2 /2 − N(n,2) holds. It is easy to see that A ∪ D is
still a perfect set, and |A ∪ D| = Cn2 /2. By Proposition 1.1, the ideal generated by A ∪ D
is an (n, 2)th f -ideal. Note that each (n, 2)th f -ideal can be obtained in this way except
C5 by [7].
Case 2: d > 2 and n = d + 2.
Algorithm 4.1. In order to build an f -ideal I ∈ V (d + 2, d), we obey the following steps:
d
d
2
Step 1: Calculate Cd+2
/2. Note that Cd+2
/2 = Cd+2
/2.
2
Step 2: As in the case 1, find a perfect subset B of sm(S)2 such that |B| ≤ Cd+2
/2,
where S = K[x1 , . . . , xd+2 ].
′
Step 3: Let A = B . Then A is a perfect subset of sm(S)d by Lemma 3.1, and
2
d
|A| = |B| ≤ Cd+2
/2 = Cd+2
/2.
d
Step 4: Choose a subset D of sm(S)d \ A randomly, such that |D| = Cd+2
/2 − |A|
d
holds. It is easy to see that M = A ∪ D is still a perfect set, and |A ∪ D| = Cd+2 /2.
Step 5: Let I be the ideal generated by A ∪ D, By Proposition 1.1 again, I is an
(d + 2, d)th f -ideal.
Note that in this way, we constructed almost all (d + 2, d)th f -ideals.
Example 4.2. Show an f -ideal I ∈ V (8, 6).
Note that 8 = 6 + 2, we obey the Algorithm 4.1.
Note that C86 /2 = 14. Find a perfect subset B of sm(S)2 such that |B| ≤ C82 /2 = 14,
where S = K[x1 , . . . , x8 ]. It is easy to see that
B = {x1 x2 , x1 x3 , x1 x4 , x2 x3 , x2 x4 , x3 x4 , x5 x6 , x5 x7 , x5 x8 , x6 x7 , x6 x8 , x7 x8 }
is a perfect subset of sm(S)2 , with |B| = 12. Let
′

A = B = {x3 x4 x5 x6 x7 x8 , x2 x4 x5 x6 x7 x8 , x2 x3 x5 x6 x7 x8 , x1 x4 x5 x6 x7 x8 ,
x1 x3 x5 x6 x7 x8 , x1 x2 x5 x6 x7 x8 , x1 x2 x3 x4 x7 x8 , x1 x2 x3 x4 x6 x8 ,
x1 x2 x3 x4 x6 x7 , x1 x2 x3 x4 x5 x8 , x1 x2 x3 x4 x5 x7 , x1 x2 x3 x4 x5 x6 }.
A is a perfect subset of sm(S)6 . Choose D = {x1 x2 x3 x5 x6 x7 , x1 x2 x4 x5 x6 x8 }, then the
ideal I generated by A ∪ D is an (8, 6)th f -ideal.

Case 3: d > 2 and n > d + 2. Let S [k] = K[x1 , . . . , xk ], and let S = S [n] =
K[x1 , . . . , xn ].
Algorithm 4.3. For an integer n > d + 2, we construct an (n, d)th f -ideal by using the
following steps:
Step 1: Let t = n, l = d and E = ∅. Set B = {B(t, l, E)}.
Step 2: Assign C = B, and denote i = |C|.
Step 3: Choose each B(t, l, E) ∈ C one by one, deal with each one obeying the following
rules:
If l = 2 or t = l + 2, don’t change anything.
If l 6= 2 and t > l + 2, then cancel B(t, l, E) from B, and add B(t − 1, l, E) and
B(t − 1, l − 1, E ∪ {t}) into B.
After i times, i.e., when B(t, l, E) goes through all the element of C, make a judgement:
If l = 2 or t = l + 2 for each B(t, l, E) ∈ B, then go to step 4, else return to step 2.
Step 4: Choose B(t, l, E) ∈ B one by one, deal with each one obeying the following
rules:
If l = 2, assign B(t, l, E) a perfect subset of sm(S [t] )l as case 1.
If l 6= 2 and t = l + 2, assign B(t, l, E) a perfect subset of sm(S [t] )l as case 2.
Step 5: For each B(t, l, E) ∈ B, denote B ∗ (t, l, E) = {uxE | u ∈ B(t, l, E)}, where
Q
xE = j∈E xj . Denote B∗ = ∪B(t,l,E)∈B B ∗ (t, l, E). It is direct to check that B∗ is a perfect
subset of sm(S)d , and |B∗ | ≤ Cnd /2. Choose a subset D of sm(S)d \ B∗ randomly, such
that |D| = Cnd /2 − |B∗ | holds.
Step 6: Let I be the ideal generated by B∗ ∪ D. By Proposition 1.1 again, I is an
(n, d)th f -ideal.
Example 4.4. Show a (6, 3)th f -ideal.
Let S = K[x1 , . . . , x6 ]. By the above algorithm, we will choose a perfect subset
B(5, 3, ∅) of sm(S 5 )3 and a perfect subset B(5, 2, {6}) of sm(S 5 )2 . Set B(5, 3, ∅) =
{x3 x4 x5 , x2 x4 x5 , x1 x4 x5 , x1 x2 x3 }, and set B(5, 2, {6}) = {x1 x2 , x1 x3 , x2 x3 , x4 x5 }. Correspondingly, B ∗ (5, 3, ∅) = B(5, 3, ∅) and
B ∗ (5, 2, {6}) = {x1 x2 x6 , x1 x3 x6 , x2 x3 x6 , x4 x5 x6 }.
Hence
B∗ = {x3 x4 x5 , x2 x4 x5 , x1 x4 x5 , x1 x2 x3 , x1 x2 x6 , x1 x3 x6 , x2 x3 x6 , x4 x5 x6 }
is a perfect subset of sm(S)3 . Note that C63 /2 = 10, and |B∗ | = 8. Set D = {x1 x2 x4 , x1 x2 x5 }.
The ideal I generated by B∗ ∪ D is a (6, 3)th f -ideal.
Note that the (6, 3)th f -ideal given in the above example is not unmixed. In fact,
consider the simplicial complex σ(sm(S)3 \ G(I)), and note that {1, 2} is a non-face of
σ(sm(S)3 \ G(I)), which implies that σ(sm(S)3 \ G(I)) is not a 3-flag complex. So, I is
not unmixed by Proposition 2.1.

5

An upper bound of the perfect number N(n,d)

For a positive integer k and a pair of positive integers i ≤ j, denote by Qk[i,j] the set
of square-free monomials of degree k in the polynomial ring K[xi , xi+1 , . . . , xj ]. Note
that Qk[i,j] = ∅ holds for i > j. For a pair of monomial subsets A and B, denote by
A • B = {uv | u ∈ A, v ∈ B}. If B = ∅, then assume A • B = A. The following theorem
gives an upper bound of the (n, d)th perfect number for n > d + 2.
Theorem 5.1. Given a integer d > 2, and a integer n ≥ d + 2. The following statements
about the perfect number N(n,d) hold:
(1) If n = d + 2, then

k 2 − k, if n = 2k;
N(n,d) = N(n,2) =
(2)
k 2 ,
if n = 2k + 1.
(2) If n > d + 2, then
N(n,d) ≤

n−d+2
X
i=5

d−3
N(i,2) Cn−i−1

+

d
X

d−j
N(j+2,2) Cn−j−3
,

(3)

j=3

where C00 = 1.
P roof. By Lemma 3.1 and the equation 1 in the first section, (1) is clear.
In order to prove (2), it will suffice to show that there exists a perfect set with cardiP
Pn−d+2
d−j
d−3
N(i,2) Cn−i−1
+ dj=3 N(j+2,2) Cn−j−3
.
nality t = i=5
th
Let P(i,2) be an (i, 2) perfect set with cardinality N(i,2) for 5 ≤ i ≤ n − d + 2, and let
P(j+2,j) be a (j + 2, j)th perfect set with cardinality N(j+2,j) for 3 ≤ j ≤ d. We claim that
the set
d−j
n−d+2
d
M = (∪i=5
P(i,2) • xi+1 • Qd−3
[i+2,n] ) ∪ (∪j=3 P(j+2,j) • Q[j+4,n] )
is an (n, d)th perfect set, with cardinality t. It is easy to check that the cardinality of M
is t. It is only necessary to prove that M is perfect.
For each w ∈ sm(S)d+1 , denote by nk (w) the cardinality of the set {xi | i ≤ k and
xi | w}. If n5 (w) ≥ 4, then choose the smallest k such that nk+3 (w) = nk+2 (w) =
k + 1. Clearly, 3 ≤ k ≤ d. It is direct to check that w is divided by some monomial
in P(k+2,k) • Qd−k
[k+4,n] . If n5 (w) ≤ 3, then choose the smallest k such that nk (w) = 3 and
nk+1 (w) = 4. Clearly, 5 ≤ k ≤ n − d + 2. It is not hard to check that w is divided by
some monomial in P(k,2) • xk+1 • Qd−3
[k+2,n] . Hence M is upper perfect.
For each w ∈ sm(S)d−1 , if n5 (w) ≥ 2, then choose the smallest k such that nk+3 (w) =
nk+2 (w) = k − 1. Clearly, 3 ≤ k ≤ d. It is direct to check that w is covered by
some monomial in P(k+2,k) • Qd−k
[k+4,n] . If n5 (w) ≤ 1, then choose the smallest k such that
nk (w) = 1 and nk+1 (w) = 2. Clearly, 5 ≤ k ≤ n − d + 2 holds. It is not hard to check

that w is covered by some monomial in P(k,2) • xk+1 • Qd−3
[k+2,n] . Hence M is lower perfect.

The following figure may help to interpret the above theorem intuitively.
.(d, n)
t ✻l = 2 ...l = 3
. 3
......❄
.
t = .l...+
..
.
✠
.. ...
..
.
.
.
.
..
.
..
..
..
...✠ ✠ ....
... t = l + 2
.
.
.
.
..
.
. ❄ ❄.
...
... ......✠ ❄ ...
.. ...
.. ......
....
.. ..
...... ✠ ✠ .... .....
.
.
.. .. ❄ ❄ .....
..✠ ✠ ... ..
..
.
..❄ ❄ ......
..
...
.
✠ ... ✠.....
.
.. .❄
.. .. ..
..... ❄
(3,. 6)
(2, 4)
✲

O

l

Figure 1. Upper Bound

In this figure, there is a boundary consisting of the line l = 2 and the line t = l + 2.
From the point (d, n) to a point of the boundary, every directed chain C denotes a set of
monomials M(C) by the following rules:
(1) Every arrow of C is from (l, t) to either (l, t − 1) or (l − 1, t − 1).
(2) If the arrow is from (l, t) to (l, t − 1), then each monomial in M(C) is not divided
by xt . Correspondingly, if it is from (l, t) to (l − 1, t − 1), then each monomial in M(C)
is divided by xt .
(3) Each point (l, t) of the boundary is a (t, l)th perfect set.
Actually, the figure shows us a class of (n, d)th perfect sets. For each point (l, t) of the
boundary, if we choose the corresponding perfect set to be a (t, l)th perfect set with cardiPn−d+2
d−3
nality N(t,l) , then the cardinality of the (n, d)th perfect set is exactly i=5
N(i,2) Cn−i−1
+
Pd
d−j
j=3 N(j+2,2) Cn−j−3 .
Example 5.2. Calculation of the (6, 3)th perfect number.
Let A be a (6, 3)th perfect set. By Proposition 3.4(2), A{6̌} is an upper perfect set
without 6. Hence |A{6̌}| ≥ N(5,3) = 4. By Proposition 3.4(3), A{6} is a lower perfect set
containing 6. Note that for the monomials of {x1 , x2 , x3 , x4 , x5 }, each monomial in A{6}

covers at most two of them. So, |A{6}| ≥ 3. Hence |A| ≥ |A{6̌}| + |A{6}| ≥ 7. Actually,
as showed in Example 3.6, there exists a (6, 3)th perfect set
B = {x1 x2 x3 , x1 x2 x4 , x1 x2 x5 , x3 x4 x5 , x1 x3 x6 , x2 x3 x6 , x4 x5 x6 }
with cardinality 7. Thus N(6,3) = 7. Note that the upper bound given by Proposition
5.1(2) is 8, and is not bad for the perfect number in the case.

6

Nonhomogeneous f -ideal

In [7], a characterization of f -ideals in general case is shown, but it is still not easy to
show an example of nonhomogeneous f -ideal. In fact, the interference from monomials
of different degree makes the computation complicated. Anyway, we worked out the
following examples:
Example 6.1. Let S = K[x1 , x2 , x3 , x4 , x5 ], and let
I = hx1 x2 , x3 x4 , x1 x3 x5 , x2 x4 x5 i.
It is direct to check that
δF (I) = h{1, 2}, {3, 4}, {1, 3, 5}, {2, 4, 5}i
and
δN (I) = h{1, 3}, {2, 4}, {1, 4, 5}, {2, 3, 5}i.
It is easy to see they have the same f -vector, and hence I is an f -ideal, which is clearly
nonhomogeneous.
In fact, there are a lot of nonhomogeneous f -ideals. We will show another example to
end this section.
Example 6.2. Let S = K[x1 , x2 , x3 , x4 , x5 , x6 ], and let
I = hx1 x2 , x2 x3 , x1 x3 , x4 x5 , x1 x4 x6 , x1 x5 x6 , x2 x4 x6 i.
Note that
δN (I) = h{1, 4}, {1, 5}, {1, 6}, {2, 4}, {2, 5, 6}, {3, 4, 6}, {3, 5, 6}i.
It is direct to check that I is also a nonhomogeneous f -ideal.

References
[1] G. Q. Abbasi, S. Ahmad, I. Anwar, W. A. Baig, f -Ideals of degree 2, Algebra Colloquium, 19(Spec1)(2012), 921 − 926.
[2] M.F. Atiyah and I.G. MacDonald, Introduction to Commutative Algebra, AddisonWesley, Reading, MA, 1969.
[3] I. Anwar, H. Mahmood, M. A. Binyamin and M. K. Zafar, On the Characterization
of f -Ideals, Comm. Algebra (accepted), see also arXiv: 1309.3765 (Sep. 15, 2013 ).
[4] E. Connon and S. Faridi. Chorded complexes and a necessary condition for a monomial ideal to have a linear resolution. Journal of Combinatorial Theory, Series A,
120(2013), 1714 − 1731.
[5] D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry. Springer
Science + Business Media, Inc, 2004.
[6] S. Faridi, The facet ideal of a simplicial complex, Manuscripta Mathematica,
109(2002), 159 − 174.
[7] J. Guo, T. S. Wu and Q. Liu, Perfect sets and f-Ideals, preprint.
[8] J. Herzog and T. Hibi, Monomial Ideals. Springer-Verlag London Limited, 2011.
[9] J. Herzog, T. Hibi, X. Zheng, Diracs theorem on chordal graphs and Alexander
duality, European J. Combin. 25 (2004)949 − 960.
[10] R. H. Villarreal, Monomial Algebra. Marcel Dekker, Inc, New York, 2001.
[11] O. Zariski and P. Samuel, Commutative Algebra. Vol.1 Reprints of the 1958 − 60
edition. Springer-Verlag New York, 1979.
[12] X. Zheng, Resolutions of facet ideals, Commun. Algebra 32 (6) (2004) 2301 − 2324.

