In mathematics, an associative algebraA is an algebraic structure with compatible operations of addition, multiplication, and a scalar multiplication by elements in some field. 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 vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over the field K. A standard first example of a K-algebra is a ring of square matrices over a field K, with the usual matrix multiplication.
In algebra, a division ring, also called a skew field, is a ring in which division is possible. Specifically, it is a nonzero ring in which every nonzero element a has a multiplicative inverse, that is, an element generally denoted a–1, such that a a–1 = a–1 a = 1. So, division may be defined as a / b = a b–1, but this notation is generally avoided, as one may have a b–1 ≠ b–1 a.
The fundamental theorem of algebra states that every non-constant single-variable polynomial with complex coefficients has at least one complex root. This includes polynomials with real coefficients, since every real number is a complex number with its imaginary part equal to zero.
In mathematics, coalgebras or cogebras are structures that are dual to unital associative algebras. The axioms of unital associative algebras can be formulated in terms of commutative diagrams. Turning all arrows around, one obtains the axioms of coalgebras. Every coalgebra, by duality, gives rise to an algebra, but not in general the other way. In finite dimensions, this duality goes in both directions.
In mathematics, a Hopf algebra, named after Heinz Hopf, is a structure that is simultaneously an algebra and a coalgebra, with these structures' compatibility making it a bialgebra, and that moreover is equipped with an antiautomorphism satisfying a certain property. The representation theory of a Hopf algebra is particularly nice, since the existence of compatible comultiplication, counit, and antipode allows for the construction of tensor products of representations, trivial representations, and dual representations.
In mathematics, a universal enveloping algebra is the most general algebra that contains all representations of a Lie algebra.
In mathematics, the tensor algebra of a vector space V, denoted T(V) or T•(V), is the algebra of tensors on V 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.
In mathematics, a formal group law is a formal power series behaving as if it were the product of a Lie group. They were introduced by S. Bochner (1946). The term formal group sometimes means the same as formal group law, and sometimes means one of several generalizations. Formal groups are intermediate between Lie groups and Lie algebras. They are used in algebraic number theory and algebraic topology.
In abstract algebra, the Weyl algebra is the ring of differential operators with polynomial coefficients, namely expressions of the form
In group theory, restriction forms a representation of a subgroup using a known representation of the whole group. Restriction is a fundamental construction in representation theory of groups. Often the restricted representation is simpler to understand. Rules for decomposing the restriction of an irreducible representation into irreducible representations of the subgroup are called branching rules, and have important applications in physics. For example, in case of explicit symmetry breaking, the symmetry group of the problem is reduced from the whole group to one of its subgroups. In quantum mechanics, this reduction in symmetry appears as a splitting of degenerate energy levels into multiplets, as in the Stark or Zeeman effect.
In mathematics, an LLT polynomial is one of a family of symmetric functions introduced by Alain Lascoux, Bernard Leclerc, and Jean-Yves Thibon (1997) as q-analogues of products of Schur functions.
In representation theory, a Yangian is an infinite-dimensional Hopf algebra, a type of a quantum group. Yangians first appeared in physics in the work of Ludvig Faddeev and his school in the late 1970s and early 1980s concerning the quantum inverse scattering method. The name Yangian was introduced by Vladimir Drinfeld in 1985 in honor of C.N. Yang.
In mathematics, the quasideterminant is a replacement for the determinant for matrices with noncommutative entries. Example 2 × 2 quasideterminants are as follows:
In algebra and in particular in algebraic combinatorics, a quasisymmetric function is any element in the ring of quasisymmetric functions which is in turn a subring of the formal power series ring with a countable number of variables. This ring generalizes the ring of symmetric functions. This ring can be realized as a specific limit of the rings of quasisymmetric polynomials in n variables, as n goes to infinity. This ring serves as universal structure in which relations between quasisymmetric polynomials can be expressed in a way independent of the number n of variables.
In mathematics, Schubert polynomials are generalizations of Schur polynomials that represent cohomology classes of Schubert cycles in flag varieties. They were introduced by Lascoux & Schützenberger (1982) and are named after Hermann Schubert.
In mathematics, and more specifically in the theory of C*-algebras, the noncommutative toriAθ, also known as irrational rotation algebras for irrational values of θ, form a family of noncommutative C*-algebras which generalize the algebra of continuous functions on the 2-torus. Many topological and geometric properties of the classical 2-torus have algebraic analogues for the noncommutative tori, and as such they are fundamental examples of a noncommutative space in the sense of Alain Connes.
In algebra, the Malvenuto–Poirier–Reutenauer Hopf algebra of permutations or MPR Hopf algebra is a Hopf algebra with a basis of all elements of all the finite symmetric groups Sn, and is a non-commutative analogue of the Hopf algebra of symmetric functions. It is both free as an algebra and graded-cofree as a graded coalgebra, so is in some sense as far as possible from being either commutative or cocommutative. It was introduced by Malvenuto & Reutenauer (1994) and studied by Poirier & Reutenauer (1995).
In mathematics, an exp algebra is a Hopf algebra Exp(G) constructed from an abelian group G, and is the universal ring R such that there is an exponential map from G to the group of the power series in R[[t]] with constant term 1. In other words the functor Exp from abelian groups to commutative rings is adjoint to the functor from commutative rings to abelian groups taking a ring to the group of formal power series with constant term 1.
Vladimir Solomonovich Retakh is a Russian-American mathematician who made important contributions to Noncommutative algebra and combinatorics among other areas.
In mathematics, a Hasse–Schmidt derivation is an extension of the notion of a derivation. The concept was introduced by Schmidt & Hasse (1937).
