Abstract
AN (or product) codes constructed in a weighted number system are investigated, and necessary and sufficient conditions on the code generator A are given to detect single and double errors. As far as binary systems are considered, the smallest generators A that can be used to build 2-detecting arithmetic AN codes are given, for practical implementations, as a function of the number of bits. Moreover, a simple and fast procedure to correct single error is proposed.