Algèbre d'un groupe finiEn mathématiques, l'algèbre d'un groupe fini est un cas particulier d'algèbre d'un monoïde qui s'inscrit dans le cadre de la théorie des représentations d'un groupe fini. Une algèbre d'un groupe fini est la donnée d'un groupe fini, d'un espace vectoriel de dimension l'ordre du groupe et d'une base indexée par le groupe. La multiplication des éléments de la base est obtenue par la composition des index à l'aide de la loi du groupe, elle est prolongée sur toute la structure par linéarité.
Groupe de KleinEn mathématiques, le groupe de Klein est, à isomorphisme près, l'un des deux groupes à quatre éléments, l'autre étant le groupe cyclique ; c'est le plus petit groupe non cyclique. Il porte le nom du mathématicien allemand Felix Klein, qui en 1884 le désignait par « Vierergruppe » (groupe de quatre) dans son « cours sur l'icosaèdre et la résolution des équations du cinquième degré ». Le groupe de Klein est entièrement défini par le fait que les trois éléments différents de l'élément neutre e ont un ordre égal à 2 (ils sont involutifs), et que le produit de deux distincts d'entre eux est égal au troisième.
Projective coverIn the branch of abstract mathematics called , a projective cover of an object X is in a sense the best approximation of X by a projective object P. Projective covers are the of injective envelopes. Let be a and X an object in . A projective cover is a pair (P,p), with P a projective object in and p a superfluous epimorphism in Hom(P, X). If R is a ring, then in the category of R-modules, a superfluous epimorphism is then an epimorphism such that the kernel of p is a superfluous submodule of P.
Complemented subspaceIn the branch of mathematics called functional analysis, a complemented subspace of a topological vector space is a vector subspace for which there exists some other vector subspace of called its (topological) complement in , such that is the direct sum in the category of topological vector spaces. Formally, topological direct sums strengthen the algebraic direct sum by requiring certain maps be continuous; the result retains many nice properties from the operation of direct sum in finite-dimensional vector spaces.
Groupe super-résolubleEn algèbre, un groupe est dit super-résoluble s'il possède une suite normale (avec G normal dans G) dont tous les quotients G/G sont monogènes. Détaillons les implications strictes : super-résoluble ⇒ polycyclique ⇒ résoluble. Tout groupe super-résoluble est (notion plus faible où l'on demande seulement que chaque G soit normal dans G). Tout groupe polycyclique est résoluble (notion encore plus faible où de plus, on demande seulement que les quotients G/G soient abéliens).
Produit direct (groupes)En mathématiques, et plus particulièrement en théorie des groupes, le produit direct d'une famille de groupes est une structure de groupe qui se définit naturellement sur le produit cartésien des ensembles sous-jacents à ces groupes. Soient et deux groupes. Désignons par leur produit cartésien (ou, plus exactement, le produit cartésien de leurs ensembles sous-jacents). Il est naturel de définir sur une loi de composition composante par composante : le produit apparaissant dans le second membre étant calculé dans et le produit dans .
Objet projectifEn théorie des catégories, un objet projectif est une forme de généralisation des modules projectifs. Les objets projectifs dans les catégories abéliennes sont utilisés en algèbre homologique. La notion duale d'objet projectif est celle d'. Un objet dans une catégorie est dit projectif si pour tout épimorphisme et tout morphisme , il existe un morphisme tel que , c'est-à-dire que le diagramme suivant commute : 150px|center Autrement dit, tout morphisme se factorise par les épimorphismes .
Isomorphisme de catégoriesEn théorie des catégories, deux catégories et sont isomorphes s'il existe deux foncteurs F : → et G : → tels que l'un est inverse de l'autre, c'est-à-dire tels que FG = 1D (le foncteur identité de ) et GF = 1C. Cette notion, assez restrictive, peut être élargie en la notion d'équivalence de catégories. Soit la catégorie des espaces topologiques munis d'une topologie d'Alexandroff, et la catégorie des ensembles munis d'un préordre.
Tate moduleIn mathematics, a Tate module of an abelian group, named for John Tate, is a module constructed from an abelian group A. Often, this construction is made in the following situation: G is a commutative group scheme over a field K, Ks is the separable closure of K, and A = G(Ks) (the Ks-valued points of G). In this case, the Tate module of A is equipped with an action of the absolute Galois group of K, and it is referred to as the Tate module of G. Given an abelian group A and a prime number p, the p-adic Tate module of A is where A[pn] is the pn torsion of A (i.
Groupe à opérateursLa notion de groupe à opérateurs peut être considérée comme une généralisation de la notion mathématique de groupe. Elle permet de donner une forme plus forte à certains théorèmes classiques, comme le théorème de Jordan-Hölder. Un groupe à opérateurs est constitué de trois objets mathématiques : un groupe G, dit groupe sous-jacent (que nous noterons multiplicativement), un ensemble Ω dit domaine d'opérateurs une action de Ω sur G distributive par rapport à la loi de groupe de G, c'est-à-dire d'une application telle que, pour tout élément ω de Ω et tous éléments g, h de G Un groupe à opérateurs ne se réduit pas à son groupe sous-jacent, mais on commet souvent l'abus de langage de les identifier.
