|
Divided Power Structure
In mathematics, specifically commutative algebra, a divided power structure is a way of introducing items with similar properties as expressions of the form x^n / n! have, also when it is not possible to actually divide by n!. Definition Let ''A'' be a commutative ring with an ideal ''I''. A divided power structure (or PD-structure, after the French ''puissances divisées'') on ''I'' is a collection of maps \gamma_n : I \to A for ''n'' = 0, 1, 2, ... such that: #\gamma_0(x) = 1 and \gamma_1(x) = x for x \in I, while \gamma_n(x) \in I for ''n'' > 0. #\gamma_n(x + y) = \sum_^n \gamma_(x) \gamma_i(y) for x, y \in I. #\gamma_n(\lambda x) = \lambda^n \gamma_n(x) for \lambda \in A, x \in I. #\gamma_m(x) \gamma_n(x) = ((m, n)) \gamma_(x) for x \in I, where ((m, n)) = \frac is an integer. #\gamma_n(\gamma_m(x)) = C_ \gamma_(x) for x \in I and m > 0, where C_ = \frac is an integer. For convenience of notation, \gamma_n(x) is often written as x^ when it is clear what divided power stru ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Crystalline Cohomology
In mathematics, crystalline cohomology is a Weil cohomology theory for schemes ''X'' over a base field ''k''. Its values ''H''''n''(''X''/''W'') are modules over the ring ''W'' of Witt vectors over ''k''. It was introduced by and developed by . Crystalline cohomology is partly inspired by the ''p''-adic proof in of part of the Weil conjectures and is closely related to the algebraic version of de Rham cohomology that was introduced by Grothendieck (1963). Roughly speaking, crystalline cohomology of a variety ''X'' in characteristic ''p'' is the de Rham cohomology of a smooth lift of ''X'' to characteristic 0, while de Rham cohomology of ''X'' is the crystalline cohomology reduced mod ''p'' (after taking into account higher ''Tor''s). The idea of crystalline cohomology, roughly, is to replace the Zariski open sets of a scheme by infinitesimal thickenings of Zariski open sets with divided power structures. The motivation for this is that it can then be calculated by tak ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
1204
Year 1204 ( MCCIV) was a leap year starting on Thursday of the Julian calendar. Events * January 27– 28 – Byzantine emperor Alexios IV Angelos is overthrown in a revolution. * February 5 – Alexios V Doukas is crowned Byzantine emperor. * April 12 – Sack of Constantinople: Crusaders enter Constantinople by storm and start pillaging the city as part of the Fourth Crusade. Forces of the Republic of Venice seize the antique statues that will become the horses of Saint Mark. * May 16 – Baldwin, Count of Flanders, is crowned emperor of the Latin Empire a week after his election by the members of the Fourth Crusade. * Theodore I Laskaris flees to Nicaea after the capture of Constantinople, and establishes the Empire of Nicaea; Byzantine successor states are also established in Epirus and Trebizond. * Boniface I, Marquis of Montferrat, a leader of the Fourth Crusade, founds the Kingdom of Thessalonica. * The writings of French theologian Amalric of B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Elsevier
Elsevier ( ) is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as ''The Lancet'', ''Cell (journal), Cell'', the ScienceDirect collection of electronic journals, ''Trends (journals), Trends'', the ''Current Opinion (Elsevier), Current Opinion'' series, the online citation database Scopus, the SciVal tool for measuring research performance, the ClinicalKey search engine for clinicians, and the ClinicalPath evidence-based cancer care service. Elsevier's products and services include digital tools for Data management platform, data management, instruction, research analytics, and assessment. Elsevier is part of the RELX Group, known until 2015 as Reed Elsevier, a publicly traded company. According to RELX reports, in 2022 Elsevier published more than 600,000 articles annually in over 2,800 journals. As of 2018, its archives contained over 17 million documents and 40,000 Ebook, e-books, with over one b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Princeton University Press
Princeton University Press is an independent publisher with close connections to Princeton University. Its mission is to disseminate scholarship within academia and society at large. The press was founded by Whitney Darrow, with the financial support of Charles Scribner, as a printing press to serve the Princeton community in 1905. Its distinctive building was constructed in 1911 on William Street in Princeton. Its first book was a new 1912 edition of John Witherspoon's ''Lectures on Moral Philosophy.'' History Princeton University Press was founded in 1905 by a recent Princeton graduate, Whitney Darrow, with financial support from another Princetonian, Charles Scribner II. Darrow and Scribner purchased the equipment and assumed the operations of two already existing local publishers, that of the ''Princeton Alumni Weekly'' and the Princeton Press. The new press printed both local newspapers, university documents, '' The Daily Princetonian'', and later added book publishing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Crystalline Cohomology
In mathematics, crystalline cohomology is a Weil cohomology theory for schemes ''X'' over a base field ''k''. Its values ''H''''n''(''X''/''W'') are modules over the ring ''W'' of Witt vectors over ''k''. It was introduced by and developed by . Crystalline cohomology is partly inspired by the ''p''-adic proof in of part of the Weil conjectures and is closely related to the algebraic version of de Rham cohomology that was introduced by Grothendieck (1963). Roughly speaking, crystalline cohomology of a variety ''X'' in characteristic ''p'' is the de Rham cohomology of a smooth lift of ''X'' to characteristic 0, while de Rham cohomology of ''X'' is the crystalline cohomology reduced mod ''p'' (after taking into account higher ''Tor''s). The idea of crystalline cohomology, roughly, is to replace the Zariski open sets of a scheme by infinitesimal thickenings of Zariski open sets with divided power structures. The motivation for this is that it can then be calculated by tak ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Functor
In mathematics, specifically category theory, a functor is a Map (mathematics), mapping between Category (mathematics), categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous function, continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied. The words ''category'' and ''functor'' were borrowed by mathematicians from the philosophers Aristotle and Rudolf Carnap, respectively. The latter used ''functor'' in a Linguistics, linguistic context; see function word. Definition Let ''C'' and ''D'' be category (mathematics), categories. A functor ''F'' from ''C'' to ''D'' is a mapping that * associates each Mathematical object, object X in ''C'' to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Characteristic (algebra)
In mathematics, the characteristic of a ring , often denoted , is defined to be the smallest positive number of copies of the ring's multiplicative identity () that will sum to the additive identity (). If no such number exists, the ring is said to have characteristic zero. That is, is the smallest positive number such that: : \underbrace_ = 0 if such a number exists, and otherwise. Motivation The special definition of the characteristic zero is motivated by the equivalent definitions characterized in the next section, where the characteristic zero is not required to be considered separately. The characteristic may also be taken to be the exponent of the ring's additive group, that is, the smallest positive integer such that: : \underbrace_ = 0 for every element of the ring (again, if exists; otherwise zero). This definition applies in the more general class of rngs (see '); for (unital) rings the two definitions are equivalent due to their distributive law. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
PD Differential Operators
PD, P.D., or Pd may refer to: Arts and media * ''People's Democracy'' (newspaper), weekly organ of the Communist Party of India (Marxist) * ''The Plain Dealer'', a Cleveland, Ohio, US newspaper * Post Diaspora, a time frame in the ''Honorverse'' series of science fiction novels * ''Principia Discordia'', a 1965 holy text in Discordianism * Production designer, a profession in film or television * Production diary, a promotional video podcast * Public domain, a copyright status Economics and business * Personnel department, of an organization * Price discrimination, a microeconomic pricing strategy * Probability of default, used in finance (Basel II) * Professional degree, or first professional degree * Professional development, learning to earn or maintain professional credentials * Program director, in service industries * Public Debt, of a government Organizations Companies * Phelps Dodge, a former American mining company, now part of Freeport-McMoRan * Polyphony Digital, de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Commutative Algebra
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideal (ring theory), ideals, and module (mathematics), modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers \mathbb; and p-adic number, ''p''-adic integers. Commutative algebra is the main technical tool of algebraic geometry, and many results and concepts of commutative algebra are strongly related with geometrical concepts. The study of rings that are not necessarily commutative is known as noncommutative algebra; it includes ring theory, representation theory, and the theory of Banach algebras. Overview Commutative algebra is essentially the study of the rings occurring in algebraic number theory and algebraic geometry. Several concepts of commutative algebras have been developed in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Free Module
In mathematics, a free module is a module that has a ''basis'', that is, a generating set that is linearly independent. Every vector space is a free module, but, if the ring of the coefficients is not a division ring (not a field in the commutative case), then there exist non-free modules. Given any set and ring , there is a free -module with basis , which is called the ''free module on'' or ''module of formal'' -''linear combinations'' of the elements of . A free abelian group is precisely a free module over the ring \Z of integers. Definition For a ring R and an R- module M, the set E\subseteq M is a basis for M if: * E is a generating set for M; that is to say, every element of M is a finite sum of elements of E multiplied by coefficients in R; and * E is linearly independent: for every set \\subset E of distinct elements, r_1 e_1 + r_2 e_2 + \cdots + r_n e_n = 0_M implies that r_1 = r_2 = \cdots = r_n = 0_R (where 0_M is the zero element of M and 0_R is the zer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Universal Construction
In mathematics, more specifically in category theory, a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently from the method chosen for constructing them. For example, the definitions of the integers from the natural numbers, of the rational numbers from the integers, of the real numbers from the rational numbers, and of polynomial rings from the field of their coefficients can all be done in terms of universal properties. In particular, the concept of universal property allows a simple proof that all constructions of real numbers are equivalent: it suffices to prove that they satisfy the same universal property. Technically, a universal property is defined in terms of categories and functors by means of a universal morphism (see , below). Universal morphisms can also be thought more abstractly as initial or terminal objects of a comma category ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |