Rational representation

Last updated

In mathematics, in the representation theory of algebraic groups, a linear representation of an algebraic group is said to be rational if, viewed as a map from the group to the general linear group, it is a rational map of algebraic varieties.

Mathematics Field of study concerning quantity, patterns and change

Mathematics includes the study of such topics as quantity, structure, space, and change.

Representation theory is a branch of mathematics that studies abstract algebraic structures by representing their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrices and the algebraic operations in terms of matrix addition and matrix multiplication. The algebraic objects amenable to such a description include groups, associative algebras and Lie algebras. The most prominent of these is the representation theory of groups, in which elements of a group are represented by invertible matrices in such a way that the group operation is matrix multiplication.

Algebraic group group that is an algebraic variety

In algebraic geometry, an algebraic group is a group that is an algebraic variety, such that the multiplication and inversion operations are given by regular maps on the variety.

Finite direct sums and products of rational representations are rational.

A rational module is a module that can be expressed as a sum (not necessarily direct) of rational representations.

Related Research Articles

In the mathematical field of representation theory, a weight of an algebra A over a field F is an algebra homomorphism from A to F, or equivalently, a one-dimensional representation of A over F. It is the algebra analogue of a multiplicative character of a group. The importance of the concept, however, stems from its application to representations of Lie algebras and hence also to representations of algebraic and Lie groups. In this context, a weight of a representation is a generalization of the notion of an eigenvalue, and the corresponding eigenspace is called a weight space.

Representation of a Lie group Group representation

In mathematics and theoretical physics, a representation of a Lie group is a linear action of a Lie group on a vector space. Equivalently, a representation is a smooth homomorphism of the group into the group of invertible operators on the vector space. Representations play an important role in the study of continuous symmetry. A great deal is known about such representations, a basic tool in their study being the use of the corresponding 'infinitesimal' representations of Lie algebras.

Lie algebra representation homomorphism of Lie algebras whose codomain is the endomorphism algebra of a vector space

In the mathematical field of representation theory, a Lie algebra representation or representation of a Lie algebra is a way of writing a Lie algebra as a set of matrices in such a way that the Lie bracket is given by the commutator. In the language of physics, one looks for a vector space together with a collection of operators on satisfying some fixed set of commutation relations, such as the relations satisfied by the angular momentum operators.

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 quiver is a directed graph where loops and multiple arrows between two vertices are allowed, i.e. a multidigraph. They are commonly used in representation theory: a representation V of a quiver assigns a vector space V(x) to each vertex x of the quiver and a linear map V(a) to each arrow a.

In mathematics, and in particular group representation theory, the induced representation is one of the major general operations for passing from a representation of a subgroup H to a representation of the (whole) group G itself. Given a representation of H, the induced representation is, in a sense, the "most general" representation of G that extends the given one. Since it is often easier to find representations of the smaller group H than of G, the operation of forming induced representations is an important tool to construct new representations.

In mathematics, and in particular the theory of group representations, the regular representation of a group G is the linear representation afforded by the group action of G on itself by translation.

Irreducible representation Type of group and algebra representation

In mathematics, specifically in the representation theory of groups and algebras, an irreducible representation or irrep of an algebraic structure is a nonzero representation that has no proper subrepresentation closed under the action of .

In mathematics, equivariance is a form of symmetry for functions from one symmetric space to another. A function is said to be an equivariant map when its domain and codomain are acted on by the same symmetry group, and when the function commutes with the action of the group. That is, applying a symmetry transformation and then computing the function produces the same result as computing the function and then applying the transformation.

In mathematics, Schur's lemma is an elementary but extremely useful statement in representation theory of groups and algebras. In the group case it says that if M and N are two finite-dimensional irreducible representations of a group G and φ is a linear transformation from M to N that commutes with the action of the group, then either φ is invertible, or φ = 0. An important special case occurs when M = N and φ is a self-map. The lemma is named after Issai Schur who used it to prove Schur orthogonality relations and develop the basics of the representation theory of finite groups. Schur's lemma admits generalisations to Lie groups and Lie algebras, the most common of which is due to Jacques Dixmier.

In mathematical field of representation theory, a quaternionic representation is a representation on a complex vector space V with an invariant quaternionic structure, i.e., an antilinear equivariant map

In the mathematical field of representation theory a real representation is usually a representation on a real vector space U, but it can also mean a representation on a complex vector space V with an invariant real structure, i.e., an antilinear equivariant map

Modular representation theory is a branch of mathematics, and that part of representation theory that studies linear representations of finite groups over a field K of positive characteristic p, necessarily a prime number. As well as having applications to group theory, modular representations arise naturally in other branches of mathematics, such as algebraic geometry, coding theory, combinatorics and number theory.

Algebraic character is a formal expression attached to a module in representation theory of semisimple Lie algebras that generalizes the character of a finite-dimensional representation and is analogous to the Harish-Chandra character of the representations of semisimple Lie groups.

In mathematics, especially in the area of algebra known as representation theory, the representation ring of a group is a ring formed from all the finite-dimensional linear representations of the group. For a given group, the ring will depend on the base field of the representations. The case of complex coefficients is the most developed, but the case of algebraically closed fields of characteristic p where the Sylow p-subgroups are cyclic is also theoretically approachable.

In mathematics, Maschke's theorem, named after Heinrich Maschke, is a theorem in group representation theory that concerns the decomposition of representations of a finite group into irreducible pieces. Maschke's theorem allow one to make general conclusions about representations of a finite group G without actually computing them. It reduces the task of classifying all representations to a more manageable task of classifying irreducible representations, since when the theorem applies, any representation is a direct sum of irreducible pieces (constituents). Moreover, it follows from the Jordan–Hölder theorem that, while the decomposition into a direct sum of irreducible subrepresentations may not be unique, the irreducible pieces have well-defined multiplicities. In particular, a representation of a finite group over a field of characteristic zero is determined up to isomorphism by its character.

In mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, category theory, and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of simple objects, and simple objects are those that do not contain non-trivial proper sub-objects. The precise definitions of these words depends on the context.

This is a glossary of representation theory in mathematics.

References

<i>American Journal of Mathematics</i> scientific journal

The American Journal of Mathematics is a bimonthly mathematics journal published by the Johns Hopkins University Press.

Johns Hopkins University Press publisher

The Johns Hopkins University Press is the publishing division of Johns Hopkins University. It was founded in 1878 and is the oldest continuously running university press in the United States. The Press publishes books, journals, and electronic databases. Considering all its units it is a contender for America's largest university press. Its headquarters are in Charles Village, Baltimore.

Digital object identifier Character string used as a permanent identifier for a digital object, in a format controlled by the International DOI Foundation

In computing, a Digital Object Identifier or DOI is a persistent identifier or handle used to identify objects uniquely, standardized by the International Organization for Standardization (ISO). An implementation of the Handle System, DOIs are in wide use mainly to identify academic, professional, and government information, such as journal articles, research reports and data sets, and official publications though they also have been used to identify other types of information resources, such as commercial videos.