1: \begin{abstract}
2: If $\F$ is a collection of topological spaces, then a
3: homotopy class $\alpha$ in $[X,Y]$ is called $\F$-trivial if
4: $$
5: \alpha _* = 0: [A,X] \maprt{} [A,Y]
6: $$
7: for all $A\in\F$. In this paper we study the collection
8: $Z_{\F}(X,Y)$ of all $\F$-trivial homotopy classes in $[X,Y]$
9: when $\F = \S$, the collection of spheres, $\F = \M$, the
10: collection of Moore spaces, and $F = \Sigma$, the collection
11: of suspensions. Clearly
12: $$
13: Z_{\Sigma}(X,Y) \subseteq Z_{\M}(X,Y) \subseteq Z_{\S}(X,Y),
14: $$
15: and we find examples of {\it finite complexes} $X$ and $Y$ for
16: which these inclusions are strict. We are also interested in
17: $Z_{\F}(X) = Z_{\F}(X,X)$, which under composition has the
18: structure of a semigroup with zero. We show that if $X$ is a
19: finite dimensional complex and $\F =\S$, $\M$ or $\Sigma$, then
20: the semigroup $Z_{\F}(X)$ is nilpotent. More precisely, the
21: nilpotency of $Z_{\F}(X)$ is bounded above by the $\F$-killing
22: length of $X$, a new numerical invariant which equals the
23: number of steps it takes to make $X$ contractible by
24: successively attaching cones on wedges of spaces in $\F$, and
25: this in turn is bounded above by the $\F$-cone length of X. We
26: then calculate or estimate the nilpotency of $Z_{\F}(X)$ when
27: $\F = \S$, $\M$ or $\Sigma$ for the following classes of spaces:
28: (1) projective spaces (2) certain Lie groups such as $SU(n)$
29: and $Sp(n)$. The paper concludes with several open
30: problems.
31: \end{abstract}
32: