Automorphisms of the symmetric and alternating groupsIn group theory, a branch of mathematics, the automorphisms and outer automorphisms of the symmetric groups and alternating groups are both standard examples of these automorphisms, and objects of study in their own right, particularly the exceptional outer automorphism of S6, the symmetric group on 6 elements. , and thus . Formally, is complete and the natural map is an isomorphism. , and the outer automorphism is conjugation by an odd permutation. Indeed, the natural maps are isomorphisms.
AutomorphismeUn automorphisme est un isomorphisme d'un objet mathématique X dans lui-même. Le plus souvent, c'est une bijection de X dans X qui préserve la « structure » de X. On peut le voir comme une symétrie de X. Les automorphismes de X forment un groupe. La définition abstraite d'un automorphisme est la suivante : c'est un endomorphisme qui est en même temps un isomorphisme. Autrement dit, c'est un morphisme d'un objet X d'une catégorie donnée dans lui-même, qui est également un isomorphisme.
Icosahedral symmetryIn mathematics, and especially in geometry, an object has icosahedral symmetry if it has the same symmetries as a regular icosahedron. Examples of other polyhedra with icosahedral symmetry include the regular dodecahedron (the dual of the icosahedron) and the rhombic triacontahedron. Every polyhedron with icosahedral symmetry has 60 rotational (or orientation-preserving) symmetries and 60 orientation-reversing symmetries (that combine a rotation and a reflection), for a total symmetry order of 120.
Special linear Lie algebraIn mathematics, the special linear Lie algebra of order n (denoted or ) is the Lie algebra of matrices with trace zero and with the Lie bracket . This algebra is well studied and understood, and is often used as a model for the study of other Lie algebras. The Lie group that it generates is the special linear group. The Lie algebra is central to the study of special relativity, general relativity and supersymmetry: its fundamental representation is the so-called spinor representation, while its adjoint representation generates the Lorentz group SO(3,1) of special relativity.
Poids (théorie des représentations)Dans le domaine mathématique de la théorie des représentations, un poids d'une algèbre A sur un corps F est un morphisme d'algèbres de A vers F ou, de manière équivalente, une représentation de dimension un de A sur F. C'est l'analogue algébrique d'un caractère multiplicatif d'un groupe. L'importance du concept découle cependant de son application aux représentations des algèbres de Lie et donc aussi aux représentations des groupes algébriques et des groupes de Lie.
Group schemeIn mathematics, a group scheme is a type of object from algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance.
Equations defining abelian varietiesIn mathematics, the concept of abelian variety is the higher-dimensional generalization of the elliptic curve. The equations defining abelian varieties are a topic of study because every abelian variety is a projective variety. In dimension d ≥ 2, however, it is no longer as straightforward to discuss such equations. There is a large classical literature on this question, which in a reformulation is, for complex algebraic geometry, a question of describing relations between theta functions.
Group isomorphismIn abstract algebra, a group isomorphism is a function between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two groups, then the groups are called isomorphic. From the standpoint of group theory, isomorphic groups have the same properties and need not be distinguished.
Représentation irréductibleEn mathématiques et plus précisément en théorie des représentations, une représentation irréductible est une représentation non nulle qui n'admet qu'elle-même et la représentation nulle comme sous-représentations. Le présent article traite des représentations d'un groupe. Le théorème de Maschke démontre que dans de nombreux cas, une représentation est somme directe de représentations irréductibles. Dans le cas des groupes finis, les informations liés aux représentations irréductibles sont encodées dans la table de caractères du groupe.
Intégrale abélienneEn mathématiques, une intégrale abélienne, nommée ainsi en honneur du mathématicien Niels Abel, est une intégrale dans le plan complexe de la forme : où est une fonction rationnelle arbitraire des deux variables et , reliées par l'équation : où est un polynôme irréductible en : dont les coefficients sont aussi des fonctions rationnelles en . La valeur d'une intégrale abélienne dépend non seulement des bornes d'intégration, mais aussi du chemin d'intégration. C'est donc une fonction multivaluée de .
Symétrie (physique)En physique la notion de symétrie, qui est intimement associée à la notion d'invariance, renvoie à la possibilité de considérer un même système physique selon plusieurs points de vue distincts en termes de description mais équivalents quant aux prédictions effectuées sur son évolution. Une théorie physique possède alors une symétrie S, si toute équation dans cette théorie décrit tout aussi correctement une particule ρ qu'une particule -ρ 'symétrique' de ρ.
Topologie algébriqueLa topologie algébrique, anciennement appelée topologie combinatoire, est la branche des mathématiques appliquant les outils de l'algèbre dans l'étude des espaces topologiques. Plus exactement, elle cherche à associer de manière naturelle des invariants algébriques aux structures topologiques associées. La naturalité signifie que ces invariants vérifient des propriétés de fonctorialité au sens de la théorie des catégories. L'idée fondamentale est de pouvoir associer à tout espace topologique des objets algébriques (nombre, groupe, espace vectoriel, etc.
