Groupe abélienEn mathématiques, plus précisément en algèbre, un groupe abélien (du nom de Niels Abel), ou groupe commutatif, est un groupe dont la loi de composition interne est commutative. Vu autrement, un groupe commutatif peut aussi être défini comme un module sur l'anneau commutatif des entiers relatifs ; l'étude des groupes abéliens apparaît alors comme un cas particulier de la théorie des modules. On sait classifier de façon simple et explicite les groupes abéliens de type fini à isomorphisme près, et en particulier décrire les groupes abéliens finis.
Torsion-free abelian groupIn mathematics, specifically in abstract algebra, a torsion-free abelian group is an abelian group which has no non-trivial torsion elements; that is, a group in which the group operation is commutative and the identity element is the only element with finite order. While finitely generated abelian groups are completely classified, not much is known about infinitely generated abelian groups, even in the torsion-free countable case. Abelian group An abelian group is said to be torsion-free if no element other than the identity is of finite order.
Foncteur HomEn mathématiques, le foncteur Hom est un foncteur associé aux morphismes de la catégorie des ensembles. Il est central en théorie des catégories, notamment du fait de son rôle dans le lemme de Yoneda et parce qu'il permet de définir le foncteur Ext. Soit une catégorie localement petite. Pour tout couple d'objets A et B dans cette catégorie, un morphisme induit une fonction pour tout objet X.
Torsion (algèbre)En algèbre, dans un groupe, un élément est dit de torsion s'il est d'ordre fini, c'est-à-dire si l'une de ses puissances non nulle est l'élément neutre. La torsion d'un groupe est l'ensemble de ses éléments de torsion. Un groupe est dit sans torsion si sa torsion ne contient que le neutre, c'est-à-dire si tout élément différent du neutre est d'ordre infini. Si le groupe est abélien, sa torsion est un sous-groupe. Par exemple, le sous-groupe de torsion du groupe abélien est .
Groupe abélien de type finiEn mathématiques, un groupe abélien de type fini est un groupe abélien qui possède une partie génératrice finie. Autrement dit : c'est un module de type fini sur l'anneau Z des entiers relatifs. Par conséquent, les produits finis, les quotients, mais aussi les sous-groupes des groupes abéliens de type fini sont eux-mêmes de type fini. Un théorème de structure des groupes abéliens de type fini permet d'expliciter la liste complète de ces groupes à isomorphisme près ; il montre notamment que tout groupe abélien de type fini est un produit fini de groupes monogènes.
FoncteurDans la théorie des catégories, un foncteur est une construction transformant les objets et morphismes d'une catégorie en ceux d'une autre catégorie, d'une façon compatible. On parle alors d'une construction fonctorielle ou de fonctorialité. Une telle construction est donc un morphisme entre deux catégories. Historiquement, les foncteurs furent introduits en topologie algébrique, associant aux espaces topologiques et aux applications continues des objets algébriques tels que les groupes d'homotopie et les morphismes de groupes, permettant ainsi un véritable calcul d'invariants caractérisant ces espaces.
Théorie des groupesvignette|Le Rubik's cube illustre la notion de groupes de permutations. Voir groupe du Rubik's Cube. La théorie des groupes est en mathématique, plus précisément en algèbre générale, la discipline qui étudie les structures algébriques appelées groupes. Le développement de la théorie des groupes est issu de la théorie des nombres, de la théorie des équations algébriques et de la géométrie. La théorie des groupes est étroitement liée à la théorie des représentations.
Suite exacteEn mathématiques, plus particulièrement en algèbre homologique, une suite exacte est une suite (finie ou infinie) d'objets et de morphismes entre ces objets telle que l' de l'un est égale au noyau du suivant. Dans le contexte de la théorie des groupes, on dit que la suite (finie ou infinie) de groupes et de morphismes de groupes est exacte si pour tout entier naturel n on a . Dans ce qui précède, sont des groupes et des morphismes de groupes avec . Dans la suite, 0 dénote le groupe trivial, qui est l'objet nul dans la catégorie des groupes.
Préfaisceau (théorie des catégories)En théorie des catégories — une branche des mathématiques — la notion de préfaisceau généralise celle du même nom en géométrie algébrique. Les préfaisceaux y sont des objets particulièrement courants et donnent lieu à la notion de topos sur un site. Soient et des catégories, un préfaisceau de à valeurs dans est un foncteur : de la catégorie opposée à dans . De manière strictement équivalente, c'est un foncteur contravariant de dans .
Catégorie des groupes abéliensEn mathématiques, la catégorie des groupes abéliens est une construction qui rend compte abstraitement des propriétés observées en algèbre dans l'étude des groupes abéliens. La catégorie des groupes abéliens est la catégorie Ab définie ainsi : Les objets sont les groupes abéliens ; Les morphismes entre objets sont les morphismes de groupes. C'est donc une sous-catégorie pleine de la catégorie Grp des groupes. La catégorie des groupes abéliens s'identifie à la catégorie des modules sur : La catégorie Ab est monoïdale, et permet donc de définir une structure enrichie.
Groupe abélien libreEn mathématiques, un groupe abélien libre est un groupe abélien qui possède une base, c'est-à-dire une partie B telle que tout élément du groupe s'écrive de façon unique comme combinaison linéaire à coefficients entiers (relatifs) d'éléments de B. Comme les espaces vectoriels, les groupes abéliens libres sont classifiés (à isomorphisme près) par leur rang, défini comme le cardinal d'une base, et tout sous-groupe d'un groupe abélien libre est lui-même abélien libre.
Foncteur exactEn mathématiques, un foncteur exact est un foncteur qui commute aux limites inductives et projectives. De manière équivalente, c'est un foncteur qui préserve les suites exactes de catégories abéliennes et c'est de cela que vient la dénomination. Des foncteurs de ce type apparaissent naturellement en homologie et d'une manière générale en théorie des catégories, où leurs propriétés permettent des calculs élégants. Le « défaut d'exactitude » est mesuré par les foncteurs dérivés, par exemple les foncteurs Tor et Ext.
Théorie géométrique des groupesLa théorie géométrique des groupes est un domaine des mathématiques pour l'étude des groupes de type fini à travers les connexions entre les propriétés algébriques de ces groupes et les propriétés topologiques et géométriques des espaces sur lesquels ils opèrent. Les groupes sont vus comme des ensembles de symétries ou d'applications continues sur ces espaces. Une autre idée importante de la théorie géométrique des groupes est de considérer les groupes de type fini eux-mêmes comme des objets géométriques, généralement via le graphe de Cayley du groupe étudié.
Groupe (mathématiques)vignette|Les manipulations possibles du Rubik's Cube forment un groupe. En mathématiques, un groupe est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni d'une loi de composition interne associative admettant un élément neutre et, pour chaque élément de l'ensemble, un élément symétrique. La structure de groupe est commune à de nombreux ensembles de nombres — par exemple les nombres entiers relatifs, munis de la loi d'addition.
Théorie des supercordesthumb|Vue d'artiste de la théorie des supercordes. La théorie des supercordes est une tentative pour expliquer l'existence de toutes les particules et forces fondamentales de la nature, en les modélisant comme les vibrations de minuscules cordes supersymétriques. Au début du , elle est considérée comme la plus féconde des théories pour une gravité quantique, même si elle souffre des mêmes défauts que la théorie des cordes en raison de l'impossibilité de la vérifier par l'expérimentation.
Théorie MLa théorie M est une théorie physique devant unifier les différentes versions de la théorie des supercordes. L'existence de cette théorie fut conjecturée par Edward Witten en 1995, lors d'un colloque sur la théorie des cordes à l'Université de Californie du Sud. Cette annonce engendra un tourbillon de nouvelles recherches, qu'on a appelé la . Selon Witten le M de théorie M peut signifier magie, mystère ou membrane au choix, et le véritable sens ne s'imposera que quand la théorie sera formulée définitivement.
Suite spectraleEn algèbre homologique et en topologie algébrique, une suite spectrale est une suite de modules différentiels (En,dn) tels que En+1 = H(En) = Ker dn / dn est l'homologie de En. Elles permettent donc de calculer des groupes d'homologie par approximations successives. Elles ont été introduites par Jean Leray en 1946. Il y a plusieurs manières en pratique pour obtenir une telle suite. Historiquement, depuis 1950, les arguments des suites spectrales ont été un outil performant pour la recherche, notamment dans la théorie de l'homotopie.
ThéorieUne théorie (du grec theoria, « contempler, observer, examiner ») est un ensemble cohérent, si elle prétend à la scientificité, d'explications, de notions ou d'idées sur un sujet précis, pouvant inclure des lois et des hypothèses, induites par l'accumulation de faits provenant de l'observation, l'expérimentation ou, dans le cas des mathématiques, déduites d'une base axiomatique donnée : théorie des matrices, des torseurs, des probabilités.
Groupe divisibleEn mathématiques, et plus particulièrement en théorie des groupes, un groupe abélien divisible est un groupe abélien G tel que, pour tout nombre naturel n ≥ 1, on ait (en notation additive) G = nG. Ceci revient à dire que pour tout élément x de G et tout nombre naturel n ≥ 1, il existe au moins un élément y de G tel que x = ny. On peut étendre cette définition aux groupes non abéliens, un groupe divisible étant un groupe dans lequel (en notation multiplicative) tout élément est n-ième puissance, quel que soit l'entier naturel n ≥ 1.
Fibré vectorielEn topologie différentielle, un fibré vectoriel est une construction géométrique ayant une parenté avec le produit cartésien, mais apportant une structure globale plus riche. Elle fait intervenir un espace topologique appelé base et un espace vectoriel modèle appelé fibre modèle. À chaque point de la base est associée une fibre copie de la fibre modèle, l'ensemble formant un nouvel espace topologique : l'espace total du fibré. Celui-ci admet localement la structure d'un produit cartésien de la base par la fibre modèle, mais peut avoir une topologie globale plus compliquée.
