L'algèbre est une branche des mathématiques qui traite des systèmes abstraits, appelés structures algébriques , et de la manipulation des expressions au sein de ces systèmes. C'est une généralisation de l'arithmétique qui introduit des variables et des opérations algébriques autres que les opérations arithmétiques standard, telles que l'addition et la multiplication .
L'algèbre élémentaire est la principale forme d'algèbre enseignée à l'école. Elle examine les énoncés mathématiques utilisant des variables pour des valeurs indéterminées et cherche à déterminer pour quelles valeurs ces énoncés sont vrais. Pour ce faire, elle utilise différentes méthodes de transformation d'équations afin d'isoler les variables. L'algèbre linéaire est un domaine étroitement lié qui étudie les équations linéaires et leurs combinaisons, appelées systèmes d'équations linéaires . Elle fournit des méthodes pour trouver simultanément les valeurs qui résolvent toutes les équations du système, et pour étudier l'ensemble de ces solutions.
L'algèbre abstraite étudie les structures algébriques , qui consistent en un ensemble d' objets mathématiques muni d'une ou plusieurs opérations définies sur cet ensemble. Elle généralise l'algèbre élémentaire et l'algèbre linéaire puisqu'elle autorise des objets mathématiques autres que les nombres et les opérations non arithmétiques. Elle distingue différents types de structures algébriques, comme les groupes , les anneaux et les corps , selon le nombre d'opérations qu'ils utilisent et les lois qui les régissent, appelées axiomes . L'algèbre universelle et la théorie des catégories fournissent des cadres généraux pour étudier les motifs abstraits qui caractérisent les différentes classes de structures algébriques.
Les méthodes algébriques furent d'abord étudiées dans l' Antiquité pour résoudre des problèmes spécifiques, notamment en géométrie . Cette situation changea au IXe siècle avec Muḥammad ibn Mūsā al-Khwārizmī , qui systématisa l'algèbre comme discipline mathématique indépendante, distincte de la géométrie. Les premiers mathématiciens décrivaient les équations et leurs solutions à l'aide de mots et d'abréviations jusqu'aux XVIe et XVIIe siècles, où un formalisme symbolique rigoureux fut développé. Au milieu du XIXe siècle, le champ d'étude de l'algèbre s'élargit, dépassant la simple théorie des équations pour englober divers types d'opérations et de structures algébriques. L'algèbre est pertinente pour de nombreuses branches des mathématiques, telles que la géométrie, la topologie , la théorie des nombres et le calcul différentiel et intégral , ainsi que pour d'autres domaines d'étude, comme la logique et les sciences empiriques .
les structures algébriques et les opérations qu'elles utilisent. Une structure algébrique est un ensemble non vide d' objets mathématiques , tels que les entiers , muni d'opérations algébriques définies sur cet ensemble, comme l'addition et la multiplication . L'algèbre explore les lois, les caractéristiques générales et les types de structures algébriques. Au sein de certaines structures algébriques, elle examine l'utilisation des variables dans les équations et la manière de manipuler ces équations.L'algèbre est souvent considérée comme une généralisation de l'arithmétique . L'arithmétique étudie les opérations telles que l'addition, la soustraction , la multiplication et la division , dans un domaine particulier de nombres, comme celui des nombres réels. L'algèbre élémentaire constitue le premier niveau d'abstraction. À l'instar de l'arithmétique, elle se restreint à des types spécifiques de nombres et d'opérations. Elle généralise ces opérations en autorisant des quantités indéfinies sous forme de variables, en plus des nombres. Un niveau d'abstraction supérieur est atteint en algèbre abstraite , qui ne se limite pas à un domaine particulier et examine des structures algébriques telles que les groupes et les anneaux . Elle s'étend au-delà des opérations arithmétiques classiques en couvrant également d'autres types d'opérations. L'algèbre universelle est encore plus abstraite, car elle ne s'intéresse pas à des structures algébriques spécifiques, mais étudie les caractéristiques des structures algébriques en général.

Le terme « algèbre » est parfois employé dans un sens plus restreint pour désigner soit l’algèbre élémentaire, soit l’algèbre abstraite. Lorsqu’il est utilisé comme nom dénombrable , une algèbre est un type particulier de structure algébrique qui met en jeu un espace vectoriel muni d’un certain type d’opération binaire, une application bilinéaire . Selon le contexte, « algèbre » peut également désigner d’autres structures algébriques, comme une algèbre de Lie ou une algèbre associative .
Le mot algèbre provient du terme arabe réduction osseuse . Au IXe siècle, le terme acquit un sens mathématique lorsque le mathématicien persan Muhammad ibn Musa al-Khwarizmi l'employa pour nommer une méthode de transformation d'équations et l'intégra au titre de son traité al-Kitāb al-Mukhtaṣar fī Ḥisāb al-Jabr wal-Muqābalah [ Le Livre abrégé du calcul par complétion et équilibrage ], traduit en latin sous le titre l'italien , à l'espagnol et au latin médiéval . Initialement, son sens se limitait à la théorie des équations , c'est-à-dire à l'art de manipuler les équations polynomiales en vue de leur résolution. Cela a changé au XIXe siècle lorsque le champ d'application de l'algèbre s'est élargi pour couvrir l'étude de divers types d'opérations et de structures algébriques ainsi que leurs axiomes sous-jacents , les lois qu'elles suivent.
Principales succursales
algèbre élémentaire
L’algèbre élémentaire, également appelée algèbre scolaire, algèbre universitaire ou algèbre classique , est la forme la plus ancienne et la plus fondamentale de l’algèbre. C’est une généralisation de l’arithmétique qui s’appuie sur des variables et examine comment les énoncés mathématiques peuvent être transformés.
L'arithmétique est l'étude des opérations numériques et examine comment les nombres sont combinés et transformés à l'aide des opérations arithmétiques d' addition , de soustraction , de multiplication , de division , d'exponentiation , d'extraction de racines et de logarithme . Par exemple, l'opération d'addition combine deux nombres, appelés les termes, en un troisième nombre, appelé la somme, comme dans
L'algèbre élémentaire repose sur les mêmes opérations, mais autorise l'utilisation de variables en plus des nombres. Les variables sont des symboles représentant des quantités non spécifiées ou inconnues. Elles permettent d'énoncer des relations dont on ignore les valeurs exactes et d'exprimer des lois générales vraies, indépendamment des nombres utilisés. Par exemple, l' équation appartient à l'arithmétique et n'exprime une égalité que pour ces nombres spécifiques. En remplaçant les nombres par des variables, il est possible d'exprimer une loi générale qui s'applique à toute combinaison de nombres, comme la commutativité de la multiplication , exprimée par l'équation
Les expressions algébriques sont formées en combinant des variables et des nombres par des opérations arithmétiques. Par convention, les lettres minuscules . Les lettres et les coefficients . L'expression est une expression algébrique
Certaines expressions algébriques prennent la forme d'énoncés établissant une relation entre deux expressions. Une équation est un énoncé formé en comparant deux expressions et en affirmant leur égalité. Ceci peut être exprimé à l'aide du signe égal ( , comme dans inéquations impliquent un autre type de comparaison, affirmant que les deux membres sont différents. Ceci peut être exprimé à l'aide de symboles tels que le signe inférieur à ( ≤ le signe supérieur à "}},"i":0}}] ( ≥ "}},"i":0}}] )" et le signe d'inégalité ( . Contrairement aux autres expressions, les énoncés peuvent être vrais ou faux, et leur valeur de vérité dépend généralement des valeurs des variables. Par exemple, l'énoncé est vrai si vaut 2 ou −2, et faux sinon. Les équations à variables peuvent être divisées en équations identité et équations conditionnelles. Les équations identité sont vraies pour toutes les valeurs pouvant être attribuées aux variables, comme dans l'
L'objectif principal de l'algèbre élémentaire est de déterminer les valeurs pour lesquelles une proposition est vraie. On y parvient en transformant et en manipulant les propositions selon certaines règles. Un principe fondamental de ce processus est que toute opération appliquée à un membre d'une équation doit également l'être à l'autre membre. Par exemple, si l'on soustrait 5 du membre de gauche d'une équation, il faut également soustraire 5 du membre de droite pour équilibrer les deux membres. Le but de ces étapes est généralement d'isoler la variable qui nous intéresse, un processus appelé résolution de l'équation pour cette variable. Par exemple, on peut résoudre l'équation en ajoutant 7 aux deux membres, ce qui isole variable à gauche et donne l'équation suivante
Il existe de nombreuses autres techniques pour résoudre des équations. La simplification consiste à remplacer une expression complexe par une expression équivalente plus simple. Par exemple, l'expression peut être remplacée par l'expression grâce à la propriété distributive. Pour les équations à plusieurs variables, la substitution est une technique courante permettant de remplacer une variable par une expression équivalente qui ne l'utilise pas. Par exemple, si l'on sait que ,

Les équations algébriques peuvent être interprétées géométriquement pour décrire des figures spatiales sous forme de graphe . Pour ce faire, les différentes variables de l'équation sont considérées comme des coordonnées et les valeurs qui la résolvent sont interprétées comme des points du graphe. Par exemple, si x
Polynômes
La factorisation est une méthode permettant de simplifier les polynômes, facilitant ainsi leur analyse et la détermination des valeurs pour lesquelles ils s'annulent . Elle consiste à décomposer un polynôme en un produit de plusieurs facteurs. Par exemple, le polynôme peut être factorisé comme équations polynomiales , c'est-à-dire aux équations obtenues en annulant un polynôme. Les premières tentatives de résolution de ces équations consistaient à exprimer les solutions en fonction des racines formule quadratique
Les solutions pour les degrés 3 et 4 sont données par les formules cubiques et quartiques . Il n'existe pas de solutions générales pour les degrés supérieurs, comme l'a démontré le théorème d'Abel-Ruffini au XIXe siècle . Même en l'absence de solutions générales, des solutions approchées peuvent être trouvées par des méthodes numériques telles que la méthode de Newton-Raphson .
Le théorème fondamental de l'algèbre affirme que toute équation polynomiale univariée de degré positif à coefficients réels ou complexes admet au moins une solution complexe. Par conséquent, tout polynôme de degré positif peut être factorisé en polynômes linéaires. Ce théorème a été démontré au début du XIXe siècle, mais il ne résout pas le problème car il ne fournit aucune méthode de calcul des solutions.
algèbre linéaire
algèbre abstraite

Formellement, une structure algébrique est un ensemble d'objets mathématiques, appelé ensemble sous-jacent, muni d'une ou plusieurs opérations. L'algèbre abstraite s'intéresse principalement aux opérations binaires , qui prennent deux objets quelconques de l'ensemble sous-jacent en entrée et les transforment en un autre objet de cet ensemble en sortie. Par exemple, la structure algébrique a pour ensemble sous-jacent les nombres naturels ( groupe de symétrie d'un objet géométrique est constitué de transformations géométriques , telles que les rotations , par lesquelles l'objet reste inchangé . Son opération binaire est la composition de fonctions , qui prend deux transformations en entrée et donne en sortie la transformation résultant de l'application de la première transformation suivie de la seconde.
théorie des groupes
théorie des anneaux et théorie des corps
Théories des interrelations entre les structures

Outre les groupes, les anneaux et les corps, l'algèbre étudie de nombreuses autres structures algébriques. Parmi celles-ci figurent les magmas , les semi-groupes , les monoïdes , les groupes abéliens , les anneaux commutatifs , les modules , les treillis , les espaces vectoriels , les algèbres sur un corps , ainsi que les algèbres associatives et non associatives . Elles se distinguent par le type d'objets qu'elles décrivent et par les conditions que doivent remplir leurs opérations. Nombre d'entre elles sont liées entre elles, une structure de base pouvant être transformée en une structure plus spécialisée par l'ajout de contraintes. Par exemple, un magma devient un semi-groupe si son opération est associative.
Les homomorphismes sont des outils permettant d'examiner les caractéristiques structurelles de deux structures algébriques en les comparant. Un homomorphisme est une fonction qui, appliquée à l'ensemble sous-jacent d'une structure algébrique, est appliquée à l'ensemble sous-jacent d'une autre structure algébrique et qui préserve certaines caractéristiques structurelles. Si les deux structures algébriques utilisent des opérations binaires et ont la forme et , Les isomorphismes sont un type particulier d'homomorphisme qui indique un degré élevé de similarité entre deux structures algébriques. Un isomorphisme est un homomorphisme bijectif , c'est-à-dire qu'il établit une relation biunivoque entre les éléments des deux structures algébriques. Cela implique que chaque élément de la première structure algébrique est associé à un élément unique de la seconde structure, sans aucun élément non associé dans la seconde structure.

Un autre outil de comparaison est la relation entre une structure algébrique et sa sous-algèbre . La structure algébrique et sa sous-algèbre utilisent les mêmes opérations, qui suivent les mêmes axiomes. La seule différence est que l'ensemble sous-jacent de la sous-algèbre est un sous-ensemble de l'ensemble sous-jacent de la structure algébrique. Toutes les opérations de la sous-algèbre doivent être fermées dans son ensemble sous-jacent, c'est-à-dire qu'elles ne produisent que des éléments appartenant à cet ensemble. Par exemple, l'ensemble des entiers pairs muni de l'addition est une sous-algèbre de l'ensemble des entiers muni de l'addition. C'est le cas car la somme de deux nombres pairs est encore un nombre pair. Mais l'ensemble des entiers impairs muni de l'addition n'est pas une sous-algèbre car il n'est pas fermé : l'addition de deux nombres impairs produit un nombre pair, qui n'appartient pas au sous-ensemble choisi.
L'algèbre universelle est l'étude des structures algébriques en général. Dans sa perspective générale, elle ne s'intéresse pas aux éléments spécifiques qui composent les ensembles sous-jacents et considère les opérations à plus de deux entrées, telles que les opérations ternaires . Elle fournit un cadre pour étudier les caractéristiques structurelles communes à différentes structures algébriques. L'une de ces caractéristiques structurelles concerne les identités vraies dans différentes structures algébriques. Dans ce contexte, une identité est une équation universelle , c'est-à-dire une équation vraie pour tous les éléments de l'ensemble sous-jacent. Par exemple, la commutativité est une équation universelle qui stipule que x est identique à y pour tous les éléments de l'ensemble sous-jacent. Une variété est une classe de toutes les structures algébriques qui satisfont certaines identités. Par exemple, si deux structures algébriques satisfont la commutativité, alors elles appartiennent toutes deux à la variété correspondante.
La théorie des catégories examine les relations entre les objets mathématiques à l'aide du concept de catégories . Une catégorie est un ensemble d'objets muni d'un ensemble de morphismes , ou « flèches », entre ces objets. Ces deux ensembles doivent satisfaire certaines conditions. Par exemple, les morphismes peuvent être combinés, ou composés : s'il existe un morphisme de l'objet catégorie des ensembles , et tout groupe peut être considéré comme l'ensemble des morphismes d'une catégorie à un seul objet.
Histoire
Nombre de ces intuitions parvinrent aux Grecs anciens. Dès le VIe siècle avant notre ère, leur principal intérêt se porta sur la géométrie plutôt que sur l'algèbre, mais ils employèrent des méthodes algébriques pour résoudre des problèmes géométriques. Par exemple, ils étudiaient les figures géométriques en considérant leurs longueurs et leurs aires comme des inconnues à déterminer, comme l'illustre la formulation par Pythagore de la différence de deux carrés et, plus tard, les Éléments d'Euclide . Au IIIe siècle de notre ère, Diophante exposa en détail la résolution des équations algébriques dans une série d'ouvrages intitulée Arithmetica . Il fut le premier à expérimenter la notation symbolique pour exprimer les polynômes. L'œuvre de Diophante influença le développement de l'algèbre dans le monde arabe, nombre de ses méthodes se retrouvant dans les concepts et les techniques utilisés dans l'algèbre arabe médiévale. Dans la Chine ancienne, les Neuf Chapitres sur l'art mathématique , un livre composé sur la période allant du Xe siècle avant notre ère au IIe siècle de notre ère, exploraient diverses techniques de résolution d'équations algébriques, y compris l'utilisation de constructions de type matriciel.

On s'interroge sur l'appartenance de ces premiers développements à l'algèbre ou s'il s'agit seulement de précurseurs. Ils proposaient des solutions aux problèmes algébriques, mais sans les concevoir de manière abstraite et générale, privilégiant plutôt des cas et applications spécifiques. Cette situation changea avec le mathématicien persan Al-Khwarizmi , qui publia son « Livre abrégé du calcul par complétion et équilibrage » en 825. Al-Khwarizmi établit la première théorie analytique de la résolution d'équations en les classant en six formes canoniques et en proposant des procédures systématiques et progressives pour leur résolution. En abstrayant ces méthodes de figures géométriques spécifiques et en traitant les inconnues comme des objets algébriques généraux, il établit un cadre opérationnel formel. Ce passage de la résolution de problèmes isolés à l'élaboration d'une méthodologie universelle transforma l'algèbre en une discipline autonome. D'autres contributions importantes à l'algèbre proviennent du mathématicien arabe Thābit ibn Qurra également au IXe siècle et du mathématicien persan Omar Khayyam aux XIe et XIIe siècles.
En Inde, au VIIe siècle, Brahmagupta étudia la résolution des équations du second degré et des systèmes d'équations à plusieurs inconnues. Parmi ses innovations figurait l'utilisation du zéro et des nombres négatifs dans les équations algébriques. Les mathématiciens indiens Mahāvīra (IXe siècle) et Bhāskara II (XIIe siècle) perfectionnèrent les méthodes et les concepts de Brahmagupta. En 1247, le mathématicien chinois Qin Jiushao publia le Traité mathématique en neuf sections , qui comprend un algorithme pour l' évaluation numérique des polynômes , y compris ceux de degré supérieur.
Le mathématicien italien Fibonacci a diffusé les idées et les techniques d'al-Khwarizmi en Europe, notamment dans son Liber Abaci . En 1545, le polymathe italien Gerolamo Cardano publia son Ars Magna , qui traitait de nombreux sujets d'algèbre, abordait les nombres imaginaires et présentait pour la première fois des méthodes générales de résolution des équations cubiques et quartiques . Aux XVIe et XVIIe siècles, les mathématiciens français François Viète et René Descartes introduisirent des lettres et des symboles pour désigner les variables et les opérations, permettant ainsi d'exprimer les équations de manière concise et abstraite. Leurs prédécesseurs s'appuyaient sur des descriptions verbales des problèmes et des solutions. Certains historiens considèrent cette évolution comme un tournant majeur dans l'histoire de l'algèbre et la période antérieure comme la préhistoire de l'algèbre, car elle était dépourvue de cette abstraction fondée sur la manipulation symbolique.
Aux XVIIe et XVIIIe siècles, de nombreuses tentatives furent menées pour trouver des solutions générales aux polynômes de degré cinq et plus. Toutes échouèrent. À la fin du XVIIIe siècle, le mathématicien allemand Carl Friedrich Gauss démontra le théorème fondamental de l'algèbre , qui décrit l'existence de zéros pour les polynômes de tout degré sans toutefois fournir de solution générale. Au début du XIXe siècle, les mathématiciens italien Paolo Ruffini et norvégien Niels Henrik Abel parvinrent à démontrer qu'il n'existait pas de solution générale pour les polynômes de degré cinq et plus. En réaction à ces travaux, et peu après, le mathématicien français Évariste Galois développa ce qui allait devenir la théorie de Galois , offrant une analyse plus approfondie des solutions des polynômes et jetant les bases de la théorie des groupes . Les mathématiciens ont rapidement réalisé la pertinence de la théorie des groupes pour d'autres domaines et l'ont appliquée à des disciplines comme la géométrie et la théorie des nombres.

À partir du milieu du XIXe siècle, l'intérêt pour l'algèbre s'est déplacé de l'étude des polynômes associés à l'algèbre élémentaire vers une recherche plus générale sur les structures algébriques, marquant l'émergence de l'algèbre abstraite . Cette approche a exploré les fondements axiomatiques des opérations algébriques arbitraires. L'invention de nouveaux systèmes algébriques basés sur différentes opérations et éléments a accompagné ce développement, tels que l'algèbre de Boole , l'algèbre vectorielle et l'algèbre matricielle . Les premiers développements influents de l'algèbre abstraite ont été réalisés par les mathématiciens allemands David Hilbert , Ernst Steinitz et Emmy Noether , ainsi que par le mathématicien autrichien Emil Artin . Ils ont étudié différentes formes de structures algébriques et les ont catégorisées en fonction de leurs axiomes sous-jacents, en différents types, comme les groupes, les anneaux et les corps.
L'idée d'une approche encore plus générale associée à l'algèbre universelle a été conçue par le mathématicien anglais Alfred North Whitehead dans son ouvrage de 1898, *A Treatise on Universal Algebra* . À partir des années 1930, le mathématicien américain Garrett Birkhoff a développé ces idées et élaboré nombre de concepts fondamentaux de ce domaine. L'invention de l'algèbre universelle a conduit à l'émergence de divers nouveaux domaines axés sur l'algébrisation des mathématiques les groupes topologiques et les groupes de Lie . Dans les années 1940 et 1950, l'algèbre homologique a émergé, employant des techniques algébriques pour étudier l'homologie . À peu près à la même époque, la théorie des catégories a été développée et a depuis joué un rôle clé dans les fondements des mathématiques . D'autres développements ont été la formulation de la théorie des modèles et l'étude des algèbres libres .

Une application, en géométrie, consiste à utiliser des énoncés algébriques pour décrire des figures géométriques. Par exemple, l'équation décrit une droite dans l'espace bidimensionnel, tandis que l'équation correspond à une sphère dans l'espace tridimensionnel. Les variétés algébriques , solutions de systèmes d'équations polynomiales permettant de décrire des figures géométriques plus complexes, présentent un intérêt particulier en géométrie algébrique. [ 126 algébrique permet également de résoudre des problèmes géométriques. Par exemple, on peut déterminer si et où la droite décrite par intersecte le cercle décrit par en résolvant le système d'équations formé par ces deux équations. La topologie étudie les propriétés des figures géométriques, ou espaces topologiques , qui sont préservées par déformation continue . La topologie algébrique s'appuie sur des théories algébriques, telles que la théorie des groupes , pour classifier les espaces topologiques. Par exemple, les groupes d'homotopie classifient les espaces topologiques selon l'existence de boucles ou de trous .
La théorie des nombres s'intéresse aux propriétés des entiers et aux relations qui les unissent. La théorie algébrique des nombres applique les méthodes et les principes de l'algèbre à ce domaine d'étude. On peut citer, par exemple, l'utilisation d'expressions algébriques pour décrire des lois générales, comme le dernier théorème de Fermat , et de structures algébriques pour analyser le comportement des nombres, telles que l' anneau des entiers . Le domaine connexe de la combinatoire utilise des techniques algébriques pour résoudre des problèmes liés au dénombrement, à l'arrangement et à la combinaison d'objets discrets. Un exemple en combinatoire algébrique est l'application de la théorie des groupes à l'analyse des graphes et des symétries. Les concepts de l'algèbre sont également pertinents pour le calcul différentiel et intégral, qui utilise des expressions mathématiques pour examiner les taux de variation et d'accumulation . Il s'appuie sur l'algèbre, par exemple, pour comprendre comment ces expressions peuvent être transformées et quel rôle les variables y jouent. La logique algébrique utilise les méthodes de l'algèbre pour décrire et analyser les structures et les schémas qui sous-tendent le raisonnement logique , en explorant à la fois les structures mathématiques pertinentes elles-mêmes et leur application à des problèmes concrets de logique. Elle comprend l'étude de l'algèbre de Boole pour décrire la logique propositionnelle ainsi que la formulation et l'analyse des structures algébriques correspondant à des systèmes logiques plus complexes .

Les méthodes algébriques sont également couramment employées dans d'autres domaines, comme les sciences naturelles. Par exemple, elles servent à exprimer des lois scientifiques et à résoudre des équations en physique , en chimie et en biologie . On trouve des applications similaires en économie , en géographie , en ingénierie (notamment en électronique et en robotique ) et en informatique pour exprimer des relations, résoudre des problèmes et modéliser des systèmes . L'algèbre linéaire joue un rôle central en intelligence artificielle et en apprentissage automatique , notamment en permettant le traitement et l'analyse efficaces de grands ensembles de données . Divers domaines s'appuient sur des structures algébriques étudiées par l'algèbre abstraite. Par exemple, des sciences physiques comme la cristallographie et la mécanique quantique utilisent largement la théorie des groupes , qui est également employée pour étudier des casse-têtes comme le Sudoku et le Rubik's Cube , ainsi que l'origami . La théorie du codage et la cryptologie s'appuient toutes deux sur l'algèbre abstraite pour résoudre les problèmes liés à la transmission de données , comme éviter les effets du bruit et assurer la sécurité des données .
Éducation
L'enseignement de l'algèbre se concentre principalement sur l'algèbre élémentaire, ce qui explique pourquoi on l'appelle aussi algèbre scolaire. Elle n'est généralement introduite qu'au niveau secondaire car elle exige la maîtrise des fondamentaux de l'arithmétique tout en posant de nouveaux défis cognitifs liés au raisonnement abstrait et à la généralisation. Elle vise à familiariser les élèves avec l'aspect formel des mathématiques en les aidant à comprendre le symbolisme mathématique, par exemple, comment les variables peuvent être utilisées pour représenter des quantités inconnues. Une difficulté supplémentaire pour les élèves réside dans le fait que, contrairement aux calculs arithmétiques, les expressions algébriques sont souvent difficiles à résoudre directement. Les élèves doivent donc apprendre à les transformer selon certaines lois, souvent pour déterminer une quantité inconnue.
Certains outils d'initiation à l'algèbre abstraite s'appuient sur des modèles concrets et des visualisations d'équations, notamment des analogies géométriques, du matériel de manipulation comme des bâtonnets ou des gobelets, et des « machines à fonctions » représentant les équations sous forme de diagrammes de flux . Une méthode utilise une balance comme support visuel pour aider les élèves à appréhender les problèmes fondamentaux de l'algèbre. La masse de certains objets sur la balance est inconnue et représente les variables. Résoudre une équation revient à ajouter et à retirer des objets de part et d'autre de l'équation de manière à maintenir l'équilibre, jusqu'à ce que le seul objet restant soit celui de masse inconnue. Les problèmes concrets constituent un autre outil pour illustrer l'application de l'algèbre à des situations réelles. Par exemple, on peut présenter aux élèves une situation où le frère de Naomi possède deux fois plus de pommes qu'elle. Sachant qu'ils ont douze pommes ensemble, les élèves doivent trouver une équation algébrique qui décrit cette situation pommes possède
Au niveau universitaire, les étudiants en mathématiques abordent des notions d'algèbre avancée, tant linéaire qu'abstraite. Les premiers cours d'algèbre linéaire portent sur les matrices, les espaces vectoriels et les applications linéaires. Une fois ces cours terminés, les étudiants sont généralement initiés à l'algèbre abstraite, où ils étudient les structures algébriques telles que les groupes, les anneaux et les corps, ainsi que leurs relations. Le programme couvre également des cas particuliers de structures algébriques, comme l'ensemble des nombres rationnels, l'ensemble des nombres réels et l'ensemble des polynômes.
