En matemáticas, una estructura algebraica es un conjunto de elementos con unas propiedades operacionales determinadas; es decir, lo que define a la estructura del conjunto son las operaciones que se pueden realizar con los elementos de dicho conjunto y las propiedades matemáticas que dichas operaciones poseen. Un objeto matemático constituido por un conjunto no vacío y algunas leyes de composición interna definida en él es una estructura algebraica. Las estructuras algebraicas más importantes son:
| Estructura | Ley interna | Asociatividad | Neutro | Inverso | Conmutatividad |
|---|---|---|---|---|---|
| Magma |  | ||||
| Semigrupo | | | |||
| Monoide | | | | ||
| Monoide abeliano | | | | | |
| Grupo | | | | | |
| Grupo abeliano | | | | | |
| Estructura (A,+,·) | (A,+) | (A,·) |
|---|---|---|
| Semianillo | Monoide abeliano | Monoide |
| Anillo | Grupo abeliano | Semigrupo |
| Cuerpo | Grupo abeliano | Grupo abeliano |
- Módulo
- Espacio vectorial
