E n matemáticas, una estructura algebraica es un conju nto 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. Para poder comenzar a enumerar las diferentes estructuras, en primer lugar vamos a distinguir entre dos tipos de operaciones: a) Operación interna: llamamos operación interna en un conjunto A, a la operación que hace corresponder a cada par de elementos de AxA con un único elemento de A. b) Operación externa: llamamos operación externa en un conjunto A sobre otro conjunto K, a la operación que hace corresponder a todo par de elementos (a,k) de AxK un único elemento de A. Dentro de las estructuras algebraicas más importantes que es