Este documento define y da ejemplos de grupos, subgrupos, anillos y cuerpos en matemática discreta. Define un grupo como un conjunto con una operación interna que cumple cuatro axiomas relacionados con la clausura, asociatividad, elemento neutro e inverso. Define un subgrupo como una parte de un grupo que también forma un grupo. Define un anillo como un grupo abeliano con una segunda operación de multiplicación que cumple ciertos axiomas, y un cuerpo como un anillo donde toda operación distinta de cero tiene inverso multiplicativo.