|
Quadratic Algebra
In mathematics, a quadratic algebra is a filtered algebra generated by degree one elements, with defining relations of degree 2. It was pointed out by Yuri Manin that such algebras play an important role in the theory of quantum groups. The most important class of graded quadratic algebras is Koszul algebras. Definition A graded quadratic algebra ''A'' is determined by a vector space of generators ''V'' = ''A''1 and a subspace of homogeneous quadratic relations ''S'' ⊂ ''V'' ⊗ ''V'' . Thus : A=T(V)/\langle S\rangle and inherits its grading from the tensor algebra ''T''(''V''). If the subspace of relations is instead allowed to also contain inhomogeneous degree 2 elements, i.e. ''S'' ⊂ ''k'' ⊕ ''V'' ⊕ (''V'' ⊗ ''V''), this construction results in a filtered quadratic algebra. A graded quadratic algebra ''A'' as above admits a quadratic dual: the quadratic algebra generated by ''V''* and with quadratic relations forming the orthogonal complement of ''S'' in '' ... [...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 t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Filtered Algebra
In mathematics, a filtered algebra is a generalization of the notion of a graded algebra. Examples appear in many branches of mathematics, especially in homological algebra and representation theory. A filtered algebra over the field k is an algebra (A,\cdot) over k that has an increasing sequence \ \subseteq F_0 \subseteq F_1 \subseteq \cdots \subseteq F_i \subseteq \cdots \subseteq A of subspaces of A such that :A=\bigcup_ F_ and that is compatible with the multiplication in the following sense: : \forall m,n \in \mathbb,\quad F_m\cdot F_n\subseteq F_. Associated graded algebra In general there is the following construction that produces a graded algebra out of a filtered algebra. If A is a filtered algebra then the '' associated graded algebra'' \mathcal(A) is defined as follows: The multiplication is well-defined and endows \mathcal(A) with the structure of a graded algebra, with gradation \_. Furthermore if A is associative then so is \mathcal(A). Also if A is u ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quantum Group
In mathematics and theoretical physics, the term quantum group denotes one of a few different kinds of noncommutative algebras with additional structure. These include Drinfeld–Jimbo type quantum groups (which are quasitriangular Hopf algebras), compact matrix quantum groups (which are structures on unital separable C*-algebras), and bicrossproduct quantum groups. Despite their name, they do not themselves have a natural group structure, though they are in some sense 'close' to a group. The term "quantum group" first appeared in the theory of quantum integrable systems, which was then formalized by Vladimir Drinfeld and Michio Jimbo as a particular class of Hopf algebra. The same term is also used for other Hopf algebras that deform or are close to classical Lie groups or Lie algebras, such as a "bicrossproduct" class of quantum groups introduced by Shahn Majid a little after the work of Drinfeld and Jimbo. In Drinfeld's approach, quantum groups arise as Hopf algebras de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Koszul Algebra
In abstract algebra, a Koszul algebra R is a graded k-algebra over which the ground field k has a linear minimal graded free resolution, ''i.e.'', there exists an exact sequence: :\cdots \rightarrow R(-i)^ \rightarrow \cdots \rightarrow R(-2)^ \rightarrow R(-1)^ \rightarrow R \rightarrow k \rightarrow 0. Here, R(-j) is the graded algebra R with grading shifted up by j, ''i.e.'' R(-j)_i = R_. The exponents b_i refer to the b_i-fold direct sum. Choosing bases for the free modules in the resolution, the chain maps are given by matrices, and the definition requires the matrix entries to be zero or linear forms. An example of a Koszul algebra is a polynomial ring over a field, for which the Koszul complex is the minimal graded free resolution of the ground field. There are Koszul algebras whose ground fields have infinite minimal graded free resolutions, ''e.g'', R = k ,y(xy) . The concept is named after the French mathematician Jean-Louis Koszul. See also *Koszul duality *Comple ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector Space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called '' vectors'', may be added together and multiplied ("scaled") by numbers called ''scalars''. Scalars are often real numbers, but can be complex numbers or, more generally, elements of any field. The operations of vector addition and scalar multiplication must satisfy certain requirements, called ''vector axioms''. The terms real vector space and complex vector space are often used to specify the nature of the scalars: real coordinate space or complex coordinate space. Vector spaces generalize Euclidean vectors, which allow modeling of physical quantities, such as forces and velocity, that have not only a magnitude, but also a direction. The concept of vector spaces is fundamental for linear algebra, together with the concept of matrix, which allows computing in vector spaces. This provides a concise and synthetic way for manipulating and studying systems of linea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tensor Algebra
In mathematics, the tensor algebra of a vector space ''V'', denoted ''T''(''V'') or ''T''(''V''), is the algebra of tensors on ''V'' (of any rank) with multiplication being the tensor product. It is the free algebra on ''V'', in the sense of being left adjoint to the forgetful functor from algebras to vector spaces: it is the "most general" algebra containing ''V'', in the sense of the corresponding universal property (see below). The tensor algebra is important because many other algebras arise as quotient algebras of ''T''(''V''). These include the exterior algebra, the symmetric algebra, Clifford algebras, the Weyl algebra and universal enveloping algebras. The tensor algebra also has two coalgebra structures; one simple one, which does not make it a bialgebra, but does lead to the concept of a cofree coalgebra, and a more complicated one, which yields a bialgebra, and can be extended by giving an antipode to create a Hopf algebra structure. ''Note'': In this article, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tensor Algebra
In mathematics, the tensor algebra of a vector space ''V'', denoted ''T''(''V'') or ''T''(''V''), is the algebra of tensors on ''V'' (of any rank) with multiplication being the tensor product. It is the free algebra on ''V'', in the sense of being left adjoint to the forgetful functor from algebras to vector spaces: it is the "most general" algebra containing ''V'', in the sense of the corresponding universal property (see below). The tensor algebra is important because many other algebras arise as quotient algebras of ''T''(''V''). These include the exterior algebra, the symmetric algebra, Clifford algebras, the Weyl algebra and universal enveloping algebras. The tensor algebra also has two coalgebra structures; one simple one, which does not make it a bialgebra, but does lead to the concept of a cofree coalgebra, and a more complicated one, which yields a bialgebra, and can be extended by giving an antipode to create a Hopf algebra structure. ''Note'': In this article, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Algebra
In mathematics, the symmetric algebra (also denoted on a vector space over a field is a commutative algebra over that contains , and is, in some sense, minimal for this property. Here, "minimal" means that satisfies the following universal property: for every linear map from to a commutative algebra , there is a unique algebra homomorphism such that , where is the inclusion map of in . If is a basis of , the symmetric algebra can be identified, through a canonical isomorphism, to the polynomial ring , where the elements of are considered as indeterminates. Therefore, the symmetric algebra over can be viewed as a "coordinate free" polynomial ring over . The symmetric algebra can be built as the quotient of the tensor algebra by the two-sided ideal generated by the elements of the form . All these definitions and properties extend naturally to the case where is a module (not necessarily a free one) over a commutative ring. Construction From tensor algebra I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exterior Algebra
In mathematics, the exterior algebra, or Grassmann algebra, named after Hermann Grassmann, is an algebra that uses the exterior product or wedge product as its multiplication. In mathematics, the exterior product or wedge product of vectors is an algebraic construction used in geometry to study areas, volumes, and their higher-dimensional analogues. The exterior product of two vectors u and v, denoted by u \wedge v, is called a bivector and lives in a space called the ''exterior square'', a vector space that is distinct from the original space of vectors. The magnitude of u \wedge v can be interpreted as the area of the parallelogram with sides u and v, which in three dimensions can also be computed using the cross product of the two vectors. More generally, all parallel plane surfaces with the same orientation and area have the same bivector as a measure of their oriented area. Like the cross product, the exterior product is anticommutative, meaning ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Enveloping Algebra
In mathematics, the universal enveloping algebra of a Lie algebra is the unital associative algebra whose representations correspond precisely to the representations of that Lie algebra. Universal enveloping algebras are used in the representation theory of Lie groups and Lie algebras. For example, Verma modules can be constructed as quotients of the universal enveloping algebra. In addition, the enveloping algebra gives a precise definition for the Casimir operators. Because Casimir operators commute with all elements of a Lie algebra, they can be used to classify representations. The precise definition also allows the importation of Casimir operators into other areas of mathematics, specifically, those that have a differential algebra. They also play a central role in some recent developments in mathematics. In particular, their dual provides a commutative example of the objects studied in non-commutative geometry, the quantum groups. This dual can be shown, by the Gelfa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identity. The Lie bracket of two vectors x and y is denoted ,y/math>. The vector space \mathfrak g together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative. Lie algebras are closely related to Lie groups, which are groups that are also smooth manifolds: any Lie group gives rise to a Lie algebra, which is its tangent space at the identity. Conversely, to any finite-dimensional Lie algebra over real or complex numbers, there is a corresponding connected Lie group unique up to finite coverings ( Lie's third theorem). This correspondence allows one to study the structure and classification of Lie groups in terms of Lie algebras. In physics, Lie groups appear as symmetry groups ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
