Un subconjunto A de un grupo abeliano finito notado aditivamente (G, +) es una base aditiva para G, si todo elemento de G puede escribirse como la suma de dos elementos en A no necesariamente distintos, una base estricta ...