|
Azumaya Algebra
In mathematics, an Azumaya algebra is a generalization of central simple algebras to ''R''-algebras where ''R'' need not be a field. Such a notion was introduced in a 1951 paper of Goro Azumaya, for the case where ''R'' is a commutative local ring. The notion was developed further in ring theory, and in algebraic geometry, where Alexander Grothendieck made it the basis for his geometric theory of the Brauer group in Bourbaki seminars from 1964–65. There are now several points of access to the basic definitions. Over a ring An Azumaya algebra over a commutative ring R is an R-algebra A that is finitely generated, faithful, and projective as an R-module, such that the tensor product A \otimes_R A^\circ (where A^\circ is the opposite algebra) is isomorphic to \text_R(A) via the map sending a \otimes b to the endomorphism x\mapsto axb of A. Examples over a field Over a field k, Azumaya algebras are completely classified by the Artin-Wedderburn theorem since they are the same ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Class Field Theory
In mathematics, local class field theory, introduced by Helmut Hasse, is the study of abelian extensions of local fields; here, "local field" means a field which is complete with respect to an absolute value or a discrete valuation with a finite residue field: hence every local field is isomorphic (as a topological field) to the real numbers R, the complex numbers C, a finite extension of the ''p''-adic numbers Q''p'' (where ''p'' is any prime number), or a finite extension of the field of formal Laurent series F''q''((''T'')) over a finite field F''q''. Approaches to local class field theory Local class field theory gives a description of the Galois group ''G'' of the maximal abelian extension of a local field ''K'' via the reciprocity map which acts from the multiplicative group ''K''×=''K''\. For a finite abelian extension ''L'' of ''K'' the reciprocity map induces an isomorphism of the quotient group ''K''×/''N''(''L''×) of ''K''× by the norm group ''N'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yuri Manin
Yuri Ivanovich Manin (russian: Ю́рий Ива́нович Ма́нин; born 16 February 1937) is a Russian mathematician, known for work in algebraic geometry and diophantine geometry, and many expository works ranging from mathematical logic to theoretical physics. Moreover, Manin was one of the first to propose the idea of a quantum computer in 1980 with his book ''Computable and Uncomputable''. Life and career Manin gained a doctorate in 1960 at the Steklov Mathematics Institute as a student of Igor Shafarevich. He is now a Professor at the Max-Planck-Institut für Mathematik in Bonn, and a professor emeritus at Northwestern University. Manin's early work included papers on the arithmetic and formal groups of abelian varieties, the Mordell conjecture in the function field case, and algebraic differential equations. The Gauss–Manin connection is a basic ingredient of the study of cohomology in families of algebraic varieties. He wrote a book on cubic surfaces and cubic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diophantine Geometry
In mathematics, Diophantine geometry is the study of Diophantine equations by means of powerful methods in algebraic geometry. By the 20th century it became clear for some mathematicians that methods of algebraic geometry are ideal tools to study these equations. Four theorems in Diophantine geometry which are of fundamental importance include: * Mordell–Weil Theorem * Roth's Theorem * Siegel's Theorem * Faltings's Theorem Background Serge Lang published a book ''Diophantine Geometry'' in the area in 1962, and by this book he coined the term "Diophantine Geometry". The traditional arrangement of material on Diophantine equations was by degree and number of variables, as in Mordell's ''Diophantine Equations'' (1969). Mordell's book starts with a remark on homogeneous equations ''f'' = 0 over the rational field, attributed to C. F. Gauss, that non-zero solutions in integers (even primitive lattice points) exist if non-zero rational solutions do, and notes a caveat of L. E. D ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Symbol
In mathematics, the Hilbert symbol or norm-residue symbol is a function (–, –) from ''K''× × ''K''× to the group of ''n''th roots of unity in a local field ''K'' such as the fields of reals or p-adic numbers . It is related to reciprocity laws, and can be defined in terms of the Artin symbol of local class field theory. The Hilbert symbol was introduced by in his Zahlbericht, with the slight difference that he defined it for elements of global fields rather than for the larger local fields. The Hilbert symbol has been generalized to higher local fields. Quadratic Hilbert symbol Over a local field ''K'' whose multiplicative group of non-zero elements is ''K''×, the quadratic Hilbert symbol is the function (–, –) from ''K''× × ''K''× to defined by :(a,b)=\begin+1,&\mboxz^2=ax^2+by^2\mbox(x,y,z)\in K^3;\\-1,&\mbox\end Equivalently, (a, b) = 1 if and only if b is equal to the norm of an element of the quadratic extension Ksqrt/math> page 110. Properties The follo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Free Sheaves
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an abelian category, and so they are closed under operations such as taking kernels, images, and cokernels. The quasi-coherent sheaves are a generalization of coherent sheaves and include the locally free sheaves of infinite rank. Coherent sheaf cohomology is a powerful technique, in particular for studying the sections of a given coherent sheaf. Definitions A quasi-coherent sheaf on a ringed space (X, \mathcal O_X) is a sheaf \mathcal F of \mathcal O_X-modules which has a local presentation, that is, every point in X has an open neighborhood U in which there is an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Ring
In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules. In practice, a commutative local ring often arises as the result of the localization of a ring at a prime ideal. The concept of local rings was introduced by Wolfgang Krull in 1938 under the name ''Stellenringe''. The English term ''local ring'' is due to Zariski. Definition and first consequences A ring ''R'' is a local ring if it has any one of the following equivalent properties: * ''R'' has a unique maximal left ideal. * ''R'' has a unique maximal right ideal. * 1 ≠ 0 and the sum of any two non-units in ''R'' is a non-unit. * 1 ≠ 0 and if ''x'' is any element of ''R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Structure Sheaf
In mathematics, a ringed space is a family of (commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that play roles of restrictions. Precisely, it is a topological space equipped with a sheaf of rings called a structure sheaf. It is an abstraction of the concept of the rings of continuous (scalar-valued) functions on open subsets. Among ringed spaces, especially important and prominent is a locally ringed space: a ringed space in which the analogy between the stalk at a point and the ring of germs of functions at a point is valid. Ringed spaces appear in analysis as well as complex algebraic geometry and the scheme theory of algebraic geometry. Note: In the definition of a ringed space, most expositions tend to restrict the rings to be commutative rings, including Hartshorne and Wikipedia. "Éléments de géométrie algébrique", on the other hand, does not impose the commutativity assumption, although the book mostly considers ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Čech Cohomology
In mathematics, specifically algebraic topology, Čech cohomology is a cohomology theory based on the intersection properties of open covers of a topological space. It is named for the mathematician Eduard Čech. Motivation Let ''X'' be a topological space, and let \mathcal be an open cover of ''X''. Let N(\mathcal) denote the nerve of the covering. The idea of Čech cohomology is that, for an open cover \mathcal consisting of sufficiently small open sets, the resulting simplicial complex N(\mathcal) should be a good combinatorial model for the space ''X''. For such a cover, the Čech cohomology of ''X'' is defined to be the simplicial cohomology of the nerve. This idea can be formalized by the notion of a good cover. However, a more general approach is to take the direct limit of the cohomology groups of the nerve over the system of all possible open covers of ''X'', ordered by refinement. This is the approach adopted below. Construction Let ''X'' be a topological space, and l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group (mathematics)
In mathematics, a group is a Set (mathematics), set and an Binary operation, operation that combines any two Element (mathematics), elements of the set to produce a third element of the set, in such a way that the operation is Associative property, associative, an identity element exists and every element has an Inverse element, inverse. These three axioms hold for Number#Main classification, number systems and many other mathematical structures. For example, the integers together with the addition operation form a group. The concept of a group and the axioms that define it were elaborated for handling, in a unified way, essential structural properties of very different mathematical entities such as numbers, geometric shapes and polynomial roots. Because the concept of groups is ubiquitous in numerous areas both within and outside mathematics, some authors consider it as a central organizing principle of contemporary mathematics. In geometry groups arise naturally in the study of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Norm Residue Isomorphism Theorem
In mathematics, the norm residue isomorphism theorem is a long-sought result relating Milnor ''K''-theory and Galois cohomology. The result has a relatively elementary formulation and at the same time represents the key juncture in the proofs of many seemingly unrelated theorems from abstract algebra, theory of quadratic forms, algebraic K-theory and the theory of motives. The theorem asserts that a certain statement holds true for any prime \ell and any natural number n. John MilnorMilnor (1970) speculated that this theorem might be true for \ell=2 and all n, and this question became known as Milnor's conjecture. The general case was conjectured by Spencer Bloch and Kazuya Kato and became known as the Bloch–Kato conjecture or the motivic Bloch–Kato conjecture to distinguish it from the Bloch–Kato conjecture on values of ''L''-functions.Bloch, Spencer and Kato, Kazuya, "L-functions and Tamagawa numbers of motives", The Grothendieck Festschrift, Vol. I, 333–400, Progr. M ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kummer Extension
In abstract algebra and number theory, Kummer theory provides a description of certain types of field extensions involving the adjunction of ''n''th roots of elements of the base field. The theory was originally developed by Ernst Eduard Kummer around the 1840s in his pioneering work on Fermat's Last Theorem. The main statements do not depend on the nature of the field – apart from its characteristic, which should not divide the integer ''n'' – and therefore belong to abstract algebra. The theory of cyclic extensions of the field ''K'' when the characteristic of ''K'' does divide ''n'' is called Artin–Schreier theory. Kummer theory is basic, for example, in class field theory and in general in understanding abelian extensions; it says that in the presence of enough roots of unity, cyclic extensions can be understood in terms of extracting roots. The main burden in class field theory is to dispense with extra roots of unity ('descending' back to smaller fields); which is somet ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
