Groupe libreEn théorie des groupes, le groupe libre sur un ensemble S est le groupe F contenant S et caractérisé par la propriété universelle suivante : pour tout groupe G et toute application f : S → G, il existe un unique morphisme de groupes de F dans G prolongeant f. Soit encore, un groupe G est dit libre sur un sous-ensemble S de G si chaque élément de G s'écrit de façon unique comme produit réduit d'éléments de S et d'inverses d'éléments de S (réduit signifiant : sans occurrence d'un sous-produit de la forme x.x).
Algèbre associativevignette|Relations entre certaines structures algébriques. En mathématiques, une algèbre associative (sur un anneau commutatif A) est une des structures algébriques utilisées en algèbre générale. C'est un anneau (ou simplement un pseudo-anneau) B muni d'une structure supplémentaire de module sur A et tel que la loi de multiplication de l'anneau B soit A-bilinéaire. C'est donc un cas particulier d'algèbre sur un anneau. Soit A un anneau commutatif. On dit que (B , + , . , × ) est une A-algèbre associative lorsque : (B , + , .
Représentation de groupeEn mathématiques, une représentation de groupe décrit un groupe en le faisant agir sur un espace vectoriel de manière linéaire. Autrement dit, on essaie de voir le groupe comme un groupe de matrices, d'où le terme représentation. On peut ainsi, à partir des propriétés relativement bien connues du groupe des automorphismes de l'espace vectoriel, arriver à déduire quelques propriétés du groupe. C'est l'un des concepts importants de la théorie des représentations.
Diviseur de zéroEn mathématiques, dans un anneau, un diviseur de zéro est un élément non nul dont le produit par un certain élément non nul est égal à zéro. Soient un anneau et tel que , où est l'élément neutre pour la loi . On dit que est un diviseur de zéro à gauche dans si On dit que est un diviseur de zéro à droite dans si On dit que est un diviseur de zéro dans si est un diviseur de zéro à gauche dans ou un diviseur de zéro à droite dans . Un élément de est dit régulier s'il n'est ni nul, ni diviseur de zéro.
Carquois (théorie des catégories)Un carquois est une collection d'arcs joignant des couples de points. En ce sens, il s'agit d'un graphe orienté, mais la notion intervient en physique théorique ainsi qu'en théorie des représentations, des groupes et des catégories de manière naturelle. En effet, une catégorie est un carquois doté d'une structure supplémentaire : nommément la présence d'identités et de compositions. On parle donc de carquois lorsque l'on souhaite évoquer ce contexte catégorique (ou de représentation), plutôt que de (multi-di-)graphe orienté.
Length functionIn the mathematical field of geometric group theory, a length function is a function that assigns a number to each element of a group. A length function L : G → R+ on a group G is a function satisfying: Compare with the axioms for a metric and a filtered algebra. Word metric An important example of a length is the word metric: given a presentation of a group by generators and relations, the length of an element is the length of the shortest word expressing it.
Monstrous moonshineEn mathématiques, monstrous moonshine est un terme anglais conçu par John Horton Conway et Simon P. Norton en 1979, utilisé pour décrire la connexion, alors totalement inattendue, entre le groupe Monstre M et les formes modulaires (en particulier la fonction j). Précisément, Conway et Norton, suivant une observation initiale de John McKay, trouvèrent que le développement de Fourier de (, où désigne le ) pouvait être exprimé en termes de combinaisons linéaires des dimensions des représentations irréductibles de M () où et Conway et Norton formulèrent des conjectures concernant les fonctions obtenues en remplaçant les traces sur l'élément neutre par les traces sur d'autres éléments g de M.
Algèbre involutiveEn mathématiques, une algèbre involutive ou une algèbre à involution est une algèbre munie d'un isomorphisme sur son algèbre opposée qui est involutif, c'est-à-dire de carré égal à l'identité. Dans cet article, K désigne un anneau commutatif, et les algèbres sur un anneau commutatif sont supposées être associatives et unitaires, et les homomorphismes entre algèbres sont supposés être unitaires, c'est-à-dire envoyer 1 sur 1. Soient A une algèbre sur K et μ la multiplication de A.
