Álxebra astrauta

L**'álxebra astracta**, dacuando llamada **álxebra moderna**, ye la parte de la matemática qu'estudia les estructures alxebraiques como les de grupo, aniellu, cuerpu o espaciu vectorial. Munches d'estes estructures fueron definíes formalmente nel sieglu XIX, y, ello ye que l'estudiu de la álxebra astracta foi motiváu pola necesidá de más exactitú nes definiciones matemátiques.

N'álxebra astracta, los elementos combinaos por diverses operaciones xeneralmente nun son interpretables como númberos, razón pola cual la álxebra astracta nun puede ser considerada una simple estensión de l'aritmética. L'estudiu de la álxebra astracta dexó reparar con claridá lo intrínseco de les afirmaciones lóxiques nes que se basen toes la matemática y les ciencies naturales, y úsase anguaño práuticamente en toles cañes de la matemática. Amás, a lo llargo de la historia, los alxebristes afayaron qu'estructures lóxiques aparentemente distintes bien de cutiu pueden caracterizase de la mesma forma con un pequeñu conxuntu d'axomes. 

El términu *álxebra astracta* usar pa estremar esti campu del *[[álxebra elemental]]* o de la álxebra de la *escuela secundaria* qu'amuesa les regles correutes pa manipoliar fórmules y espresiones alxebraiques que concernen a los númberos reales y númberos complexos. La álxebra astracta foi conocida mientres la primer metá del sieglu XX como *álxebra moderna"

== Historia y exemplos ==

=== Definición histórica ===
Birkhoff y McLane dícennos:


Históricamente, delles temes surdieron en dalguna disciplina distinta a la álxebra -caso d'espacios lliniales y [[álxebra de Boole]]-. Darréu, fueron axiomatizadas y depués estudiaes de mesmu derechu en dichu marco. Por eso, esta materia tien numberoses y granibles conexones con toles demás cañes de la matemática y fora d'ella.

=== Llistáu de sistemes alxebraicos ===
Con una sola [[operación matemática]] son los:
* [[Cuasigrupo|Cuasigrupos]]
* [[Semigrupos]]
* [[Monoide]]s
* [[Grupu (matemática)|Grupos]]

Con dos o más operaciones son:
* [[dominiu euclídeo|Dominios d'integridá]]
* [[Aniellu (matemática)|Aniellos]] y [[Cuerpu (matemática)|cuerpos]]
* [[Módulu (matemática)|Módulos]] y [[Espaciu vectorial|Espacios vectoriales]]
* [[Álxebra asociativa|Álxebres asociatives]] y [[Álxebra de Lie|Álxebres de Lie]]
* [[Retículo (orde)|Retículos]] y [[Álxebra de Boole|álxebres de Boole]]

El [[álxebra universal]] ye un campu de les matemátiques qu'aprove del formalismu pa comparar les distintes estructures alxebraiques. Más allá de les estructures anteriores pueden definise otru tipu d'estructures alxebraiques:

* [[Álxebra homológica]]
* [[Llinguaxes formales]] (concebíos como cadenes de signos bien formaos)
* [[Álxebra sobre un cuerpu]]

=== Un exemplu ===
L'estudiu sistemáticu de la álxebra dexó a los matemáticos llevar so una descripción lóxica común conceutos aparentemente distintos. Por casu, podemos considerar dos operaciones bastante distintes: la composición d'[[Aplicación matemática|aplicaciones]], <math>f(g(x))</math>, y el productu de [[matriz (matemática)|matrices]], <math>A B</math>. Estos dos operaciones son, ello ye que la mesma. Podemos ver esto, informalmente, de la siguiente forma: multiplicar dos matrices cuadraes <math>(AB)</math> por un vector d'una columna, <math>x</math>. Esto, ello ye que define una función que ye equivalente a componer <math>A y</math> con <math>B x</math> <math>Ai</math> = <math>A(B x)</math> = <math>(AB)x</math>. Les funciones so composición y les matrices so multiplicación formen estructures llamaos [[Monoide|monoides]]. Un monoide so operación ye asociativu pa tolos sos elementos <math>( (ab)c = a (bc) )</math> y contién un elementu <math>y</math> tal que, pa cualquier valor de <math>a</math>, <math>ae = ea = a</math>. Verdaderamente, que dos conxuntos isomorfos considérense idénticos, lo qu'interesen son les operaciones y les sos lleis en dichos conxuntos.

== Referencies ==


=== Bibliografía ===
* Fraleigh, John B.: *Álxebra astracta* (1987).

=== Enllaces esternos ===
* John Beachy: *Abstract Algebra On line*, Llista de definiciones y teoremes, n'inglés.
* Joseph Mileti: *Mathematics Museum: Abstract Algebra'', una bona introducción a la materia en términos senciellos, n'inglés.