Resumen en español

En este trabajo nos dedicamos al estudio de submonoides de N^k.Nuestro primer resultado relevante es una caracterización de la mínima dimensión r necesaria para encajar un submonoide de N^k en N^r. Luego estudiamos subconjuntos R de un submonoide H de N^k tales que H \ R es también submonoide de N^k, caracterizando el conjunto generador minimal y la dimensión de H \ R, especialmente cuando R está contenido en el conjunto generador minimal de H y H es libre.