Construction à la règle et au compasEuclide a fondé sa géométrie sur un système d'axiomes qui assure en particulier qu'il est toujours possible de tracer une droite passant par deux points donnés et qu'il est toujours possible de tracer un cercle de centre donné et passant par un point donné. La géométrie euclidienne est donc la géométrie des droites et des cercles, donc de la règle (non graduée) et du compas. L'intuition d'Euclide était que tout nombre pouvait être construit, ou « obtenu », à l'aide de ces deux instruments.
Hyperplane at infinityIn geometry, any hyperplane H of a projective space P may be taken as a hyperplane at infinity. Then the set complement P ∖ H is called an affine space. For instance, if (x1, ..., xn, xn+1) are homogeneous coordinates for n-dimensional projective space, then the equation xn+1 = 0 defines a hyperplane at infinity for the n-dimensional affine space with coordinates (x1, ..., xn). H is also called the ideal hyperplane. Similarly, starting from an affine space A, every class of parallel lines can be associated with a point at infinity.
Géométrie des nombresthumb|right|L'observation de base de la géométrie des nombres : un disque centré en O contient des points du quadrillage (en vert) autres que O seulement s'il est assez grand (c'est le cas du disque violet C', mais pas du disque rose C) En mathématiques, la géométrie des nombres est une discipline qui interprète des problèmes arithmétiques en termes de réseaux discrets et les résout en utilisant des propriétés géométriques. Elle a été fondée à la fin du par Hermann Minkowski.
Injection canoniqueIn mathematics, if is a subset of then the inclusion map (also inclusion function, insertion, or canonical injection) is the function that sends each element of to treated as an element of A "hooked arrow" () is sometimes used in place of the function arrow above to denote an inclusion map; thus: (However, some authors use this hooked arrow for any embedding.) This and other analogous injective functions from substructures are sometimes called natural injections.
Fonction algébriqueEn mathématiques, une fonction algébrique d'indéterminées est une fonction F qui satisfait l'équation non triviale où P est un polynôme à n + 1 variables sur un corps commutatif K. En cela, F est une fonction implicite qui résout une équation algébrique. Un exemple simple serait La classe des fonctions algébriques contient toutes les fonctions rationnelles, mais est plus grande. Du point de vue de l'algèbre générale, il s'agit, pour tout ensemble fixé d'indéterminées, de la clôture algébrique du corps des fonctions rationnelles.
Complemented latticeIn the mathematical discipline of order theory, a complemented lattice is a bounded lattice (with least element 0 and greatest element 1), in which every element a has a complement, i.e. an element b satisfying a ∨ b = 1 and a ∧ b = 0. Complements need not be unique. A relatively complemented lattice is a lattice such that every interval [c, d], viewed as a bounded lattice in its own right, is a complemented lattice. An orthocomplementation on a complemented lattice is an involution that is order-reversing and maps each element to a complement.
Groupes de ConwayEn mathématiques, les groupes de Conway Co, Co et Co sont trois groupes sporadiques découverts par John Horton Conway en 1968. Tous sont intimement liés au réseau de Leech Λ. Le plus grand, Co, d'ordre , est obtenu en quotientant le groupe des automorphismes de Λ par son centre, qui est constitué des matrices scalaires ±1. Les groupes Co (d'ordre ) et Co (d'ordre ) sont constitués des automorphismes de Λ fixant un vecteur de réseau de type 2 et un vecteur de type 3 respectivement.
Borne de MinkowskiEn théorie algébrique des nombres, la borne de Minkowski donne un majorant de la norme des idéaux à considérer pour déterminer le nombre de classes d'un corps de nombres K. Il porte le nom du mathématicien Hermann Minkowski. Soit D le discriminant de K, n son degré sur , et le nombre de plongements complexes où est le nombre de plongements réels. Alors chaque classe du groupe des classes d'idéaux de K contient un idéal de O dont la norme est inférieure ou égale à la borne de Minkowski La constante de Minkowski pour le corps K est cette borne MK.
Translation planeIn mathematics, a translation plane is a projective plane which admits a certain group of symmetries (described below). Along with the Hughes planes and the Figueroa planes, translation planes are among the most well-studied of the known non-Desarguesian planes, and the vast majority of known non-Desarguesian planes are either translation planes, or can be obtained from a translation plane via successive iterations of dualization and/or derivation. In a projective plane, let P represent a point, and l represent a line.
Steenrod algebraIn algebraic topology, a Steenrod algebra was defined by to be the algebra of stable cohomology operations for mod cohomology. For a given prime number , the Steenrod algebra is the graded Hopf algebra over the field of order , consisting of all stable cohomology operations for mod cohomology. It is generated by the Steenrod squares introduced by for , and by the Steenrod reduced th powers introduced in and the Bockstein homomorphism for . The term "Steenrod algebra" is also sometimes used for the algebra of cohomology operations of a generalized cohomology theory.
