Category (mathematics)In mathematics, a category (sometimes called an abstract category to distinguish it from a ) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the , whose objects are sets and whose arrows are functions. is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent.
Involution (mathématiques)En mathématiques, une involution est une application bijective qui est sa propre réciproque, c'est-à-dire par laquelle chaque élément est l'image de son image. C'est le cas par exemple du changement de signe dans l'ensemble des nombres réels, ou des symétries du plan ou de l'espace en géométrie euclidienne. En algèbre linéaire, les endomorphismes involutifs sont d'ailleurs appelés symétries. Des involutions apparaissent dans de nombreux domaines des mathématiques, notamment en combinatoire et en topologie.
Automorphisme intérieurUn automorphisme intérieur est une notion mathématique utilisée en théorie des groupes. Soient G un groupe et g un élément de G. On appelle automorphisme intérieur associé à g, noté ιg, l'automorphisme de G défini par : Pour un groupe abélien, les automorphismes intérieurs sont triviaux. Plus généralement, l'ensemble des automorphismes intérieurs de G forme un sous-groupe normal du groupe des automorphismes de G, et ce sous-groupe est isomorphe au groupe quotient de G par son centre.
Centre d'un groupeEn théorie des groupes, on appelle centre d'un groupe G l'ensemble des éléments de G qui commutent avec tous les autres. Soit G un groupe, noté multiplicativement. Son centre Z est Dans G, Z est un sous-groupe normal — comme noyau du morphisme de groupes ι ci-dessous — et même un sous-groupe caractéristique. Tout sous-groupe de Z est sous-groupe normal de G. Z est abélien. Le centre d'un groupe abélien G est le groupe G entier, c'est-à-dire : Z = G. Le centre du groupe alterné A est trivial pour n ≥ 4.
Élément symétriqueEn mathématiques, la notion d'élément symétrique généralise les concepts d'opposé en rapport avec l'addition et d'inverse en rapport avec la multiplication. Soit E un ensemble muni d'une loi de composition interne admettant un élément neutre . Soient deux éléments et de E. Si , est dit élément symétrique à gauche de et est dit élément symétrique à droite de . Si , est dit élément symétrique de .
Groupe quotientDans l'étude des groupes, le quotient d'un groupe est une opération classique permettant la construction de nouveaux groupes à partir d'anciens. À partir d'un groupe G et d'un sous-groupe H de G, on peut définir une loi de groupe sur l'ensemble G/H des classes de G suivant H, à condition que le sous-groupe H soit normal, c'est-à-dire que les classes à droite soient égales aux classes à gauche (gH = Hg). Étant donné un élément g de G, nous définissons la classe à gauche gH = { gh | h ∈ H }.
Corps finiEn mathématiques et plus précisément en algèbre, un corps fini est un corps commutatif qui est par ailleurs fini. À isomorphisme près, un corps fini est entièrement déterminé par son cardinal, qui est toujours une puissance d'un nombre premier, ce nombre premier étant sa caractéristique. Pour tout nombre premier p et tout entier non nul n, il existe un corps de cardinal pn, qui se présente comme l'unique extension de degré n du corps premier Z/pZ.
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.
Conjuguévignette|Représentation géométrique (diagramme d'Argand) de z et de son conjugué z̅ dans le plan complexe. Le conjugué est obtenu par symétrie par l'axe des réels. En mathématiques, le conjugué d'un nombre complexe z est le nombre complexe formé de la même partie réelle que z mais de partie imaginaire opposée. Le conjugué d'un nombre complexe , où a et b sont nombres réels, est noté ou . Dans le plan, le point d'affixe est le symétrique du point d'affixe par rapport à l'axe des abscisses. Le module du conjugué reste inchangé.
Morphisme d'anneauxUn morphisme d'anneaux est une application entre deux anneaux (unitaires) A et B, compatible avec les lois de ces anneaux et qui envoie le neutre multiplicatif de A sur le neutre multiplicatif de B. Un morphisme d'anneaux est une application f entre deux anneaux (unitaires) A et B qui vérifie les trois propriétés suivantes : Pour tous a, b dans A : f(a + b) = f(a) + f(b) f(a ∙ b) = f(a) ∙ f(b) f(1A) = 1B.
Transformation de MöbiusEn mathématiques, et plus particulièrement en géométrie, les transformations de Möbius sont de manière générale des automorphismes du compactifié d'Alexandrov de noté , définies comme la composée d'un nombre fini d'inversions par rapport à des hyperplans ou des hypersphères.
OctonionEn mathématiques, les octonions ou octaves sont une extension non associative des quaternions. Ils forment une algèbre à huit dimensions sur le corps R des nombres réels. L’algèbre des octonions est généralement notée O. En perdant l’importante propriété d’associativité, les octonions ont reçu moins d’attention que les quaternions. Malgré cela, ils gardent leur importance en algèbre et en géométrie, notamment parmi les groupes de Lie. Les octonions ont été découverts en 1843 par , un ami de William Hamilton, qui les appela octaves.
