Maximal subgroupIn mathematics, the term maximal subgroup is used to mean slightly different things in different areas of algebra. In group theory, a maximal subgroup H of a group G is a proper subgroup, such that no proper subgroup K contains H strictly. In other words, H is a maximal element of the partially ordered set of subgroups of G that are not equal to G. Maximal subgroups are of interest because of their direct connection with primitive permutation representations of G.
Mathématiquesthumb|upright|Raisonnement mathématique sur un tableau. Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations ; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets. Elles sont aussi le domaine de recherche développant ces connaissances, ainsi que la discipline qui les enseigne.
Groupe de LieEn mathématiques, un groupe de Lie est un groupe qui est aussi une variété différentielle. D'une part, un groupe est une structure algébrique munie d'une opération binaire, typiquement une multiplication et son inverse la division, ou alors une addition et son inverse la soustraction. D'autre part, une variété est un espace qui localement ressemble à un espace euclidien. Ici, on s'intéresse à un ensemble qui est à la fois un groupe et une variété : nous pouvons multiplier les éléments entre eux, calculer l'inverse d'un élément.
Groupe de type de LieEn mathématiques, un groupe de type de Lie G(k) est un groupe (non nécessairement fini) de points rationnels d'un groupe algébrique linéaire réductif G à valeur dans le corps commutatif k. La classification des groupes simples finis montre que les groupes de types de Lie finis forment l'essentiel des groupes finis simples. Des cas particuliers incluent les groupes classiques, les groupes de Chevalley, les groupes de Steinberg et les groupes de Suzuki-Ree.
Étale morphismIn algebraic geometry, an étale morphism (etal) is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology.
Treillis des sous-groupesthumb|Diagramme de Hasse du treillis des sous-groupes du groupe diédral D. En mathématique, le treillis des sous-groupes d'un groupe G est le treillis constitué des sous-groupes de G, muni de l'inclusion comme relation d'ordre partielle. La borne supérieure de deux sous-groupes a et b est le sous-groupe engendré par l'union de a et b et leur borne inférieure est leur intersection. Le groupe diédral D des huit isométries du carré contient dix sous-groupes, y compris D lui-même et son sous-groupe trivial.
Algèbre linéairevignette|R3 est un espace vectoriel de dimension 3. Droites et plans qui passent par l'origine sont des sous-espaces vectoriels. L’algèbre linéaire est la branche des mathématiques qui s'intéresse aux espaces vectoriels et aux transformations linéaires, formalisation générale des théories des systèmes d'équations linéaires. L'algèbre linéaire est initiée dans son principe par le mathématicien perse Al-Khwârizmî qui s'est inspiré des textes de mathématiques indiens et qui a complété les travaux de l'école grecque, laquelle continuera de se développer des siècles durant.
Géométrie riemanniennevignette|275px|L'étude de la forme de l'univers est une adaptation des idées et méthodes de la géométrie riemannienne La géométrie riemannienne est une branche de la géométrie différentielle nommée en l'honneur du mathématicien Bernhard Riemann, qui introduisit les concepts fondateurs de variété géométrique et de courbure. Il s'agit de surfaces ou d'objets de plus grande dimension sur lesquels existent des notions d'angle et de longueur, généralisant la géométrie traditionnelle qui se limitait à l'espace euclidien.
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.
Sous-groupe de HallEn théorie des groupes (une branche des mathématiques), les sous-groupes de Hall d'un groupe fini sont les sous-groupes dont l'ordre et l'indice sont premiers entre eux. Ils portent le nom du mathématicien Philip Hall. Soit un groupe fini. Un sous-groupe de est appelé un sous-groupe de Hall de si son ordre est premier avec son indice dans . Autrement dit, un sous-groupe de est dit sous-groupe de Hall si est premier avec . Cela revient encore à dire que pour tout diviseur premier p de , la puissance à laquelle p figure dans est la même que celle à laquelle il figure dans .
Morphisme zéroDans la théorie des catégories, une branche des mathématiques, un morphisme zéro est un type spécial de morphisme présentant certaines propriétés comme celles des morphismes vers et depuis un objet zéro . Supposons que C soit une catégorie, et f : X → Y un morphisme de la catégorie C. Le morphisme f est appelé morphisme constant (ou encore morphisme zéro à gauche) si pour tout objet W de la catégorie C et tout morphisme de cette catégorie , on a fg = fh.
Variété complexeLes variétés complexes ou plus généralement les sont les objets d'étude de la géométrie analytique complexe. Une variété complexe de dimension n est un espace topologique obtenu par recollement d'ouverts de Cn selon des biholomorphismes, c'est-à-dire des bijections holomorphes. Plus précisément, une variété complexe de dimension n est un espace topologique dénombrable à l'infini (c'est-à-dire localement compact et σ-compact) possédant un atlas de cartes sur Cn, tel que les applications de changement de cartes soient des biholomorphismes.
