a5ef039ce8db50a3.tex
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: