1: \begin{abstract} \,\,\,\,\,\,
2: %Several
3:
4: A number of
5: papers
6: deal with the problem of counting the
7: number
8: of retractions of a structure $S$ onto a substructure $T.$
9: In the particular case when $S$ is a free algebra,
10: this number is $\geq 1$ iff $T$ is projective.
11: In this paper we consider the case
12: when $T$ is a projective
13: lattice-ordered abelian group with a distinguished
14: strong order unit, or equivalently, a projective MV-algebra.
15: %
16: Let \,$A$\, be a retract of the free
17: $n$-generator
18: MV-algebra $\McNn$ of McNaughton functions on $\I^n$.
19: We prove that the
20: number $\mathsf{r}(A)$ of retractions
21: of $\McNn$ onto $A$ is finite
22: if, and only if, the maximal spectral space $\mu_A$ is homeomorphic
23: to a (Kuratowski) closed domain $M$ of $\I^n$, in the sense that $M=\cl(\interior(M))$.
24: Further, the closed domain condition is decidable and
25: $\mathsf{r}(A)$ is
26: computable, once a retraction onto $A$ is
27: explicitly given. Thus every
28: finitely generated projective MV-algebra $B$ comes equipped
29: with a new invariant
30: $\iota(B)=\sup\{\mathsf{r}(A) \mid \mbox{$A\cong B$
31: \mbox{\,\,for\,} $A$ a retract of $\McN(\I^{k})$} \},$
32: where $k$ is the smallest number of generators of $B$.
33: We compute $\iota(B)$ for many projective MV-algebras $B$
34: considered in the literature. Various problems
35: concerning retractions of free MV-algebras
36: are shown to be decidable.
37: Via the $\Gamma$ functor,
38: our results and computations automatically transfer to finitely generated
39: projective abelian $\ell$-groups with a distinguished strong unit.
40: \end{abstract}
41: