|
Polynomial Functor
In algebra, a polynomial functor is an endofunctor on the category \mathcal of finite-dimensional vector spaces that depends polynomially on vector spaces. For example, the symmetric powers V \mapsto \operatorname^n(V) and the exterior powers V \mapsto \wedge^n(V) are polynomial functors from \mathcal to \mathcal; these two are also Schur functors. The notion appears in representation theory as well as category theory (the calculus of functors). In particular, the category of homogeneous polynomial functors of degree ''n'' is equivalent to the category of finite-dimensional representations of the symmetric group S_n over a field of characteristic zero. Definition Let ''k'' be a field of characteristic zero and \mathcal the category of finite-dimensional ''k''-vector spaces and ''k''-linear maps. Then an endofunctor F\colon \mathcal \to \mathcal is a ''polynomial functor'' if the following equivalent conditions hold: *For every pair of vector spaces ''X'', ''Y'' in \mathcal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Endofunctor
In mathematics, specifically category theory, a functor is a mapping between 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 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 linguistic context; see function word. Definition Let ''C'' and ''D'' be categories. A functor ''F'' from ''C'' to ''D'' is a mapping that * associates each object X in ''C'' to an object F(X) in ''D'', * associates each morphism f \colon X \to Y in ''C'' to a morphism F(f) \colon F(X) \to F(Y) in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set (mathematics), set on which addition, subtraction, multiplication, and division (mathematics), division are defined and behave as the corresponding operations on rational number, rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as field of rational functions, fields of rational functions, algebraic function fields, algebraic number fields, and p-adic number, ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many element (set), elements. The theory of fields proves that angle trisection and squaring the circle cannot be done with a compass and straighte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homogeneous Function
In mathematics, a homogeneous function is a function of several variables such that the following holds: If each of the function's arguments is multiplied by the same scalar (mathematics), scalar, then the function's value is multiplied by some power of this scalar; the power is called the degree of homogeneity, or simply the ''degree''. That is, if is an integer, a function of variables is homogeneous of degree if :f(sx_1,\ldots, sx_n)=s^k f(x_1,\ldots, x_n) for every x_1, \ldots, x_n, and s\ne 0. This is also referred to a ''th-degree'' or ''th-order'' homogeneous function. For example, a homogeneous polynomial of degree defines a homogeneous function of degree . The above definition extends to functions whose domain of a function, domain and codomain are vector spaces over a Field (mathematics), field : a function f : V \to W between two -vector spaces is ''homogeneous'' of degree k if for all nonzero s \in F and v \in V. This definition is often further generalized to f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coefficient
In mathematics, a coefficient is a Factor (arithmetic), multiplicative factor involved in some Summand, term of a polynomial, a series (mathematics), series, or any other type of expression (mathematics), expression. It may be a Dimensionless quantity, number without units, in which case it is known as a numerical factor. It may also be a constant (mathematics), constant with units of measurement, in which it is known as a constant multiplier. In general, coefficients may be any mathematical expression, expression (including Variable (mathematics), variables such as , and ). When the combination of variables and constants is not necessarily involved in a product (mathematics), product, it may be called a ''parameter''. For example, the polynomial 2x^2-x+3 has coefficients 2, −1, and 3, and the powers of the variable x in the polynomial ax^2+bx+c have coefficient parameters a, b, and c. A , also known as constant term or simply constant, is a quantity either implicitly attach ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polynomial Mapping
In algebra, a polynomial map or polynomial mapping P: V \to W between vector spaces over an infinite field ''k'' is a polynomial in linear functionals with coefficients in ''k''; i.e., it can be written as :P(v) = \sum_ \lambda_(v) \cdots \lambda_(v) w_ where the \lambda_: V \to k are linear functionals and the w_ are vectors in ''W''. For example, if W = k^m, then a polynomial mapping can be expressed as P(v) = (P_1(v), \dots, P_m(v)) where the P_i are (scalar-valued) polynomial functions on ''V''. (The abstract definition has an advantage that the map is manifestly free of a choice of basis.) When ''V'', ''W'' are finite-dimensional vector spaces and are viewed as algebraic varieties, then a polynomial mapping is precisely a morphism of algebraic varieties. One fundamental outstanding question regarding polynomial mappings is the Jacobian conjecture, which concerns the sufficiency of a polynomial mapping to be invertible. See also *Polynomial functor References *Claudio Pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Map
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that preserves the operations of vector addition and scalar multiplication. The same names and the same definition are also used for the more general case of modules over a ring; see Module homomorphism. If a linear map is a bijection then it is called a . In the case where V = W, a linear map is called a linear endomorphism. Sometimes the term refers to this case, but the term "linear operator" can have different meanings for different conventions: for example, it can be used to emphasize that V and W are real vector spaces (not necessarily with V = W), or it can be used to emphasize that V is a function space, which is a common convention in functional analysis. Sometimes the term ''linear function'' has the same meaning as ''linear m ... [...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 (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called scalar (mathematics), ''scalars''. The operations of vector addition and scalar multiplication must satisfy certain requirements, called ''vector axioms''. Real vector spaces and complex vector spaces are kinds of vector spaces based on different kinds of scalars: real numbers and complex numbers. Scalars can also be, more generally, elements of any field (mathematics), field. Vector spaces generalize Euclidean vectors, which allow modeling of Physical quantity, physical quantities (such as forces and velocity) that have not only a Magnitude (mathematics), magnitude, but also a Orientation (geometry), direction. The concept of vector spaces is fundamental for linear algebra, together with the concept of matrix (mathematics), matrices, which ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category (mathematics)
In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets and whose arrows are functions. ''Category theory'' is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent. Virtually every branch of modern mathematics can be described in terms of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics. As such, category theory provides an alternative foundation for mathematics to set theory and other proposed axiomatic foundations. In general, the objects and arrows may be abstract entities of any kind, and the n ... [...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] |
Symmetric Group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group \mathrm_n defined over a finite set of n symbols consists of the permutations that can be performed on the n symbols. Since there are n! (n factorial) such permutation operations, the order (number of elements) of the symmetric group \mathrm_n is n!. Although symmetric groups can be defined on infinite sets, this article focuses on the finite symmetric groups: their applications, their elements, their conjugacy classes, a finite presentation, their subgroups, their automorphism groups, and their representation theory. For the remainder of this article, "symmetric group" will mean a symmetric group on a finite set. The symmetric group is important to diverse areas of mathematics such as Galois theory, invariant theory, the re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Of Vector Spaces
In algebra, given a ring ''R'', the category of left modules over ''R'' is the category whose objects are all left modules over ''R'' and whose morphisms are all module homomorphisms between left ''R''-modules. For example, when ''R'' is the ring of integers Z, it is the same thing as the category of abelian groups. The category of right modules is defined in a similar way. One can also define the category of bimodules over a ring ''R'' but that category is equivalent to the category of left (or right) modules over the enveloping algebra of ''R'' (or over the opposite of that). Note: Some authors use the term module category for the category of modules. This term can be ambiguous since it could also refer to a category with a monoidal-category action. Properties The categories of left and right modules are abelian categories. These categories have enough projectives and enough injectives. Mitchell's embedding theorem states every abelian category arises as a full subcate ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Of Representations
In representation theory, the category of representations of some algebraic structure has the representations of as objects and equivariant maps as morphisms between them. One of the basic thrusts of representation theory is to understand the conditions under which this category is semisimple; i.e., whether an object decomposes into simple objects (see Maschke's theorem for the case of finite groups). The Tannakian formalism gives conditions under which a group ''G'' may be recovered from the category of representations of it together with the forgetful functor to the category of vector spaces. The Grothendieck ring of the category of finite-dimensional representations of a group ''G'' is called the representation ring of ''G''. Definitions Depending on the types of representations one wants to consider, it is typical to use slightly different definitions. For a finite group and a field , the category of representations of over has * Objects: Pairs (, ) of ve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
