1: \begin{definition}

2: \label{def_GoodIdempotents}Suppose we are given $A:=\operatorname*{End}(X)$ in

3: the situation of Theorem \ref{theorem_CIdempCompleteHaveTateIdeals}. Pairwise

4: commuting elements $P_{i}^{+}\in A$ (with $i=1,\ldots,n$) such that the

5: following conditions are met:

6: 

7: \begin{itemize}

8: \item $P_{i}^{+2}=P_{i}^{+}$.

9: 

10: \item $P_{i}^{+}A\subseteq I_{i}^{+}$.

11: 

12: \item $P_{i}^{-}A\subseteq I_{i}^{-}\qquad$(and we define $P_{i}%

13: ^{-}:=\mathbf{1}_{A}-P_{i}^{+}$)

14: \end{itemize}

15: 

16: will be called a \emph{system of good idempotents}. We shall call an

17: (elementary) $n$-Tate object $n$\emph{-sliced} if $A=\operatorname*{End}(X)$

18: admits a system of good idempotents.

19: \end{definition}