Weil restrictionIn mathematics, restriction of scalars (also known as "Weil restriction") is a functor which, for any finite extension of fields L/k and any algebraic variety X over L, produces another variety ResL/kX, defined over k. It is useful for reducing questions about varieties over large fields to questions about more complicated varieties over smaller fields. Let L/k be a finite extension of fields, and X a variety defined over L. The functor from k-schemesop to sets is defined by (In particular, the k-rational points of are the L-rational points of X.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Helmut HasseHelmut Hasse (ˈhasə; 25 August 1898 – 26 December 1979) was a German mathematician working in algebraic number theory, known for fundamental contributions to class field theory, the application of p-adic numbers to local class field theory and diophantine geometry (Hasse principle), and to local zeta functions. Hasse was born in Kassel, Province of Hesse-Nassau, the son of Judge Paul Reinhard Hasse, also written Haße (12 April 1868 – 1 June 1940, son of Friedrich Ernst Hasse and his wife Anna Von Reinhard) and his wife Margarethe Louise Adolphine Quentin (born 5 July 1872 in Milwaukee, daughter of retail toy merchant Adolph Quentin (b.
Separable polynomialIn mathematics, a polynomial P(X) over a given field K is separable if its roots are distinct in an algebraic closure of K, that is, the number of distinct roots is equal to the degree of the polynomial. This concept is closely related to square-free polynomial. If K is a perfect field then the two concepts coincide. In general, P(X) is separable if and only if it is square-free over any field that contains K, which holds if and only if P(X) is coprime to its formal derivative D P(X).
Nilpotent idealIn mathematics, more specifically ring theory, an ideal I of a ring R is said to be a nilpotent ideal if there exists a natural number k such that I k = 0. By I k, it is meant the additive subgroup generated by the set of all products of k elements in I. Therefore, I is nilpotent if and only if there is a natural number k such that the product of any k elements of I is 0. The notion of a nilpotent ideal is much stronger than that of a nil ideal in many classes of rings.
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.
Surjective functionIn mathematics, a surjective function (also known as surjection, or onto function ˈɒn.tuː) is a function f such that every element y can be mapped from some element x such that f(x) = y. In other words, every element of the function's codomain is the of one element of its domain. It is not required that x be unique; the function f may map one or more elements of X to the same element of Y.
Emmy NoetherAmalie Emmy Noether (USˈnʌtər, UKˈnɜːtə; ˈnøːtɐ; 23 March 1882 – 14 April 1935) was a German mathematician who made many important contributions to abstract algebra. She discovered Noether's First and Second Theorems, which are fundamental in mathematical physics. She was described by Pavel Alexandrov, Albert Einstein, Jean Dieudonné, Hermann Weyl and Norbert Wiener as the most important woman in the history of mathematics. As one of the leading mathematicians of her time, she developed some theories of rings, fields, and algebras.
C++11C++11 is a version of the ISO/IEC 14882 standard for the C++ programming language. C++11 replaced the prior version of the C++ standard, called C++03, and was later replaced by C++14. The name follows the tradition of naming language versions by the publication year of the specification, though it was formerly named C++0x because it was expected to be published before 2010. Although one of the design goals was to prefer changes to the libraries over changes to the core language, C++11 does make several additions to the core language.
HomomorphismIn algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word homomorphism comes from the Ancient Greek language: ὁμός () meaning "same" and μορφή () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).
