stringtranslate.com

Álgebra

El álgebra es la rama de las matemáticas que estudia ciertos sistemas abstractos , conocidos como estructuras algebraicas , y la manipulación de enunciados dentro de esos sistemas. Es una generalización de la aritmética que introduce variables y operaciones algebraicas distintas de las operaciones aritméticas estándar, como la suma y la multiplicación .

El álgebra elemental es la forma principal de álgebra que se enseña en la escuela y examina enunciados matemáticos utilizando variables para valores no especificados. Busca determinar para qué valores son verdaderos los enunciados. Para ello, utiliza diferentes métodos de transformación de ecuaciones para aislar variables. El álgebra lineal es un campo estrechamente relacionado que investiga ecuaciones lineales y combinaciones de ellas llamadas sistemas de ecuaciones lineales . Proporciona métodos para encontrar los valores que resuelven todas las ecuaciones del sistema al mismo tiempo y para estudiar el conjunto de estas soluciones.

El álgebra abstracta estudia las estructuras algebraicas, que consisten en un conjunto de objetos matemáticos junto con una o varias operaciones definidas sobre ese conjunto. Es una generalización del álgebra elemental y lineal, ya que permite objetos matemáticos distintos de los números y las operaciones no aritméticas. Distingue entre diferentes tipos de estructuras algebraicas, como grupos , anillos y cuerpos , en función del número de operaciones que utilizan y las leyes que siguen . El álgebra universal y la teoría de categorías proporcionan marcos generales para investigar patrones abstractos que caracterizan diferentes clases de estructuras algebraicas.

Los métodos algebraicos se estudiaron por primera vez en la antigüedad para resolver problemas específicos en campos como la geometría . Los matemáticos posteriores examinaron técnicas generales para resolver ecuaciones independientemente de sus aplicaciones específicas. Describieron ecuaciones y sus soluciones utilizando palabras y abreviaturas hasta los siglos XVI y XVII, cuando se desarrolló un formalismo simbólico riguroso. A mediados del siglo XIX, el alcance del álgebra se amplió más allá de una teoría de ecuaciones para cubrir diversos tipos de operaciones y estructuras algebraicas. El álgebra es relevante para muchas ramas de las matemáticas, como la geometría, la topología , la teoría de números y el cálculo , y otros campos de investigación, como la lógica y las ciencias empíricas .

Definición y etimología

El álgebra es la rama de las matemáticas que estudia las estructuras algebraicas y las operaciones que utilizan. [1] Una estructura algebraica es un conjunto no vacío de objetos matemáticos , como los números enteros , junto con operaciones algebraicas definidas en ese conjunto, como la suma y la multiplicación . [2] [a] El álgebra explora las leyes, las características generales y los tipos de estructuras algebraicas. Dentro de ciertas estructuras algebraicas, examina el uso de variables en ecuaciones y cómo manipular estas ecuaciones. [4] [b]

El álgebra se entiende a menudo como una generalización de la aritmética . [8] La aritmética estudia operaciones como la suma, la resta , la multiplicación y la división , en un dominio particular de números, como los números reales. [9] El álgebra elemental constituye el primer nivel de abstracción. Al igual que la aritmética, se limita a tipos específicos de números y operaciones. Generaliza estas operaciones al permitir cantidades indefinidas en forma de variables además de números. [10] Un nivel más alto de abstracción se encuentra en el álgebra abstracta , que no se limita a un dominio particular y examina estructuras algebraicas como grupos y anillos . Se extiende más allá de las operaciones aritméticas típicas al cubrir también otros tipos de operaciones. [11] El álgebra universal es aún más abstracta en el sentido de que no está interesada en estructuras algebraicas específicas, sino que investiga las características de las estructuras algebraicas en general. [12]

Página de título del libro compendioso sobre cálculo por terminación y balanceo
La palabra álgebra proviene del título del libro Al-Jabr de Al-Khwarizmi . [13]

El término "álgebra" se utiliza a veces en un sentido más estricto para referirse únicamente al álgebra elemental o únicamente al álgebra abstracta. [14] Cuando se utiliza como sustantivo contable , un álgebra es un tipo específico de estructura algebraica que implica un espacio vectorial equipado con un cierto tipo de operación binaria . [15] Dependiendo del contexto, "álgebra" también puede referirse a otras estructuras algebraicas, como un álgebra de Lie o un álgebra asociativa . [16]

La palabra álgebra proviene del término árabe الجبر ( al-jabr ), que originalmente se refería al tratamiento quirúrgico de la osteopatía . En el siglo IX, el término recibió un significado matemático cuando el matemático persa Muhammad ibn Musa al-Khwarizmi lo empleó para describir un método de resolución de ecuaciones y lo utilizó en el título de un tratado sobre álgebra, al-Kitāb al-Mukhtaṣar fī Ḥisāb al-Jabr wal-Muqābalah [ El libro compendioso sobre el cálculo por compleción y balanceo ] que fue traducido al latín como Liber Algebrae et Almucabola . [c] La palabra entró en el idioma inglés en el siglo XVI desde el italiano , el español y el latín medieval . [18] Inicialmente, su significado estaba restringido a la teoría de ecuaciones , es decir, al arte de manipular ecuaciones polinómicas con vistas a resolverlas. Esto cambió en el siglo XIX [d] cuando el alcance del álgebra se amplió para cubrir el estudio de diversos tipos de operaciones y estructuras algebraicas junto con sus axiomas subyacentes , las leyes que siguen. [21]

Ramas principales

Álgebra elemental

Diagrama de una expresión algebraica
Notación de expresiones algebraicas:
  1 – potencia (exponente)
  2 – coeficiente
  3 – término
  4 – operador
  5 – término constante – constante – variables
 
 

El álgebra elemental, también llamada álgebra escolar, álgebra universitaria y álgebra clásica, [22] es la forma más antigua y básica del álgebra. Es una generalización de la aritmética que se basa en variables y examina cómo se pueden transformar los enunciados matemáticos. [23]

La aritmética es el estudio de las operaciones numéricas e investiga cómo se combinan y transforman los números mediante las operaciones aritméticas de suma , resta , multiplicación , división , exponenciación , extracción de raíces y logaritmo . Por ejemplo, la operación de suma combina dos números, llamados sumandos, en un tercer número, llamado suma, como en . [9]

El álgebra elemental se basa en las mismas operaciones, pero permite el uso de variables además de los números regulares. Las variables son símbolos de cantidades no especificadas o desconocidas. Permiten enunciar relaciones para las que no se conocen los valores exactos y expresar leyes generales que son verdaderas, independientemente de los números que se utilicen. Por ejemplo, la ecuación pertenece a la aritmética y expresa una igualdad solo para estos números específicos. Al reemplazar los números con variables, es posible expresar una ley general que se aplica a cualquier combinación posible de números, como la propiedad conmutativa de la multiplicación , que se expresa en la ecuación . [23]

Las expresiones algebraicas se forman mediante operaciones aritméticas para combinar variables y números. Por convención, las letras minúsculas , , y representan variables. En algunos casos, se agregan subíndices para distinguir las variables, como en , , y . Las letras minúsculas , , y se usan generalmente para constantes y coeficientes . [e] La expresión es una expresión algebraica creada al multiplicar el número 5 por la variable y agregar el número 3 al resultado. Otros ejemplos de expresiones algebraicas son y . [25]

Algunas expresiones algebraicas toman la forma de enunciados que relacionan dos expresiones entre sí. Una ecuación es un enunciado formado al comparar dos expresiones, diciendo que son iguales. Esto se puede expresar usando el signo igual ( ), como en . Las inecuaciones implican un tipo diferente de comparación, diciendo que los dos lados son diferentes. Esto se puede expresar usando símbolos como el signo menor que ( ), el signo mayor que ( ) y el signo de desigualdad ( ). A diferencia de otras expresiones, los enunciados pueden ser verdaderos o falsos y su valor de verdad generalmente depende de los valores de las variables. Por ejemplo, el enunciado es verdadero si es 2 o −2 y falso en caso contrario. [26] Las ecuaciones con variables se pueden dividir en ecuaciones de identidad y ecuaciones condicionales. Las ecuaciones de identidad son verdaderas para todos los valores que se pueden asignar a las variables, como la ecuación . Las ecuaciones condicionales solo son verdaderas para algunos valores. Por ejemplo, la ecuación solo es verdadera si es 5. [27]

El objetivo principal del álgebra elemental es determinar los valores para los cuales una afirmación es verdadera. Esto se puede lograr transformando y manipulando afirmaciones de acuerdo con ciertas reglas. Un principio clave que guía este proceso es que cualquier operación que se aplique a un lado de una ecuación también debe realizarse al otro lado. Por ejemplo, si uno resta 5 del lado izquierdo de una ecuación, también necesita restar 5 del lado derecho para equilibrar ambos lados. El objetivo de estos pasos es generalmente aislar la variable que nos interesa en un lado, un proceso conocido como resolver la ecuación para esa variable. Por ejemplo, la ecuación se puede resolver sumando 7 a ambos lados, lo que aísla en el lado izquierdo y da como resultado la ecuación . [28]

Existen muchas otras técnicas que se utilizan para resolver ecuaciones. La simplificación se emplea para reemplazar una expresión complicada por una equivalente más simple. Por ejemplo, la expresión puede reemplazarse por la expresión ya que mediante la propiedad distributiva. [29] Para enunciados con varias variables, la sustitución es una técnica común para reemplazar una variable por una expresión equivalente que no utiliza esta variable. Por ejemplo, si uno sabe que entonces puede simplificar la expresión para llegar a . De manera similar, si uno conoce el valor de una variable, puede usarlo para determinar el valor de otras variables. [30]

Gráfica de la ecuación "y = 0,5x − 1"
Las ecuaciones algebraicas se pueden utilizar para describir figuras geométricas. Todos los valores de y que resuelven la ecuación se interpretan como puntos. Se dibujan como una línea roja con pendiente ascendente en el gráfico anterior.

Las ecuaciones algebraicas pueden interpretarse geométricamente para describir figuras espaciales en forma de gráfico . Para ello, las diferentes variables de la ecuación se entienden como coordenadas y los valores que resuelven la ecuación se interpretan como puntos de un gráfico. Por ejemplo, si se establece en cero en la ecuación , entonces debe ser −1 para que la ecuación sea verdadera. Esto significa que el par es parte del gráfico de la ecuación. El par , por el contrario, no resuelve la ecuación y, por lo tanto, no es parte del gráfico. El gráfico abarca la totalidad de pares que resuelven la ecuación. [31]

Polinomios

Un polinomio es una expresión que consta de uno o más términos que se suman o se restan entre sí, como . Cada término es una constante, una variable o un producto de una constante y variables. Cada variable puede elevarse a una potencia entera positiva. Un monomio es un polinomio con un término, mientras que los polinomios de dos y tres términos se denominan binomios y trinomios. El grado de un polinomio es el valor máximo (entre sus términos) de la suma de los exponentes de las variables (4 en el ejemplo anterior). [32] Los polinomios de grado uno se denominan polinomios lineales . El álgebra lineal estudia los sistemas de polinomios lineales. [33] Se dice que un polinomio es univariante o multivariante , dependiendo de si utiliza una o más variables. [34]

La factorización es un método utilizado para simplificar polinomios, facilitando su análisis y determinando los valores para los que evalúan a cero . La factorización consiste en reescribir un polinomio como un producto de varios factores. Por ejemplo, el polinomio se puede factorizar como . El polinomio en su conjunto es cero si y solo si uno de sus factores es cero, es decir, si es −2 o 5. [35] Antes del siglo XIX, gran parte del álgebra se dedicaba a las ecuaciones polinómicas , es decir, ecuaciones obtenidas al igualar un polinomio a cero. Los primeros intentos para resolver ecuaciones polinómicas fueron expresar las soluciones en términos de raíces n ésimas . La solución de una ecuación polinómica de segundo grado de la forma se da por la fórmula cuadrática [36] Las soluciones para los grados 3 y 4 se dan por las fórmulas cúbica y cuártica . No existen soluciones generales para grados superiores, como se demostró en el siglo XIX con el llamado teorema de Abel-Ruffini . [37] Incluso cuando no existen soluciones generales, se pueden encontrar soluciones aproximadas mediante herramientas numéricas como el método de Newton-Raphson . [38]

El teorema fundamental del álgebra afirma que toda ecuación polinómica univariante de grado positivo con coeficientes reales o complejos tiene al menos una solución compleja. En consecuencia, todo polinomio de grado positivo puede factorizarse en polinomios lineales. Este teorema fue demostrado a principios del siglo XIX, pero esto no resuelve el problema ya que el teorema no proporciona ninguna forma de calcular las soluciones. [39]

Álgebra lineal

El álgebra lineal comienza con el estudio de sistemas de ecuaciones lineales . [40] Una ecuación es lineal si se puede expresar en la forma donde , , ..., y son constantes. Algunos ejemplos son y . Un sistema de ecuaciones lineales es un conjunto de ecuaciones lineales para las que se está interesado en soluciones comunes. [41]

Las matrices son conjuntos rectangulares de valores que se introdujeron originalmente para tener una notación compacta y sintética para sistemas de ecuaciones lineales [42] Por ejemplo, el sistema de ecuaciones se puede escribir como donde y son las matrices

Bajo ciertas condiciones en el número de filas y columnas, las matrices se pueden sumar , multiplicar y, a veces, invertir . Todos los métodos para resolver sistemas lineales se pueden expresar como manipulaciones matriciales utilizando estas operaciones. Por ejemplo, la solución del sistema anterior consiste en calcular una matriz invertida tal que donde es la matriz identidad . Luego, multiplicando por la izquierda ambos miembros de la ecuación matricial anterior por uno, se obtiene la solución del sistema de ecuaciones lineales como [43]

Los métodos para resolver sistemas de ecuaciones lineales van desde los introductorios, como la sustitución [44] y la eliminación, [45] hasta técnicas más avanzadas que utilizan matrices, como la regla de Cramer , la eliminación gaussiana y la descomposición LU . [46] Algunos sistemas de ecuaciones son inconsistentes , lo que significa que no existen soluciones porque las ecuaciones se contradicen entre sí. [47] [f] Los sistemas consistentes tienen una solución única o un número infinito de soluciones. [48] [g]

El estudio de los espacios vectoriales y las aplicaciones lineales forma una gran parte del álgebra lineal. Un espacio vectorial es una estructura algebraica formada por un conjunto con una adición que lo convierte en un grupo abeliano y una multiplicación escalar que es compatible con la adición (ver espacio vectorial para más detalles). Una aplicación lineal es una función entre espacios vectoriales que es compatible con la adición y la multiplicación escalar. En el caso de los espacios vectoriales de dimensión finita , los vectores y las aplicaciones lineales pueden representarse mediante matrices. De ello se deduce que las teorías de matrices y espacios vectoriales de dimensión finita son esencialmente las mismas. En particular, los espacios vectoriales proporcionan una tercera forma de expresar y manipular sistemas de ecuaciones lineales. [49] Desde esta perspectiva, una matriz es una representación de una aplicación lineal: si uno elige una base particular para describir los vectores que se están transformando, entonces las entradas en la matriz dan los resultados de aplicar la aplicación lineal a los vectores de la base. [50]

Gráfica de dos ecuaciones lineales
Las ecuaciones lineales con dos variables se pueden interpretar geométricamente como líneas. La solución de un sistema de ecuaciones lineales se encuentra en el punto donde se intersecan las líneas.

Los sistemas de ecuaciones pueden interpretarse como figuras geométricas. Para sistemas con dos variables, cada ecuación representa una línea en el espacio bidimensional . El punto donde se cruzan las dos líneas es la solución del sistema completo porque este es el único punto que resuelve tanto la primera como la segunda ecuación. Para sistemas inconsistentes, las dos líneas corren paralelas, lo que significa que no hay solución ya que nunca se cruzan. Si dos ecuaciones no son independientes, entonces describen la misma línea, lo que significa que cada solución de una ecuación es también una solución de la otra ecuación. Estas relaciones permiten buscar soluciones gráficamente trazando las ecuaciones y determinando dónde se cruzan. [51] Los mismos principios también se aplican a sistemas de ecuaciones con más variables, con la diferencia de que las ecuaciones no describen líneas sino figuras de dimensiones superiores. Por ejemplo, las ecuaciones con tres variables corresponden a planos en el espacio tridimensional , y los puntos donde se cruzan todos los planos resuelven el sistema de ecuaciones. [52]

Álgebra abstracta

El álgebra abstracta, también llamada álgebra moderna, [53] es el estudio de las estructuras algebraicas . Una estructura algebraica es un marco para comprender las operaciones sobre objetos matemáticos , como la suma de números. Mientras que el álgebra elemental y el álgebra lineal funcionan dentro de los confines de estructuras algebraicas particulares, el álgebra abstracta adopta un enfoque más general que compara cómo las estructuras algebraicas se diferencian entre sí y qué tipos de estructuras algebraicas existen, como grupos , anillos y cuerpos . [54] La diferencia clave entre estos tipos de estructuras algebraicas radica en la cantidad de operaciones que utilizan y las leyes que obedecen. [55] En educación matemática , el álgebra abstracta se refiere a un curso universitario avanzado que los estudiantes de matemáticas toman después de completar cursos de álgebra lineal. [56]

Diagrama de funcionamiento binario
Muchas estructuras algebraicas se basan en operaciones binarias, que toman dos objetos como entrada y los combinan en un solo objeto como salida, como lo hacen la suma y la multiplicación.

En un nivel formal, una estructura algebraica es un conjunto [h] de objetos matemáticos, llamado el conjunto subyacente, junto con una o varias operaciones. [i] El álgebra abstracta está principalmente interesada en las operaciones binarias , [j] que toman dos objetos cualesquiera del conjunto subyacente como entradas y los asignan a otro objeto de este conjunto como salida. [60] Por ejemplo, la estructura algebraica tiene los números naturales ( ) como el conjunto subyacente y la adición ( ) como su operación binaria. [58] El conjunto subyacente puede contener objetos matemáticos distintos de los números y las operaciones no están restringidas a operaciones aritméticas regulares. [61] Por ejemplo, el conjunto subyacente del grupo de simetría de un objeto geométrico está formado por transformaciones geométricas , como rotaciones , bajo las cuales el objeto permanece inalterado . Su operación binaria es la composición de funciones , que toma dos transformaciones como entrada y tiene la transformación resultante de aplicar la primera transformación seguida de la segunda como su salida. [62]

Teoría de grupos

El álgebra abstracta clasifica las estructuras algebraicas en función de las leyes o axiomas que obedecen sus operaciones y del número de operaciones que utiliza. Uno de los tipos más básicos es un grupo, que tiene una operación y requiere que esta operación sea asociativa y tenga un elemento identidad y elementos inversos . Una operación es asociativa si no importa el orden de varias aplicaciones, es decir, si [k] es el mismo que para todos los elementos. Una operación tiene un elemento identidad o un elemento neutro si existe un elemento e que no cambia el valor de ningún otro elemento, es decir, si . Una operación tiene elementos inversos si para cualquier elemento existe un elemento recíproco que deshace . Si un elemento opera sobre su inverso entonces el resultado es el elemento neutro e , expresado formalmente como . Toda estructura algebraica que cumple estos requisitos es un grupo. [64] Por ejemplo, es un grupo formado por el conjunto de los números enteros junto con la operación de adición. El elemento neutro es 0 y el elemento inverso de cualquier número es . [65] Los números naturales con adición, por el contrario, no forman un grupo ya que contienen sólo números enteros positivos y, por tanto, carecen de elementos inversos. [66]

La teoría de grupos examina la naturaleza de los grupos, con teoremas básicos como el teorema fundamental de los grupos abelianos finitos y el teorema de Feit-Thompson . [67] Este último fue un paso clave en uno de los logros matemáticos más importantes del siglo XX: el esfuerzo colaborativo, que ocupó más de 10.000 páginas de revistas y se publicó principalmente entre 1960 y 2004, que culminó en una clasificación completa de grupos simples finitos . [68]

Teoría de anillos y teoría de campos

Un anillo es una estructura algebraica con dos operaciones que funcionan de manera similar a la suma y multiplicación de números y se nombran y denotan generalmente de manera similar. Un anillo es un grupo conmutativo bajo la adición: la adición del anillo es asociativa, conmutativa y tiene un elemento identidad y elementos inversos. La multiplicación es asociativa y distributiva con respecto a la adición; es decir, y Además, la multiplicación es asociativa y tiene un elemento identidad generalmente denotado como 1 . [69] [l] La multiplicación no necesita ser conmutativa; si es conmutativa, uno tiene un anillo conmutativo . [71] El anillo de números enteros ( ) es uno de los anillos conmutativos más simples. [72]

Un cuerpo es un anillo conmutativo tal que ⁠ ⁠ y cada elemento distinto de cero tiene un inverso multiplicativo . [73] El anillo de números enteros no forma un cuerpo porque carece de inversos multiplicativos. Por ejemplo, el inverso multiplicativo de es , que no es un número entero. Los números racionales , los números reales y los números complejos forman cada uno un cuerpo con las operaciones de suma y multiplicación. [74]

La teoría de anillos es el estudio de los anillos, explorando conceptos como subanillos , anillos cociente , anillos polinomiales e ideales , así como teoremas como el teorema de la base de Hilbert . [75] La teoría de campos se ocupa de los campos, examinando extensiones de campo , cierres algebraicos y campos finitos . [76] La teoría de Galois explora la relación entre la teoría de campos y la teoría de grupos, basándose en el teorema fundamental de la teoría de Galois . [77]

Teorías de interrelaciones entre estructuras

Diagrama de relaciones entre algunas estructuras algebraicas
Diagrama de relaciones entre algunas estructuras algebraicas. Por ejemplo, en su parte superior derecha se observa que un magma se convierte en semigrupo si su operación es asociativa.

Además de los grupos, anillos y cuerpos, existen muchas otras estructuras algebraicas estudiadas por el álgebra. Entre ellas se incluyen los magmas , semigrupos , monoides , grupos abelianos , anillos conmutativos , módulos , redes , espacios vectoriales , álgebras sobre un cuerpo y álgebras asociativas y no asociativas . Se diferencian entre sí en lo que respecta a los tipos de objetos que describen y los requisitos que cumplen sus operaciones. Muchas están relacionadas entre sí en el sentido de que una estructura básica se puede convertir en una estructura más avanzada añadiendo requisitos adicionales. [55] Por ejemplo, un magma se convierte en un semigrupo si su operación es asociativa. [78]

Los homomorfismos son herramientas para examinar características estructurales comparando dos estructuras algebraicas. [79] Un homomorfismo es una función del conjunto subyacente de una estructura algebraica al conjunto subyacente de otra estructura algebraica que conserva ciertas características estructurales. Si las dos estructuras algebraicas utilizan operaciones binarias y tienen la forma y entonces la función es un homomorfismo si cumple el siguiente requisito: . La existencia de un homomorfismo revela que la operación en la segunda estructura algebraica juega el mismo papel que la operación en la primera estructura algebraica. [80] Los isomorfismos son un tipo especial de homomorfismo que indica un alto grado de similitud entre dos estructuras algebraicas. Un isomorfismo es un homomorfismo biyectivo , lo que significa que establece una relación uno a uno entre los elementos de las dos estructuras algebraicas. Esto implica que cada elemento de la primera estructura algebraica se asigna a un elemento único en la segunda estructura sin ningún elemento no asignado en la segunda estructura. [81]

Diagrama de Venn de un conjunto y su subconjunto
Las subálgebras restringen sus operaciones a un subconjunto del conjunto subyacente de la estructura algebraica original.

Otra herramienta de comparación es la relación entre una estructura algebraica y su subálgebra . [82] La estructura algebraica y su subálgebra utilizan las mismas operaciones, [m] que siguen los mismos axiomas. La única diferencia es que el conjunto subyacente de la subálgebra es un subconjunto del conjunto subyacente de la estructura algebraica. [n] Se requiere que todas las operaciones en la subálgebra sean cerradas en su conjunto subyacente, lo que significa que solo producen elementos que pertenecen a este conjunto. [82] Por ejemplo, el conjunto de números enteros pares junto con la adición es una subálgebra del conjunto completo de números enteros junto con la adición. Este es el caso porque la suma de dos números pares es nuevamente un número par. Pero el conjunto de números enteros impares junto con la adición no es una subálgebra porque no es cerrado: sumar dos números impares produce un número par, que no es parte del subconjunto elegido. [83]

El álgebra universal es el estudio de las estructuras algebraicas en general. Como parte de su perspectiva general, no se ocupa de los elementos específicos que componen los conjuntos subyacentes y considera operaciones con más de dos entradas, como las operaciones ternarias . Proporciona un marco para investigar qué características estructurales tienen en común las diferentes estructuras algebraicas. [85] [o] Una de esas características estructurales se refiere a las identidades que son verdaderas en diferentes estructuras algebraicas. En este contexto, una identidad es una ecuación universal o una ecuación que es verdadera para todos los elementos del conjunto subyacente. Por ejemplo, la conmutatividad es una ecuación universal que establece que es idéntica a para todos los elementos. [87] Una variedad es una clase de todas las estructuras algebraicas que satisfacen ciertas identidades. Por ejemplo, si dos estructuras algebraicas satisfacen la conmutatividad, entonces ambas son parte de la variedad correspondiente. [88] [p] [q]

La teoría de categorías examina cómo se relacionan entre sí los objetos matemáticos utilizando el concepto de categorías . Una categoría es una colección de objetos junto con una colección de los llamados morfismos o "flechas" entre esos objetos. Estas dos colecciones deben satisfacer ciertas condiciones. Por ejemplo, los morfismos pueden unirse o componerse : si existe un morfismo de objeto a objeto y otro morfismo de objeto a objeto , entonces también debe existir uno de objeto a objeto . Se requiere que la composición de morfismos sea asociativa y debe haber un "morfismo identidad" para cada objeto. [92] Las categorías se utilizan ampliamente en las matemáticas contemporáneas ya que proporcionan un marco unificador para describir y analizar muchos conceptos matemáticos fundamentales. Por ejemplo, los conjuntos pueden describirse con la categoría de conjuntos , y cualquier grupo puede considerarse como los morfismos de una categoría con un solo objeto. [93]

Historia

Papiro de Rhind
El Papiro Matemático Rhind del antiguo Egipto , que data aproximadamente del año  1650 a. C. , es uno de los primeros documentos que tratan problemas algebraicos.

El origen del álgebra se encuentra en los intentos de resolver problemas matemáticos que involucraban cálculos aritméticos y cantidades desconocidas. Estos desarrollos ocurrieron en el período antiguo en Babilonia , Egipto , Grecia , China e India . Uno de los primeros documentos sobre problemas algebraicos es el Papiro Matemático Rhind del antiguo Egipto, que fue escrito alrededor de 1650 a. C. [r] Analiza soluciones a ecuaciones lineales , tal como se expresa en problemas como "Una cantidad; se le suma su cuarto. Se convierte en quince. ¿Cuál es la cantidad?" Las tablillas de arcilla babilónicas de la misma época explican métodos para resolver ecuaciones polinómicas lineales y cuadráticas , como el método de completar el cuadrado . [95]

Muchos de estos conocimientos llegaron a los antiguos griegos. A partir del siglo VI a. C., su principal interés era la geometría más que el álgebra, pero emplearon métodos algebraicos para resolver problemas geométricos. Por ejemplo, estudiaban figuras geométricas mientras tomaban sus longitudes y áreas como cantidades desconocidas a determinar, como se ejemplifica en la formulación de Pitágoras del método de la diferencia de dos cuadrados y más tarde en los Elementos de Euclides . [96] En el siglo III d. C., Diofanto proporcionó un tratamiento detallado de cómo resolver ecuaciones algebraicas en una serie de libros llamados Arithmetica . Fue el primero en experimentar con la notación simbólica para expresar polinomios. [97] El trabajo de Diofanto influyó en el desarrollo árabe del álgebra con muchos de sus métodos reflejados en los conceptos y técnicas utilizados en el álgebra árabe medieval. [98] En la antigua China, Los nueve capítulos sobre el arte matemático , un libro compuesto durante el período que abarca desde el siglo X a. C. hasta el siglo II d. C., [99] exploró varias técnicas para resolver ecuaciones algebraicas, incluido el uso de construcciones similares a matrices. [100]

No hay unanimidad en cuanto a si estos primeros desarrollos son parte del álgebra o solo precursores. Ofrecieron soluciones a problemas algebraicos pero no los concibieron de una manera abstracta y general, centrándose en cambio en casos y aplicaciones específicas. [101] Esto cambió con el matemático persa al-Khwarizmi , [s] quien publicó su The Compendious Book on Calculation by Completion and Balancing en 825 CE. Presenta el primer tratamiento detallado de los métodos generales que se pueden utilizar para manipular ecuaciones lineales y cuadráticas mediante "reducción" y "equilibrio" ambos lados. [103] Otras contribuciones influyentes al álgebra vinieron del matemático árabe Thābit ibn Qurra también en el siglo IX y del matemático persa Omar Khayyam en los siglos XI y XII. [104]

En la India, Brahmagupta investigó cómo resolver ecuaciones cuadráticas y sistemas de ecuaciones con varias variables en el siglo VII d. C. Entre sus innovaciones se encontraba el uso del cero y de números negativos en ecuaciones algebraicas. [105] Los matemáticos indios Mahāvīra en el siglo IX y Bhāskara II en el siglo XII perfeccionaron aún más los métodos y conceptos de Brahmagupta. [106] En 1247, el matemático chino Qin Jiushao escribió el Tratado matemático en nueve secciones , que incluye un algoritmo para la evaluación numérica de polinomios , incluidos polinomios de grados superiores. [107]

François Viète (izquierda) y René Descartes inventaron una notación simbólica para expresar ecuaciones de manera abstracta y concisa.

El matemático italiano Fibonacci trajo las ideas y técnicas de al-Juarizmi a Europa en libros como su Liber Abaci . [108] En 1545, el polímata italiano Gerolamo Cardano publicó su libro Ars Magna , que cubría muchos temas de álgebra, discutía números imaginarios y fue el primero en presentar métodos generales para resolver ecuaciones cúbicas y cuárticas . [109] En los siglos XVI y XVII, los matemáticos franceses François Viète y René Descartes introdujeron letras y símbolos para denotar variables y operaciones, haciendo posible expresar ecuaciones de manera abstracta y concisa. Sus predecesores se habían basado en descripciones verbales de problemas y soluciones. [110] Algunos historiadores ven este desarrollo como un punto de inflexión clave en la historia del álgebra y consideran lo que vino antes como la prehistoria del álgebra porque carecía de la naturaleza abstracta basada en la manipulación simbólica. [111]

Fotografía de Garrett Birkhoff
Garrett Birkhoff desarrolló muchos de los conceptos fundamentales del álgebra universal.

En los siglos XVII y XVIII se hicieron muchos intentos de encontrar soluciones generales a polinomios de grado cinco y superiores. Todos ellos fracasaron. [37] A finales del siglo XVIII, el matemático alemán Carl Friedrich Gauss demostró el teorema fundamental del álgebra , que describe la existencia de ceros de polinomios de cualquier grado sin proporcionar una solución general. [19] A principios del siglo XIX, el matemático italiano Paolo Ruffini y el matemático noruego Niels Henrik Abel pudieron demostrar que no existe una solución general para polinomios de grado cinco y superiores. [37] En respuesta a sus hallazgos y poco después, el matemático francés Évariste Galois desarrolló lo que más tarde se conocería como teoría de Galois , que ofrecía un análisis más profundo de las soluciones de los polinomios al tiempo que sentaba las bases de la teoría de grupos . [20] Los matemáticos pronto se dieron cuenta de la relevancia de la teoría de grupos para otros campos y la aplicaron a disciplinas como la geometría y la teoría de números. [112]

A partir de mediados del siglo XIX, el interés en el álgebra pasó del estudio de polinomios asociados con el álgebra elemental hacia una investigación más general sobre las estructuras algebraicas, lo que marcó el surgimiento del álgebra abstracta . Este enfoque exploró la base axiomática de operaciones algebraicas arbitrarias. [113] La invención de nuevos sistemas algebraicos basados ​​en diferentes operaciones y elementos acompañó este desarrollo, como el álgebra de Boole , el álgebra vectorial y el álgebra matricial . [114] Los primeros desarrollos influyentes en el álgebra abstracta fueron realizados por los matemáticos alemanes David Hilbert , Ernst Steinitz y Emmy Noether , así como por el matemático austríaco Emil Artin . Investigaron diferentes formas de estructuras algebraicas y las categorizaron en función de sus axiomas subyacentes en tipos, como grupos, anillos y cuerpos. [115]

La idea del enfoque aún más general asociado con el álgebra universal fue concebida por el matemático inglés Alfred North Whitehead en su libro de 1898 Tratado sobre álgebra universal . A partir de la década de 1930, el matemático estadounidense Garrett Birkhoff amplió estas ideas y desarrolló muchos de los conceptos fundamentales de este campo. [116] La invención del álgebra universal condujo al surgimiento de varias áreas nuevas centradas en la algebrización de las matemáticas, es decir, la aplicación de métodos algebraicos a otras ramas de las matemáticas. El álgebra topológica surgió a principios del siglo XX, estudiando estructuras algebraicas como los grupos topológicos y los grupos de Lie . [117] En las décadas de 1940 y 1950, surgió el álgebra homológica , que empleaba técnicas algebraicas para estudiar la homología . [118] Casi al mismo tiempo, se desarrolló la teoría de categorías y desde entonces ha desempeñado un papel clave en los fundamentos de las matemáticas . [119] Otros desarrollos fueron la formulación de la teoría de modelos y el estudio de las álgebras libres . [120]

Aplicaciones

La influencia del álgebra es de amplio alcance, tanto dentro de las matemáticas como en sus aplicaciones a otros campos. [121] La algebrización de las matemáticas es el proceso de aplicar métodos y principios algebraicos a otras ramas de las matemáticas , como la geometría , la topología , la teoría de números y el cálculo . Se produce mediante el empleo de símbolos en forma de variables para expresar conocimientos matemáticos a un nivel más general, lo que permite a los matemáticos desarrollar modelos formales que describen cómo los objetos interactúan y se relacionan entre sí. [122]

Imagen renderizada de una esfera
La ecuación algebraica describe una esfera en el origen con un radio de 1.

Una aplicación, encontrada en geometría, es el uso de enunciados algebraicos para describir figuras geométricas. Por ejemplo, la ecuación describe una línea en el espacio bidimensional mientras que la ecuación corresponde a una esfera en el espacio tridimensional. De especial interés para la geometría algebraica son las variedades algebraicas , [t] que son soluciones a sistemas de ecuaciones polinómicas que pueden usarse para describir figuras geométricas más complejas. [124] El razonamiento algebraico también puede resolver problemas geométricos. Por ejemplo, uno puede determinar si y dónde la línea descrita por se interseca con el círculo descrito por resolviendo el sistema de ecuaciones compuesto por estas dos ecuaciones. [125] La topología estudia las propiedades de las figuras geométricas o espacios topológicos que se conservan bajo operaciones de deformación continua . La topología algebraica se basa en teorías algebraicas como la teoría de grupos para clasificar los espacios topológicos. Por ejemplo, los grupos de homotopía clasifican los espacios topológicos basándose en la existencia de bucles o agujeros en ellos. [126]

La teoría de números se ocupa de las propiedades y relaciones entre números enteros. La teoría algebraica de números aplica métodos y principios algebraicos a este campo de investigación. Algunos ejemplos son el uso de expresiones algebraicas para describir leyes generales, como el último teorema de Fermat , y de estructuras algebraicas para analizar el comportamiento de los números, como el anillo de números enteros . [127] El campo relacionado de la combinatoria utiliza técnicas algebraicas para resolver problemas relacionados con el conteo, la disposición y la combinación de objetos discretos. Un ejemplo de la combinatoria algebraica es la aplicación de la teoría de grupos para analizar gráficos y simetrías. [128] Los conocimientos del álgebra también son relevantes para el cálculo, que utiliza expresiones matemáticas para examinar las tasas de cambio y acumulación . Se basa en el álgebra, por ejemplo, para comprender cómo se pueden transformar estas expresiones y qué papel juegan las variables en ellas. [129] La lógica algebraica emplea los métodos del álgebra para describir y analizar las estructuras y patrones que subyacen al razonamiento lógico , [130] explorando tanto las estructuras matemáticas relevantes como su aplicación a problemas concretos de lógica. [131] Incluye el estudio del álgebra de Boole para describir la lógica proposicional [132] así como la formulación y análisis de estructuras algebraicas correspondientes a sistemas más complejos de lógica . [133]

Imagen del cubo de Rubik
Las caras de un cubo de Rubik se pueden rotar para cambiar la disposición de los parches de color. Las permutaciones resultantes forman un grupo llamado el grupo del cubo de Rubik . [134]

Los métodos algebraicos también se emplean comúnmente en otras áreas, como las ciencias naturales. Por ejemplo, se utilizan para expresar leyes científicas y resolver ecuaciones en física , química y biología . [135] Se encuentran aplicaciones similares en campos como la economía , la geografía , la ingeniería (incluida la electrónica y la robótica ) y la informática para expresar relaciones, resolver problemas y modelar sistemas. [136] El álgebra lineal juega un papel central en la inteligencia artificial y el aprendizaje automático , por ejemplo, al permitir el procesamiento y análisis eficiente de grandes conjuntos de datos . [137] Varios campos se basan en estructuras algebraicas investigadas por el álgebra abstracta. Por ejemplo, las ciencias físicas como la cristalografía y la mecánica cuántica hacen un uso extensivo de la teoría de grupos, [138] que también se emplea para estudiar rompecabezas como el Sudoku y los cubos de Rubik , [139] y el origami . [140] Tanto la teoría de codificación como la criptología se basan en el álgebra abstracta para resolver problemas asociados con la transmisión de datos , como evitar los efectos del ruido y garantizar la seguridad de los datos . [141]

Educación

Diagrama de una balanza
Las balanzas se utilizan en la enseñanza del álgebra para ayudar a los estudiantes a comprender cómo se pueden transformar las ecuaciones para determinar valores desconocidos. [142]

La enseñanza del álgebra se centra principalmente en el álgebra elemental, que es una de las razones por las que el álgebra elemental también se denomina álgebra escolar. Por lo general, no se introduce hasta la educación secundaria , ya que requiere el dominio de los fundamentos de la aritmética al tiempo que plantea nuevos desafíos cognitivos asociados con el razonamiento abstracto y la generalización. [143] Su objetivo es familiarizar a los estudiantes con el lado formal de las matemáticas ayudándolos a comprender el simbolismo matemático, por ejemplo, cómo se pueden utilizar las variables para representar cantidades desconocidas. Una dificultad adicional para los estudiantes radica en el hecho de que, a diferencia de los cálculos aritméticos, las expresiones algebraicas a menudo son difíciles de resolver directamente. En cambio, los estudiantes necesitan aprender a transformarlas de acuerdo con ciertas leyes, a menudo con el objetivo de determinar una cantidad desconocida. [144]

Algunas herramientas para introducir a los estudiantes al lado abstracto del álgebra se basan en modelos concretos y visualizaciones de ecuaciones, incluyendo analogías geométricas, manipuladores que incluyen palos o tazas, y "máquinas de funciones" que representan ecuaciones como diagramas de flujo . Un método utiliza balanzas como un enfoque pictórico para ayudar a los estudiantes a comprender problemas básicos de álgebra. La masa de algunos objetos en la balanza es desconocida y representa variables. Resolver una ecuación corresponde a agregar y quitar objetos en ambos lados de tal manera que los lados permanezcan en equilibrio hasta que el único objeto que quede en un lado sea el objeto de masa desconocida. [145] Los problemas de palabras son otra herramienta para mostrar cómo se aplica el álgebra a situaciones de la vida real. Por ejemplo, se puede presentar a los estudiantes una situación en la que el hermano de Naomi tiene el doble de manzanas que Naomi. Dado que ambos juntos tienen doce manzanas, se les pide a los estudiantes que encuentren una ecuación algebraica que describa esta situación ( ) y que determinen cuántas manzanas tiene Naomi ( ). [146]

En el nivel universitario, los estudiantes de matemáticas se enfrentan a temas avanzados de álgebra lineal y abstracta. Los cursos iniciales de álgebra lineal se centran en matrices, espacios vectoriales y mapas lineales. Al finalizarlos, los estudiantes suelen conocer el álgebra abstracta, donde aprenden sobre estructuras algebraicas como grupos, anillos y cuerpos, así como las relaciones entre ellos. El plan de estudios normalmente también cubre casos específicos de estructuras algebraicas, como los sistemas de números racionales, números reales y polinomios. [147]

Véase también

Referencias

Notas

  1. ^ Entendida en el sentido más amplio, una operación algebraica es una función de una potencia cartesiana de un conjunto en ese conjunto , expresada formalmente como . La suma de números reales es un ejemplo de una operación algebraica: toma dos números como entrada y produce un número como salida. Tiene la forma . [3]
  2. ^ El álgebra está cubierta por la división 512 en la Clasificación Decimal Dewey [5] y la subclase QA 150-272.5 en la Clasificación de la Biblioteca del Congreso . [6] Abarca varias áreas en la Clasificación de Matemáticas . [7]
  3. ^ El significado exacto del término al-jabr en la obra de al-Khwarizmi es objeto de controversia. En algunos pasajes, expresa que una cantidad disminuida por sustracción se restaura a su valor original, de manera similar a cómo un huesero restaura los huesos rotos alineándolos correctamente. [17]
  4. ^ Estos cambios fueron provocados en parte por descubrimientos que resolvieron muchos de los problemas más antiguos del álgebra. Por ejemplo, la prueba del teorema fundamental del álgebra demostró la existencia de soluciones complejas de polinomios [19] y la introducción de la teoría de Galois caracterizó los polinomios que tienen soluciones generales . [20]
  5. ^ Las constantes representan números fijos que no cambian durante el estudio de un problema específico. [24]
  6. ^ Por ejemplo, las ecuaciones y se contradicen entre sí, ya que no existen valores de y que resuelvan ambas ecuaciones al mismo tiempo. [47]
  7. ^ El que un sistema de ecuaciones consistente tenga una solución única depende del número de variables y ecuaciones independientes . Varias ecuaciones son independientes entre sí si no proporcionan la misma información y no pueden derivarse unas de otras. Existe una solución única si el número de variables es el mismo que el número de ecuaciones independientes. Los sistemas indeterminados , por el contrario, tienen más variables que ecuaciones independientes y tienen un número infinito de soluciones si son consistentes. [48]
  8. ^ Un conjunto es una colección desordenada de elementos distintos, como números, vectores u otros conjuntos. La teoría de conjuntos describe las leyes y propiedades de los conjuntos. [57]
  9. ^ Según algunas definiciones, las estructuras algebraicas incluyen un elemento distinguido como componente adicional, como el elemento identidad en el caso de la multiplicación. [58]
  10. ^ Algunas de las estructuras algebraicas estudiadas por el álgebra abstracta incluyen operaciones unarias además de operaciones binarias. Por ejemplo, los espacios vectoriales normados tienen una norma , que es una operación unaria que se utiliza a menudo para asociar un vector con su longitud. [59]
  11. ^ Los símbolos y se utilizan en este artículo para representar cualquier operación que pueda o no parecerse a operaciones aritméticas. [63]
  12. ^ Algunos autores no requieren la existencia de elementos de identidad multiplicativa. Un anillo sin identidad multiplicativa se denomina a veces rng . [70]
  13. ^ Según algunas definiciones, también es posible que una subálgebra tenga menos operaciones. [83]
  14. ^ Esto significa que todos los elementos del primer conjunto son también elementos del segundo conjunto, pero el segundo conjunto puede contener elementos que no se encuentran en el primer conjunto. [84]
  15. ^ Un enfoque ligeramente diferente entiende el álgebra universal como el estudio de un tipo de estructuras algebraicas conocidas como álgebras universales. Las álgebras universales se definen de manera general para incluir la mayoría de las demás estructuras algebraicas. Por ejemplo, los grupos y los anillos son tipos especiales de álgebras universales. [86]
  16. ^ No todo tipo de estructura algebraica forma una variedad. Por ejemplo, tanto los grupos como los anillos forman variedades, pero los cuerpos no. [89]
  17. ^ Además de las identidades, el álgebra universal también se interesa por las características estructurales asociadas con las cuasi-identidades . Una cuasi-identidad es una identidad que solo necesita estar presente bajo ciertas condiciones (que toman la forma de una cláusula de Horn [90] ). Es una generalización de la identidad en el sentido de que cada identidad es una cuasi-identidad pero no cada cuasi-identidad es una identidad. Una cuasivariedad es una clase de todas las estructuras algebraicas que satisfacen ciertas cuasi-identidades. [91]
  18. ^ La fecha exacta es discutida y algunos historiadores sugieren una fecha posterior, alrededor de 1550 a. C. [94]
  19. ^ Algunos historiadores lo consideran el "padre del álgebra", mientras que otros reservan este título para Diofanto. [102]
  20. ^ Las variedades algebraicas estudiadas en geometría difieren de las variedades más generales estudiadas en el álgebra universal. [123]

Citas

  1. ^
    • Merzlyakov & Shirshov 2020, sección principal
    • Gilbert y Nicholson 2004, pág. 4
  2. ^
    • Fiche y Hebuterne 2013, pág. 326
    • Merzlyakov y Shirshov 2020, § El objeto de estudio del álgebra, sus principales ramas y su conexión con otras ramas de las matemáticas.
    • Gilbert y Nicholson 2004, pág. 4
  3. ^ Baranovich 2023, Sección principal
  4. ^
    • Pratt 2022, Sección principal, § 1. Álgebra elemental, § 2. Álgebra abstracta, § 3. Álgebra universal
    • Merzlyakov y Shirshov 2020, § El objeto de estudio del álgebra, sus principales ramas y su conexión con otras ramas de las matemáticas.
  5. ^ Higham 2019, pág. 296
  6. ^ Biblioteca del Congreso, pág. 3
  7. ^ ZbMATH Abierto 2024
  8. ^
    • Maddocks 2008, pág. 129
    • Burgin 2022, pág. 45
  9. ^ desde
    • Romanowski 2008, págs. 302-303
    • Personal de HC 2022
    • Personal de MW 2023
    • Bukhshtab y Pechaev 2020
  10. ^
    • Maddocks 2008, págs. 129-130
    • Pratt 2022, Sección principal, § 1. Álgebra elemental
    • Wagner y Kieran 2018, pág. 225
  11. ^
    • Maddocks 2008, págs. 131-132
    • Pratt 2022, Sección principal, § 2. Álgebra abstracta
    • Wagner y Kieran 2018, pág. 225
  12. ^
    • Pratt 2022, § 3. Álgebra universal
    • Grillet 2007, pág. 559
    • Denecke & Wismath 2018, pág.
    • Cohn 2012, pág. xiii
  13. ^
    • Cresswell 2010, pág. 11
    • Personal de la OUP
    • Menini y Oystaeyen 2017, pág. 722
  14. ^
    • Weisstein 2003, pág. 46
    • Vals 2016, Álgebra
  15. ^
    • Weisstein 2003, pág. 46
    • Brešar 2014, pág. xxxiii
    • Golán 1995, págs. 219–227
  16. ^ Personal de EoM 2017
  17. ^
    • Oaks y Alkhateeb 2007, págs. 45-46, 58
    • Gandz 1926, pág. 437
  18. ^
    • Cresswell 2010, pág. 11
    • Personal de la OUP
    • Menini y Oystaeyen 2017, pág. 722
    • Hoad 1993, pág. 10
  19. ^ desde
    • Tanton 2005, pág. 10
    • Kvasz 2006, pág. 308
    • Corry 2024, § El teorema fundamental del álgebra
  20. ^ desde
    • Kvasz 2006, págs. 314–345
    • Merzlyakov y Shirshov 2020, § Estudio histórico
    • Corry 2024, § Teoría de Galois, § Aplicaciones de la teoría de grupos
  21. ^
    • Tanton 2005, pág. 10
    • Corry 2024, § Álgebra estructural
    • Hazewinkel 1994, págs. 73-74
  22. ^
    • Arcavi, Drijvers y Stacey 2016, pág. 2
    • Benson 2003, págs. 111-112
  23. ^ desde
    • Maddocks 2008, pág. 129
    • Berggren 2015, sección líder
    • Pratt 2022, § 1. Álgebra elemental
    • Merzlyakov y Shirshov 2020, § 1. Reseña histórica
  24. ^ Sobolev 2015
  25. ^
    • Maddocks 2008, págs. 129-130
    • Young 2010, pág. 999
    • Majewski 2004, pág. 347
    • Pratt 2022, § 1. Álgebra elemental
    • Sorell 2000, pág. 19
  26. ^
    • Maddocks 2008, págs. 129-130
    • Tsokos y Wooten 2015, pág. 451
    • Mishra 2016, pág. 1.2
  27. ^
    • Musser, Peterson y Burger 2013, pág. 16
    • Goodman 2001, pág. 5
    • Williams 2022
  28. ^
    • Maddocks 2008, pág. 130
    • McKeague 1986, págs. 51–54
    • Pratt 2022, § 1. Álgebra elemental
    • Merzlyakov y Shirshov 2020, § 1. Reseña histórica
  29. ^
    • Tan, Steeb y Hardy 2012, pág. 306
    • Lamagna 2019, pág. 150
  30. ^
    • Berggren 2015, § Resolución de sistemas de ecuaciones algebraicas
    • McKeague 2014, pág. 386
    • McKeague 1986, pág. 148
  31. ^
    • Maddocks 2008, págs. 130-131
    • Rohde y otros, 2012, pág. 89
    • Vals 2016, Álgebra
  32. ^
    • Bracken y Miller 2014, págs. 386–387
    • Kaufmann y Schwitters 2011, pág. 220
    • Markushevich 2015
  33. ^
    • Sahai y Bist 2002, pág. 21
    • Maddocks 2008, pág. 131
    • Barrera-Mora 2023, págs. ix, 1-2
  34. ^ Geddes, Czapor y Labahn 2007, pág. 46
  35. ^
    • Lucas 2022, págs. 47–49
    • Berggren 2015, § Expresiones algebraicas, § Solución de ecuaciones algebraicas
  36. ^
    • Berggren 2015, § Resolución de ecuaciones algebraicas
    • Corry 2024, § Álgebra clásica
  37. ^abc
    • Tanton 2005, pág. 10
    • Merzlyakov y Shirshov 2020, § Estudio histórico
    • Corry 2024, § Impasse con métodos radicales
  38. ^ Igarashi y col. 2014, pág. 103
  39. ^
    • Berggren 2015, § Resolución de ecuaciones algebraicas
    • Tanton 2005, pág. 10
    • Kvasz 2006, pág. 308
    • Corry 2024, § El teorema fundamental del álgebra
  40. ^
    • Maddocks 2008, pág. 131
    • Barrera-Mora 2023, págs. ix, 1-2,
  41. ^
    • Antón y Rorres 2013, págs. 2-3
    • Maddocks 2008, pág. 131
    • Voitsekhovski 2011
  42. ^
    • Saikia 2008, pág. 1
    • Lal 2017, pág. 31
    • Mirakhor y Krichene 2014, pág. 107
  43. ^
    • Brown 2015, págs. 30-31
    • Waerden 2003, págs. 70–72
  44. ^
    • Young 2010, págs. 697–698
    • Maddocks 2008, pág. 131
    • Sullivan 2010, págs. 53-54
  45. ^
    • Antón y Rorres 2013, págs. 7–8
    • Sullivan 2010, págs. 55-56
    • Atanasiu y Mikusinski 2019, pág. 75
  46. ^
    • Maddocks 2008, pág. 131
    • Antón y Rorres 2013, págs. 7–8, 11, 491
  47. ^ desde
    • Antón y Rorres 2013, págs. 3–7
    • Mortensen 2013, págs. 73–74
    • Young 2023, págs. 714–715
  48. ^ desde
    • Maddocks 2008, pág. 131
    • Harrison y Waldron 2011, pág. 464
    • Anton 2013, pág. 255
  49. ^
    • Valenza 2012, pág. vii
    • Chahal 2018, § 1.1 ¿Qué es el álgebra lineal?
    • Solomon 2014, págs. 57–58, 61–62
    • Ricardo 2009, pág. 389
  50. ^
    • Salomón 2014, pág. 57
    • Ricardo 2009, págs. 395–396
  51. ^
    • Antón y Rorres 2013, págs. 3-5
    • Young 2010, págs. 696-697
    • Sneyd, Fewster y McGillivray 2022, pág. 211
  52. ^
    • Antón y Rorres 2013, págs. 3-5
    • Young 2010, pág. 713
    • Sneyd, Fewster y McGillivray 2022, pág. 211
  53. ^
    • Gilbert y Nicholson 2004, pág. 1
    • Dominich 2008, pág. 19
  54. ^
    • Maddocks 2008, págs. 131-132
    • Pratt 2022, Sección principal, § 2. Álgebra abstracta
    • Gilbert y Nicholson 2004, págs. 1–3
    • Dominich 2008, pág. 19
  55. ^ desde
    • Pratt 2022, Sección principal, § 2. Álgebra abstracta
    • Merzlyakov y Shirshov 2020, El objeto de estudio del álgebra, sus principales ramas y su conexión con otras ramas de las matemáticas.
    • Bourbaki 1998, págs. 428–430, 446
  56. ^ Hausberger 2020, Enseñanza y aprendizaje del álgebra abstracta
  57. ^
    • Tanton 2005, pág. 460
    • Murthy 2012, pág. 1.3
  58. ^ por Ovchinnikov 2015, pág. 27
  59. ^ Grillet 2007, pág. 247
  60. ^
    • Whitelaw 1995, pág. 61
    • Nicholson 2012, pág. 70
    • Fiche y Hebuterne 2013, pág. 326
    • Pratt 2022, Sección principal, § 2. Álgebra abstracta
  61. ^
    • Maddocks 2008, págs. 131-132
    • Pratt 2022, Sección principal, § 2. Álgebra abstracta
  62. ^
    • Olver 1999, págs. 55-56
    • Abas y Salman 1994, págs. 58-59
    • Häberle 2009, pág. 640
  63. ^ Gilbert y Nicholson 2004, pág. 4
  64. ^
    • Kargapolov y Merzlyakov 2016, § Definición
    • Khattar y Agrawal 2023, págs. 4-6
    • Maddocks 2008, págs. 131-132
    • Pratt 2022, Sección principal, § 2. Álgebra abstracta
    • Neri 2019, pág. 258
  65. ^
    • Khattar y Agrawal 2023, págs. 6-7
    • Maddocks 2008, págs. 131-132
    • Adhikari y Adhikari 2013, pág. 72
  66. ^
    • McWeeny 2002, pág. 6
    • Kramer y Pippich 2017, pág. 49
  67. ^
    • Tanton 2005, pág. 242
    • Bhattacharya, Jain y Nagpaul 1994, pág. 141
    • Weisstein 2003, pág. 1020
  68. ^
    • Elwes 2006
    • Wilson 2009, pág. 2
  69. ^
    • Weisstein 2003, pág. 2579
    • Maxwell 2009, págs. 73-74
    • Pratt 2022, § 2.3 Anillos
  70. ^ Silverman 2022, pág. 64
  71. ^ Geddes, Czapor y Labahn 2007, pág. 24
  72. ^ Smith 2015, pág. 161
  73. ^
    • Geddes, Czapor y Labahn 2007, pág. 24
    • Weisstein 2003, págs. 1047, 2579
    • Pratt 2022, § 2.4 Campos
  74. ^
    • Irving 2004, págs. 77, 236
    • Weisstein 2003, págs. 1047, 2579
    • Hohn 2013, págs. 83-84
  75. ^
    • Serovajsky 2020, § Sala 4B.5 Anillos
    • Kleiner 2007, pág. 63
    • Kline 1990, pág. 1153
  76. ^
    • Waerden 2003, págs. 110-114, 231, 246
    • Karpilovsky 1989, pág. 45
    • Kleiner 2007, pág. 63
  77. ^
    • Lang 2005, págs. 261–262
    • Cox 2012, págs. 161-162
  78. ^ Cooper 2011, pág. 60
  79. ^
    • Rowen 2006, pág. 12
    • Pratt 2022, § 3.3 Teorema de Birkhoff
    • Grätzer 2008, pág. 34
  80. ^
    • Pratt 2022, § 3.3 Teorema de Birkhoff
    • Rowen 2006, pág. 12
    • Gowers, Barrow-Green & Leader 2010, págs. 27-28
    • Adhikari 2016, págs. 5-6
  81. ^
    • Neri 2019, págs. 278-279
    • Ivanova y Smirnov 2012
    • Deo 2018, pág. 295
    • Ono 2019, pág. 84
  82. ^ desde
    • Indurkhya 2013, págs. 217-218
    • Pratt 2022, § 3.3 Teorema de Birkhoff
    • Grätzer 2008, pág. 34
  83. ^ ab Indurkhya 2013, págs. 217-218
  84. ^ Efimov 2014
  85. ^
    • Pratt 2022, § 3. Álgebra universal
    • Cohn 2012, pág. xiii
  86. ^
    • Smirnov 2020
    • Grätzer 2008, págs. 7-8
    • Bahturin 2013, pág. 346
  87. ^
    • Pratt 2022, § 3.2 Lógica ecuacional
    • Mal'cev 1973, págs. 210-211
  88. ^
    • Mal'cev 1973, págs. 210-211
    • Cohn 2012, pág. 162
    • Rosen 2012, pág. 779
    • Hazewinkel 1994, pág. 406
  89. ^ Cohn 1995, pág. 8
  90. ^ Mal'cev 1973, pág. 211
  91. ^
    • Mal'cev 1973, págs. 210-211
    • Pratt 2022, § 3. Álgebra universal
    • Artamónov 2003, pág. 873
  92. ^
    • Weisstein 2003, págs. 347–348
    • Gowers, Barrow-Green & Leader 2010, págs. 6, 165
    • Cheng 2023, pág. 102
  93. ^
    • Gowers, Barrow-Green & Leader 2010, págs. 6, 165
    • Borceux 1994, pág. 20
    • Laos 1998, pág. 100
    • Cheng 2023, págs. 128–131
  94. ^
    • Corry 2024, § Resolución de problemas en Egipto y Babilonia
    • Brezinski, Meurant y Redivo-Zaglia 2022, pág. 34
  95. ^
    • Tanton 2005, pág. 9
    • Kvasz 2006, pág. 290
    • Corry 2024, § Resolución de problemas en Egipto y Babilonia
  96. ^
    • Tanton 2005, pág. 9
    • Kvasz 2006, pág. 290
    • Corry 2024, § Los pitagóricos y Euclides
  97. ^
    • Merzlyakov y Shirshov 2020, § Estudio histórico
    • Sialaros 2018, pág. 55
    • Corry 2024, § Diofanto
  98. ^
    • Hettle 2015, págs. 139–141, 160–161
    • Christianidis y Megremi 2019, págs. 16-17
  99. ^ Burgin 2022, pág. 10
  100. ^ Higgins 2015, pág. 89
  101. ^
    • Kvasz 2006, págs. 290-291
    • Sialaros 2018, pág. 55
    • Boyer & Merzbach 2011, pág. 161
    • Derbyshire 2006, pág. 31
  102. ^
    • Boyer & Merzbach 2011, pág. 161
    • Derbyshire 2006, pág. 31
  103. ^
    • Tanton 2005, pág. 10
    • Kvasz 2006, págs. 291–293
    • Merzlyakov y Shirshov 2020, § Estudio histórico
  104. ^
    • Waerden 2013, págs. 3, 15–16, 24–25
    • Jenkins 2010, pág. 82
    • Pickover 2009, pág. 90
  105. ^
    • Tanton 2005, págs. 9-10
    • Corry 2024, § La ecuación en India y China
  106. ^
    • Seshadri 2010, pág. 156
    • Emch, Sridharan y Srinivas 2005, pág. 20
  107. ^
    • Smorynski 2007, pág. 137
    • Zwillinger 2002, pág. 812
  108. ^
    • Waerden 2013, págs. 32–35
    • Tanton 2005, pág. 10
    • Kvasz 2006, pág. 293
  109. ^
    • Tanton 2005, pág. 10
    • Kvasz 2006, pág. 293
    • Corry 2024, § Cardano y la resolución de ecuaciones cúbicas y cuárticas
    • Miyake 2002, pág. 268
  110. ^
    • Tanton 2005, pág. 10
    • Kvasz 2006, págs. 291–292, 297–298, 302
    • Merzlyakov y Shirshov 2020, § Estudio histórico
    • Corry 2024, § Viète y la ecuación formal, § Geometría analítica
  111. ^
    • Hazewinkel 1994, pág. 73
    • Merzlyakov y Shirshov 2020, § Estudio histórico
  112. ^
    • Corry 2024, § Aplicaciones de la teoría de grupos
    • Bueno & French 2018, págs. 73–75
  113. ^
    • Merzlyakov y Shirshov 2020, § Estudio histórico
    • Tanton 2005, pág. 10
    • Corry 2024, § Álgebra estructural
    • Hazewinkel 1994, págs. 73-74
  114. ^
    • Merzlyakov y Shirshov 2020, § Estudio histórico
    • Tanton 2005, pág. 10
    • Corry 2024, § Matrices, § Cuaterniones y vectores
  115. ^
    • Merzlyakov y Shirshov 2020, § Estudio histórico
    • Corry 2024, § Hilbert y Steinitz, § Noether y Artin
    • Hazewinkel 1994, págs. 73-74
  116. ^
    • Grätzer 2008, pág. vii
    • Chang y Keisler 1990, pág. 603
    • Knoebel 2011, pág. 5
    • Hazewinkel 1994, págs. 74-75
  117. ^
    • Hazewinkel 1994, págs. 74-75
    • Kleiner 2007, pág. 100
    • Carlson 2024, § Historia de la topología
  118. ^
    • Hazewinkel 1994, págs. 74-75
    • Weibel 1995, pág. xi, 4
  119. ^
    • Krömer 2007, pág. 61
    • Laos 1998, pág. 100
  120. ^
    • Hazewinkel 1994, págs. 74-75
    • Pratt 2022, § 6. Álgebras libres
  121. ^
    • Houston 2004, pág. 319
    • Neri 2019, pág. xii
    • Lidl y Pilz 1997, págs. vii-viii
  122. ^
    • Kleiner 2007, pág. 100
    • Pratt 2022, § 5. Algebrización de las matemáticas
    • Maddocks 2008, pág. 130
    • Pratt 2022, § 5. Algebrización de las matemáticas
    • Mancosu 1999, págs. 84-85
  123. ^
    • Pratt 2022, § 1.4 Geometría cartesiana, § 3. Álgebra universal
    • Danilov 2006, pág. 174
  124. ^
    • Pratt 2022, § 5.1 Geometría algebraica
    • Danilov 2006, págs. 172, 174
  125. ^ Vince 2007, pág. 133
  126. ^
    • Pratt 2022, § 5.3 Topología algebraica
    • Rabadan y Blumberg 2019, págs. 49-50
    • Nakahara 2018, pág. 121
    • Weisstein 2003, págs. 52-53
  127. ^
    • Pratt 2022, § 5.2 Teoría algebraica de números
    • Jarvis 2014, pág. 1
    • Viterbo y Hong 2011, pág. 127
  128. ^
    • Gowers, Barrow-Green & Leader 2010, págs. 550, 561
    • Godsil 2017, pág. viii
    • Betten et al. 2013, pág. ix
  129. ^
    • Kilty y McAllister 2018, págs. x, 347, 589
    • Bressoud 2021, pág. 64
  130. ^
    • Halmos 1956, pág. 363
    • Burris & Legris 2021, § 1. Introducción
  131. ^ Andréka, Németi y Sain 2001, págs. 133-134
  132. ^
    • Andréka, Madarász & Németi 2020, § Lógica algebraica concreta
    • Pratt 2022, § 5.4 Lógica algebraica
    • Plotkin 2012, págs. 155-156
    • Jansana 2022, sección líder
  133. ^
    • Andréka, Madarász & Németi 2020, § Lógica algebraica abstracta
    • Jansana 2022, § 4. Álgebras
  134. ^ Joyner 2008, pág. 92
  135. ^
    • Houston 2004, pág. 319
    • Neri 2019, pág. xii
    • Anton & Rorres 2010, pág. 327
  136. ^
    • Neri 2019, pág. xii
    • Aleskerov, Ersel y Piontkovski 2011, págs. 1–9
    • Straffin 1980, pág. 269
    • Menini & Oystaeyen 2017, pág.
    • Lovett 2015, pág. ix
    • Lidl y Pilz 1997, págs. vii-viii
  137. ^
    • Wheeler 2023, pág. 29, 36–37
    • Gallier & Quaintance 2020, págs. 1-2
  138. ^
    • Klimov 2014, pág. ix
    • Bengtsson y Życzkowski 2017, págs. 313–353
  139. ^ Terras 2019, págs. 63–64, 142
  140. ^ Hull 2021, pág. 180
  141. ^
    • Lidl y Pilz 1997, págs. 183–184, 239–240
    • Carstensen, Fine y Rosenberger 2011, págs. 326–327
  142. ^
    • Kieran 2006, pág. 15
    • Kaput 2018, pág. 186
    • Gardella y DeLucía 2020, págs. 19-22
  143. ^
    • Arcavi, Drijvers y Stacey 2016, pág. xiii
    • Dekker y Dolk 2011, pág. 69
  144. ^
    • Arcavi, Drijvers y Stacey 2016, págs. 2–5
    • Drijvers, Goddijn y Kindt 2011, págs. 8–10, 16–18
  145. ^
    • Kieran 2006, pág. 15
    • Kaput 2018, pág. 186
    • Gardella y DeLucía 2020, págs. 19-22
    • Star et al. 2015, págs. 16-17
  146. ^
    • Arcavi, Drijvers y Stacey 2016, págs. 58–59
    • Drijvers, Goddijn y Kindt 2011, pág. 13
  147. ^ Hausberger, Zandieh y Fleischmann 2021, págs. 147-148

Fuentes

Enlaces externos