|
Quasi-free Ring
In abstract algebra, a quasi-free algebra is an associative algebra that satisfies the lifting property similar to that of a formally smooth algebra in commutative algebra. The notion was introduced by Cuntz and Quillen for the applications to cyclic homology. A quasi-free algebra generalizes a free algebra, as well as the coordinate ring of a smooth affine complex curve. Because of the latter generalization, a quasi-free algebra can be thought of as signifying smoothness on a noncommutative space. Definition Let ''A'' be an associative algebra over the complex numbers. Then ''A'' is said to be ''quasi-free'' if the following equivalent conditions are met: *Given a square-zero extension R \to R/I, each homomorphism A \to R/I lifts to A \to R. *The cohomological dimension of ''A'' with respect to Hochschild cohomology is at most one. Let (\Omega A, d) denotes the differential envelope of ''A''; i.e., the universal differential-graded algebra generated by ''A''. Then ''A'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Associative Algebra
In mathematics, an associative algebra ''A'' over a commutative ring (often a field) ''K'' is a ring ''A'' together with a ring homomorphism from ''K'' into the center of ''A''. This is thus an algebraic structure with an addition, a multiplication, and a scalar multiplication (the multiplication by the image of the ring homomorphism of an element of ''K''). The addition and multiplication operations together give ''A'' the structure of a ring; the addition and scalar multiplication operations together give ''A'' the structure of a module or vector space over ''K''. In this article we will also use the term ''K''-algebra to mean an associative algebra over ''K''. A standard first example of a ''K''-algebra is a ring of square matrices over a commutative ring ''K'', with the usual matrix multiplication. A commutative algebra is an associative algebra for which the multiplication is commutative, or, equivalently, an associative algebra that is also a commutative ring. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Graded Algebra
In mathematics – particularly in homological algebra, algebraic topology, and algebraic geometry – a differential graded algebra (or DGA, or DG algebra) is an algebraic structure often used to capture information about a topological or geometric space. Explicitly, a differential graded algebra is a graded associative algebra with a chain complex structure that is compatible with the algebra structure. In geometry, the de Rham algebra of differential forms on a manifold has the structure of a differential graded algebra, and it encodes the de Rham cohomology of the manifold. In algebraic topology, the singular cochains of a topological space form a DGA encoding the singular cohomology. Moreover, American mathematician Dennis Sullivan developed a DGA to encode the rational homotopy type of topological spaces. __TOC__ Definitions Let A_\bullet = \bigoplus\nolimits_ A_i be a \mathbb-graded algebra, with product \cdot, equipped with a map d\colon A_\bullet \to A_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polynomial Ring
In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring formed from the set of polynomials in one or more indeterminates (traditionally also called variables) with coefficients in another ring, often a field. Often, the term "polynomial ring" refers implicitly to the special case of a polynomial ring in one indeterminate over a field. The importance of such polynomial rings relies on the high number of properties that they have in common with the ring of the integers. Polynomial rings occur and are often fundamental in many parts of mathematics such as number theory, commutative algebra, and algebraic geometry. In ring theory, many classes of rings, such as unique factorization domains, regular rings, group rings, rings of formal power series, Ore polynomials, graded rings, have been introduced for generalizing some properties of polynomial rings. A closely related notion is that of the ring of polynomial functions on a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dedekind Domain
In mathematics, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily unique up to the order of the factors. There are at least three other characterizations of Dedekind domains that are sometimes taken as the definition: see below. A field is a commutative ring in which there are no nontrivial proper ideals, so that any field is a Dedekind domain, however in a rather vacuous way. Some authors add the requirement that a Dedekind domain not be a field. Many more authors state theorems for Dedekind domains with the implicit proviso that they may require trivial modifications for the case of fields. An immediate consequence of the definition is that every principal ideal domain (PID) is a Dedekind domain. In fact a Dedekind domain is a unique factorization domain (UFD) if and only if it is a PID. The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integral Domain
In mathematics, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element ''a'' has the cancellation property, that is, if , an equality implies . "Integral domain" is defined almost universally as above, but there is some variation. This article follows the convention that rings have a multiplicative identity, generally denoted 1, but some authors do not follow this, by not requiring integral domains to have a multiplicative identity. Noncommutative integral domains are sometimes admitted. This article, however, follows the much more usual convention of reserving the term "integral domain" for the commutative case and using " domain" for the general case including noncommutative rings. Some sources, notably Lang, use the term entire ring for integral domain ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Submodule
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a (not necessarily commutative) ring. The concept of a ''module'' also generalizes the notion of an abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operations of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scalars ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hereditary Ring
In mathematics, especially in the area of abstract algebra known as module theory, a ring ''R'' is called hereditary if all submodules of projective modules over ''R'' are again projective. If this is required only for finitely generated submodules, it is called semihereditary. For a noncommutative ring ''R'', the terms left hereditary and left semihereditary and their right hand versions are used to distinguish the property on a single side of the ring. To be left (semi-)hereditary, all (finitely generated) submodules of projective ''left'' ''R''-modules must be projective, and similarly to be right (semi-)hereditary all (finitely generated) submodules of projective ''right'' ''R''-modules must be projective. It is possible for a ring to be left (semi-)hereditary but not right (semi-)hereditary and vice versa. Equivalent definitions * The ring ''R'' is left (semi-)hereditary if and only if all ( finitely generated) left ideals of ''R'' are projective modules. * The ring ''R'' i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Right Connection
Noncommutative geometry (NCG) is a branch of mathematics concerned with a geometric approach to noncommutative algebras, and with the construction of ''spaces'' that are locally presented by noncommutative algebras of functions, possibly in some generalized sense. A noncommutative algebra is an associative algebra in which the multiplication is not commutative, that is, for which xy does not always equal yx; or more generally an algebraic structure in which one of the principal binary operations is not commutative; one also allows additional structures, e.g. topology or norm, to be possibly carried by the noncommutative algebra of functions. An approach giving deep insight about noncommutative spaces is through operator algebras, that is, algebras of bounded linear operators on a Hilbert space. Perhaps one of the typical examples of a noncommutative space is the " noncommutative torus", which played a key role in the early development of this field in 1980s and lead to noncommutati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bimodule
In abstract algebra, a bimodule is an abelian group that is both a left and a right module, such that the left and right multiplications are compatible. Besides appearing naturally in many parts of mathematics, bimodules play a clarifying role, in the sense that many of the relationships between left and right modules become simpler when they are expressed in terms of bimodules. Definition If ''R'' and ''S'' are two rings, then an ''R''-''S''-bimodule is an abelian group such that: # ''M'' is a left ''R''-module with an operation · and a right ''S''-module with an operation *. # For all ''r'' in ''R'', ''s'' in ''S'' and ''m'' in ''M'': (r\cdot m)*s = r\cdot (m*s) . An ''R''-''R''-bimodule is also known as an ''R''-bimodule. Examples * For positive integers ''n'' and ''m'', the set ''M''''n'',''m''(R) of matrices of real numbers is an , where ''R'' is the ring ''M''''n''(R) of matrices, and ''S'' is the ring ''M''''m''(R) of matrices. Addition and multiplication are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Module
In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules (that is, modules with basis vectors) over a ring, keeping some of the main properties of free modules. Various equivalent characterizations of these modules appear below. Every free module is a projective module, but the converse fails to hold over some rings, such as Dedekind rings that are not principal ideal domains. However, every projective module is a free module if the ring is a principal ideal domain such as the integers, or a (multivariate) polynomial ring over a field (this is the Quillen–Suslin theorem). Projective modules were first introduced in 1956 in the influential book ''Homological Algebra'' by Henri Cartan and Samuel Eilenberg. Definitions Lifting property The usual category theoretical definition is in terms of the property of ''lifting'' that carries over from free to projective modules: a module ''P'' is projective if and only if fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Envelope
Differential may refer to: Mathematics * Differential (mathematics) comprises multiple related meanings of the word, both in calculus and differential geometry, such as an infinitesimal change in the value of a function * Differential algebra * Differential calculus ** Differential of a function, represents a change in the linearization of a function *** Total differential is its generalization for functions of multiple variables ** Differential (infinitesimal) (e.g. ''dx'', ''dy'', ''dt'' etc.) are interpreted as infinitesimals ** Differential topology * Differential (pushforward) The total derivative of a map between manifolds. * Differential exponent, an exponent in the factorisation of the different ideal * Differential geometry, exterior differential, or exterior derivative, is a generalization to differential forms of the notion of differential of a function on a differentiable manifold * Differential (coboundary), in homological algebra and algebraic topology, one of th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |