Théorème de Lagrange sur les groupesvignette|Si G est le groupe des entiers modulo 8, alors {0, 4} forme un sous-groupe H. Sur l'exemple, {0, 4} contient 2 éléments et 2 divise 8. En mathématiques, le théorème de Lagrange sur les groupes énonce un résultat élémentaire fournissant des informations combinatoires sur les groupes finis. Le théorème doit son nom au mathématicien Joseph-Louis Lagrange. Il est parfois nommé théorème d'Euler-Lagrange car il généralise un théorème d'Euler sur les entiers.
Théorème de CayleyEn théorie des groupes, le théorème de Cayley est un résultat élémentaire établissant que tout groupe se réalise comme groupe de permutations, c'est-à-dire comme sous-groupe d'un groupe symétrique : Si G est d'ordre n, le groupe S dans lequel il est plongé est d'ordre n!. Le théorème se reformule en disant que tout groupe agit fidèlement sur lui-même. L'action que l'on construit est en fait même simplement transitive. Ce théorème est utilisé en théorie des représentations de groupes.
Groupe résolubleEn mathématiques, un groupe résoluble est un groupe qui peut être construit à partir de groupes abéliens par une suite finie d'extensions. Théorème d'Abel (algèbre) La théorie des groupes tire son origine de la recherche de solutions générales (ou de leur absence) pour les racines des polynômes de degré 5 ou plus. Le concept de groupe résoluble provient d'une propriété partagée par les groupes d'automorphismes des polynômes dont les racines peuvent être exprimées en utilisant seulement un nombre fini d'opérations élémentaires (racine n-ième, addition, multiplication, ).
Structure tertiaireEn biochimie, la structure tertiaire ou tridimensionnelle est le repliement dans l'espace d'une chaîne polypeptidique. Ce repliement donne sa fonctionnalité à la protéine, notamment par la formation du site actif des enzymes. . La structure tertiaire correspond au degré d'organisation supérieur aux hélices α ou aux feuillets β. Ces protéines possèdent des structures secondaires associées le long de la chaîne polypeptidique. Le repliement et la stabilisation de protéines à structure tertiaire dépend de plusieurs types de liaisons faibles qui stabilisent l'édifice moléculaire.
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Groupe réductifEn mathématiques, un groupe réductif est un groupe algébrique G sur un corps algébriquement clos tel que le radical unipotent de G (c'est-à-dire le sous-groupe des éléments unipotents de ) soit trivial. Tout est réductif, de même que tout tore algébrique et tout groupe général linéaire. Plus généralement, sur un corps k non nécessairement algébriquement clos, un groupe réductif est un groupe algébrique affine lisse G tel que le radical unipotent de G sur la clôture algébrique de k soit trivial.
P-groupeEn mathématiques, et plus précisément en algèbre, un p-groupe, pour un nombre premier p donné, est un groupe (fini ou infini) dont tout élément a pour ordre une puissance de p. Les p-sous-groupes de Sylow d'un groupe fini sont un exemple important de p-groupes. Tout sous-groupe et tout quotient d'un p-groupe est un p-groupe. Réciproquement, si H est un p-sous-groupe normal d'un groupe G et si le quotient G/H est un p-groupe, alors G est un p-groupe. On peut tirer du point précédent qu'un produit semi-direct de deux p-groupes est un p-groupe.
Groupe des quaternionsEn mathématiques et plus précisément en théorie des groupes, le groupe des quaternions est l'un des deux groupes non abéliens d'ordre 8. Il admet une représentation réelle irréductible de degré 4, et la sous-algèbre des matrices 4×4 engendrée par son image est un corps gauche qui s'identifie au corps des quaternions de Hamilton. Le groupe des quaternions est souvent désigné par le symbole Q ou Q8 et est écrit sous forme multiplicative, avec les 8 éléments suivants : Ici, 1 est l'élément neutre, et pour tout a dans Q.
Groupe orthogonalEn mathématiques, le groupe orthogonal réel de degré n, noté O(n), est le groupe des transformations géométriques d'un espace Euclidien de dimension n qui préservent les distances (isométries) et le point origine de l'espace. Formellement, on introduit le groupe orthogonal d'une forme quadratique q sur E, espace vectoriel sur un corps commutatif K, comme le sous-groupe du groupe linéaire GL(E) constitué des automorphismes f de E qui laissent q invariante : pour tout vecteur x de E.
Espace σ-compactEn mathématiques, un espace topologique est dit σ-compact (ou localement compact dénombrable à l'infini) s'il est l'union dénombrable de sous-espaces compacts. Un espace est dit σ-localement compact s'il est à la fois σ-compact et localement compact. Tout espace compact est σ-compact, et tout espace σ-compact est de Lindelöf (c'est-à-dire que tout recouvrement ouvert a un sous-recouvrement dénombrable).
Dualité de Pontriaguinevignette|La transformée de Fourier En mathématiques, notamment en analyse harmonique et dans la théorie des groupes topologiques, la dualité de Pontriaguine explique les principales propriétés de la transformée de Fourier.
Biomolecular structureBiomolecular structure is the intricate folded, three-dimensional shape that is formed by a molecule of protein, DNA, or RNA, and that is important to its function. The structure of these molecules may be considered at any of several length scales ranging from the level of individual atoms to the relationships among entire protein subunits. This useful distinction among scales is often expressed as a decomposition of molecular structure into four levels: primary, secondary, tertiary, and quaternary.
