1: \begin{abstract}

2: This paper deals with the decidability of semigroup freeness.

3: More precisely, the freeness problem over a semigroup $S$ is defined as: 

4: given a finite subset $X \subseteq S$, 

5: decide whether each element of $S$ has at most one factorization over $X$.

6: To date, the decidabilities of two freeness problems have been closely examined. 

7: In 1953, Sardinas and Patterson proposed a now famous algorithm for the freeness problem over the free monoid.

8: In 1991, Klarner, Birget and Satterfield proved the undecidability of the freeness problem over three-by-three integer matrices.

9: Both results led to the publication of many subsequent papers.  

10: 

11: The aim of the present paper is three-fold: 

12: $(i)$ to present general results concerning freeness problems,

13: $(ii)$ to study the decidability of freeness problems over various particular semigroups

14: (special attention is devoted to multiplicative matrix semigroups), 

15: and $(iii)$ to propose precise, challenging  open questions in order to promote the study of the topic.

16: \end{abstract}