Decompositions in semirings

We prove that each element of a complete atomic $l$-semiring has a canonical decomposition. We also find some sufficient conditions for the decomposition to be unique that are expressed by first-order sentences. As a corollary, we obtain a theorem of Avgustinovich–Frid which claims that each factorial language has the unique canonical decomposition.