Closure operatorIn mathematics, a closure operator on a set S is a function from the power set of S to itself that satisfies the following conditions for all sets {| border="0" |- | | (cl is extensive), |- | | (cl is increasing), |- | | (cl is idempotent). |} Closure operators are determined by their closed sets, i.e., by the sets of the form cl(X), since the closure cl(X) of a set X is the smallest closed set containing X. Such families of "closed sets" are sometimes called closure systems or "Moore families".
Groupe de permutationsEn théorie des groupes (mathématiques), un groupe de permutations d'un ensemble X est par définition un sous-groupe du groupe symétrique SX. On parle d'un groupe de permutations de X ou, s'il n'est pas nécessaire de préciser l'ensemble X, d'un groupe de permutations. Pour un ensemble X, nous désignerons ici par SX et nous appellerons groupe symétrique de X l'ensemble des permutations de X, muni de la loi de groupe ∘ définie par f ∘ g : X → X, x ↦ f(g(x)). Cette définition convient à l'étude des actions à gauche d'un groupe sur un ensemble.
Irreducible elementIn algebra, an irreducible element of an integral domain is a non-zero element that is not invertible (that is, is not a unit), and is not the product of two non-invertible elements. The irreducible elements are the terminal elements of a factorization process; that is, they are the factors that cannot be further factorized. The irreducible factors of an element are uniquely defined, up to the multiplication by a unit, if the integral domain is a unique factorization domain.
Équation quartiqueEn mathématiques, une équation quartique est une équation polynomiale de degré 4. Les équations quartiques ont été résolues dès que furent connues les méthodes de résolution des équations du troisième degré. Ont été développées successivement la méthode de Ferrari et la méthode de Descartes. La méthode de Lagrange, décrite ci-dessous, est issue des propriétés des polynômes symétriques construits à partir des n racines d'un polynôme de degré n. La méthode de résolution de l'équation quartique est établie depuis déjà deux siècles par Ludovico Ferrari (1522-1565).
Scalaire (mathématiques)En algèbre linéaire, les nombres réels qui multiplient les vecteurs dans un espace vectoriel sont appelés des scalaires. Cette multiplication par un scalaire, qui permet de multiplier un vecteur par un nombre pour produire un vecteur, correspond à la loi externe de l'espace vectoriel. Plus généralement, dans un K-espace vectoriel, les scalaires sont les éléments de K, où K peut être l'ensemble des nombres complexes ou n'importe quel autre corps.
CombinatoireEn mathématiques, la combinatoire, appelée aussi analyse combinatoire, étudie les configurations de collections finies d'objets ou les combinaisons d'ensembles finis, et les dénombrements. La combinatoire est en fait présente dans toute l'antiquité en Inde et en Chine. Donald Knuth, dans le volume 4A « Combinatorial Algorithms » de The Art of Computer Programming parle de la génération de n-uplets ; il dit que la génération de motifs combinatoires «a commencé alors que la civilisation elle-même prenait forme» (« began as civilization itself was taking shape»).
Distributive latticeIn mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set union and intersection. Indeed, these lattices of sets describe the scenery completely: every distributive lattice is—up to isomorphism—given as such a lattice of sets. As in the case of arbitrary lattices, one can choose to consider a distributive lattice L either as a structure of order theory or of universal algebra.
Al-KhwârizmîMuḥammad ibn Mūsā al-Khwārizmī (en محمد بن موسى الخوارزمي), généralement appelé Al-Khwârizmî (latinisé en Algoritmi ou Algorizmi), né dans les années 780, probablement à Khiva dans la région du Khwarezm (d'où il prend son nom), dans l'actuel Ouzbékistan, mort vers 850 à Bagdad, est un mathématicien, géographe, astrologue et astronome persan, membre de la Maison de la sagesse de Bagdad. Ses écrits, rédigés en langue arabe, puis traduits en latin à partir du , ont permis l'introduction de l'algèbre en Europe.
Algèbre associativevignette|Relations entre certaines structures algébriques. En mathématiques, une algèbre associative (sur un anneau commutatif A) est une des structures algébriques utilisées en algèbre générale. C'est un anneau (ou simplement un pseudo-anneau) B muni d'une structure supplémentaire de module sur A et tel que la loi de multiplication de l'anneau B soit A-bilinéaire. C'est donc un cas particulier d'algèbre sur un anneau. Soit A un anneau commutatif. On dit que (B , + , . , × ) est une A-algèbre associative lorsque : (B , + , .
Héron d'AlexandrieHéron d'Alexandrie (en grec ancien / Hếron ho Alexandreús) est un ingénieur, un mécanicien et un mathématicien grec du . On ne sait pas grand-chose de la vie d'Héron, si ce n'est qu'il était originaire d'Alexandrie, au point que les historiens se sont longtemps divisés sur l'époque à laquelle il avait vécu. Leurs estimations allaient du au de notre ère. On sait cependant aujourd'hui que Héron est postérieur à Vitruve mort en -20, contemporain de Pline l'Ancien (23-79), et qu'il est actif autour de l'an 62.
