1: \begin{definition}[the SLP and the $k$-SLP]

2: \label{defn:slp} \label{defn:k-slp}

3: Let $A$ be a graded Artinian algebra over a field $K$,

4: and $A = \bigoplus_{i=0}^c A_i$ its decomposition

5: into graded components.

6: 

7: (1) The algebra $A$ is said to have the

8: {\em strong Lefschetz property} ({\em SLP} for short),

9: if there exists an element $\ell \in A_1$ such that

10: the multiplication map

11: $\times \ell^s: A_i \to A_{i+s}$ ($f \mapsto \ell^s f$)

12: is full-rank for every $i \ge 0$ and $s>0$.

13: In this case, $\ell$ is called a {\em Lefschetz element},

14: and  we also say that $(A,\ell)$ has the SLP.

15: 

16: (2)

17: Let $k$ be a positive integer.

18: The algebra $A$ is said to have the

19: {\em $k$-strong Lefschetz property} ({\em $k$-SLP} for short),

20: if there exist linear elements $g_1, g_2, \ldots, g_k \in A_1$

21: satisfying the following two conditions.

22: \begin{itemize}

23:   \item[(i)]

24:   $(A, g_1)$ has the SLP,

25:   \item[(ii)]

26:   $(A/(g_1, \ldots, g_{i-1}), g_i)$ has the SLP

27:   for all $i = 2, 3, \ldots, k$.

28: \end{itemize}

29: In this case, we say that 

30: $(A, g_1, \ldots, g_k)$ has the $k$-SLP.

31: %

32: In other words,

33: $A$ is said to have the $k$-SLP,

34: if $A$ has the SLP with a Lefschetz element $g_1$, 

35: and $A/(g_1)$ has the $(k-1)$-SLP.

36: 

37: Note that the $1$-SLP is nothing but the SLP,

38: and that if a graded algebra has the $k$-SLP, then

39: it has the $(k-1)$-SLP.

40: %

41: Note also that the $n$-SLP is equivalent to the $(n-2)$-SLP

42: for the quotient rings $\PPn/I$,

43: since all graded $K$-algebras $K[x_1]/J$ and $\PPii/J$ have the SLP

44: \cite[Theorem~4.4]{MR1970804}. 

45: \end{definition}

46: