Dans le domaine des mathématiques, en particulier de l'algèbre, l'étude de l'algèbre abstraite ou algèbre moderne se concentre principalement sur des ensembles avec des opérations spécifiques, que nous appelons structures algébriques. Ces structures comprennent, entre autres, des groupes, des anneaux, des corps et des espaces vectoriels. Les définitions modernes de l'algèbre abstraite ont été inventées au début du 20e siècle pour la distinguer des algèbres antérieures, plus précisément de l'algèbre élémentaire (qui utilisait des variables pour représenter des nombres). L'algèbre abstraite est donc un élément essentiel de l'étude avancée des mathématiques. Elle fait désormais partie intégrante des mathématiques et, même dans l'enseignement, le terme algèbre abstraite est de moins en moins utilisé.
Contexte historiqueLe cadre structurel fourni par l’algèbre abstraite est essentiel à la compréhension d’autres domaines des mathématiques, que ce soit dans la résolution d’équations algébriques ou dans l’analyse de systèmes numériques.
Avant le 19e siècle, l’algèbre était définie principalement comme l’étude des polynômes. Cependant, à mesure que les problèmes sont devenus plus divers et plus complexes, l’algèbre abstraite a progressivement pris forme au XIXe siècle. Confrontés à des problèmes spécifiques de théorie des nombres, de géométrie, d'analyse et d'équations algébriques, les mathématiciens de l'époque ont progressivement accumulé une série de faits mathématiques hétérogènes et ont trouvé des thèmes communs qui unifiaient ces faits.
Ce processus d'unification, initialement inspiré par des problèmes concrets, a permis la définition axiomatique formelle de structures algébriques, conduisant à l'évolution de concepts tels que les groupes, les anneaux et les corps.
L'algèbre élémentaire remonte à 1700 av. J.-C., lorsque les Babyloniens étaient capables de résoudre des équations quadratiques. Cependant, à ce stade, l'algèbre est principalement constituée de problèmes de mots, appelés « algèbre rhétorique ». En 830, Alkhwarizmi avait inventé le terme « algèbre », mais ses idées étaient toujours centrées sur l'algèbre rhétorique. Au fil du temps, l’algèbre s’est progressivement orientée vers une expression plus symbolique, pour finalement évoluer vers l’algèbre abstraite que nous connaissons aujourd’hui au début du XXe siècle.
L'étude de la théorie des groupes est issue de plusieurs domaines des mathématiques. Les progrès continus des recherches connexes ont conduit à la formation progressive du concept de groupes abstraits. À partir de 1810, des mathématiciens tels que Lagrange et Galois ont étudié les solutions de polynômes, ont progressivement introduit le concept de groupe et ont formé l'idée initiale de ce qu'est un groupe, une structure mathématique importante.
L'étude des anneaux est issue de l'expansion des nombres complexes, et les quaternions du mathématicien Hamilton sont devenus une étape importante dans la théorie des anneaux non commutatifs.
À l’approche de la fin du XIXe et du début du XXe siècle, la manière dont les mathématiques étaient pratiquées a radicalement changé, comme en témoigne l’essor de l’algèbre moderne. Durant cette période, les mathématiciens ne se contentent plus d'établir des théorèmes pour des objets spécifiques, mais commencent à s'intéresser à des constructions théoriques plus générales, telles que des définitions formelles de diverses structures algébriques, qu'il s'agisse de groupes, d'anneaux ou de corps. La recherche s'inscrit de plus en plus dans le cadre des mathématiques pures. .
Les développements au cours de cette période ont conduit à un changement dans la théorie de l'algèbre, déplaçant l'attention de la théorie des équations vers la théorie des structures algébriques.
En supprimant certains détails, les mathématiciens ont défini diverses structures algébriques qui sont cruciales dans de nombreux domaines des mathématiques. Par exemple, tous les systèmes sont des ensembles, et les ensembles avec certaines opérations binaires forment de nouvelles structures algébriques. Des opérations les plus élémentaires aux structures plus spécifiques, à mesure que les contraintes continuent d’augmenter, la richesse et l’application des théories mathématiques évoluent également en conséquence.
L’algèbre abstraite n’est pas seulement le résultat des mathématiques, mais aussi une transformation de la pensée mathématique. Il a ouvert un tout nouveau domaine des mathématiques centré sur la structure, la classification et la pensée abstraite, nous permettant d’acquérir une compréhension plus approfondie de la nature des mathématiques. Le développement de l'algèbre abstraite remet constamment en question notre compréhension des mathématiques et de leurs applications. Il est donc indéniable que nous devons réfléchir à la question suivante : dans cet univers abstrait des mathématiques, quels autres mystères inconnus attendent que nous les découvrions ?