1: \begin{abstract}

2: Variable-length codes are the {\it bases} of the free

3: submonoids of a free monoid. There are some important longstanding open questions

4: about the structure of finite {\it maximal codes}, namely the

5: {\it factorization conjecture} and the

6: {\it triangle conjecture}, proposed

7: by Perrin and Sch\"{u}tzemberger. The latter

8: concerns finite codes $Y$ which are subsets of $a^* B a^*$,

9: where $a$ is a letter and $B$ is an alphabet not containing $a$.

10: A structural property of finite maximal codes has recently been shown by

11: Zhang and Shum. It exhibits a relationship between finite maximal codes

12: and factorizations of cyclic groups.

13: With the aim of highlighting the links between this result and other older ones on maximal and factorizing codes,

14: we give a simpler and a new proof of this result.

15: As a consequence, we prove that for any finite maximal code $X \subseteq (B \cup \{a \})^*$

16: containing the word $a^{pq}$, where $p,q$ are prime numbers,

17: $X \cap a^* B a^*$ satisfies the triangle conjecture.

18: Let $n$ be a positive integer that is a product

19: of at most two prime numbers.

20: We also prove that it is decidable whether a finite code

21: $Y \cup a^{n} \subseteq a^* B a^* \cup a^*$

22: is included in a finite maximal code and that, if this holds,

23: $Y \cup a^{n}$ is included in a code that also satisfies the factorization conjecture.

24: \end{abstract}