Sets of integers form a monoid, where the product of two sets A and B is defined as the set containing a+b for all and . We give a characterization of when a family of finite sets is a code in this monoid, that is when the sets do not satisfy any nontrivial relation. We also extend this result for some infinite sets, including all infinite rational sets.
@article{ITA_2011__45_2_225_0, author = {Saarela, Aleksi}, title = {Unique decipherability in the additive monoid of sets of numbers}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, volume = {45}, year = {2011}, pages = {225-234}, doi = {10.1051/ita/2011018}, mrnumber = {2811655}, zbl = {1218.68108}, language = {en}, url = {http://dml.mathdoc.fr/item/ITA_2011__45_2_225_0} }
Saarela, Aleksi. Unique decipherability in the additive monoid of sets of numbers. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 45 (2011) pp. 225-234. doi : 10.1051/ita/2011018. http://gdmltest.u-ga.fr/item/ITA_2011__45_2_225_0/
[1] Theory of Codes. Academic Press (1985). | MR 797069 | Zbl 0587.68066
and ,[2] On a problem of partitions. Amer. J. Math. 64 (1942) 299-312. | MR 6196 | Zbl 0061.06801
,[3] Unique decipherability in the monoid of languages: an application of rational relations, in Proceedings of the Fourth International Computer Science Symposium in Russia (2009) 71-79. | Zbl 1248.94044
and ,[4] Commutative Semigroup Rings. University of Chicago Press (1984). | MR 741678 | Zbl 0566.20050
,[5] The frobenius problem in a free monoid, in Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science (2008) 421-432. | MR 2873754 | Zbl 1259.68166
, and ,[6] The equivalence problem of finite substitutions on , with applications. Int. J. Found. Comput. Sci. 14 (2003) 699-710. | MR 2010592 | Zbl 1101.68660
and ,[7] The power of commuting with finite sets of words. Theor. Comput. Syst. 40 (2007) 521-551. | MR 2305376 | Zbl 1121.68065
,[8] Codes conjugués. Inform. Control. 20 (1972) 222-231. | MR 345711 | Zbl 0254.94015
,[9] The Diophantine Frobenius Problem. Oxford University Press (2005). | MR 2260521 | Zbl 1134.11012
,