|
Comodule
In mathematics, a comodule or corepresentation is a concept dual to a module. The definition of a comodule over a coalgebra is formed by dualizing the definition of a module over an associative algebra. Formal definition Let ''K'' be a field, and ''C'' be a coalgebra over ''K''. A (right) comodule over ''C'' is a ''K''-vector space ''M'' together with a linear map :\rho\colon M \to M \otimes C such that # (\mathrm \otimes \Delta) \circ \rho = (\rho \otimes \mathrm) \circ \rho # (\mathrm \otimes \varepsilon) \circ \rho = \mathrm, where Δ is the comultiplication for ''C'', and ε is the counit. Note that in the second rule we have identified M \otimes K with M\,. Examples * A coalgebra is a comodule over itself. * If ''M'' is a finite-dimensional module over a finite-dimensional ''K''-algebra ''A'', then the set of linear functions from ''A'' to ''K'' forms a coalgebra, and the set of linear functions from ''M'' to ''K'' forms a comodule over that coalgebra. * A graded vector s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Comodule
In mathematics, a comodule or corepresentation is a concept dual to a module. The definition of a comodule over a coalgebra is formed by dualizing the definition of a module over an associative algebra. Formal definition Let ''K'' be a field, and ''C'' be a coalgebra over ''K''. A (right) comodule over ''C'' is a ''K''-vector space ''M'' together with a linear map :\rho\colon M \to M \otimes C such that # (\mathrm \otimes \Delta) \circ \rho = (\rho \otimes \mathrm) \circ \rho # (\mathrm \otimes \varepsilon) \circ \rho = \mathrm, where Δ is the comultiplication for ''C'', and ε is the counit. Note that in the second rule we have identified M \otimes K with M\,. Examples * A coalgebra is a comodule over itself. * If ''M'' is a finite-dimensional module over a finite-dimensional ''K''-algebra ''A'', then the set of linear functions from ''A'' to ''K'' forms a coalgebra, and the set of linear functions from ''M'' to ''K'' forms a comodule over that coalgebra. * A graded vector s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graded Vector Space
In mathematics, a graded vector space is a vector space that has the extra structure of a '' grading'' or a ''gradation'', which is a decomposition of the vector space into a direct sum of vector subspaces. Integer gradation Let \mathbb be the set of non-negative integers. An \mathbb-graded vector space, often called simply a graded vector space without the prefix \mathbb, is a vector space together with a decomposition into a direct sum of the form : V = \bigoplus_ V_n where each V_n is a vector space. For a given ''n'' the elements of V_n are then called homogeneous elements of degree ''n''. Graded vector spaces are common. For example the set of all polynomials in one or several variables forms a graded vector space, where the homogeneous elements of degree ''n'' are exactly the linear combinations of monomials of degree ''n''. General gradation The subspaces of a graded vector space need not be indexed by the set of natural numbers, and may be indexed by the elem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Index Set
In mathematics, an index set is a set whose members label (or index) members of another set. For instance, if the elements of a set may be ''indexed'' or ''labeled'' by means of the elements of a set , then is an index set. The indexing consists of a surjective function from onto , and the indexed collection is typically called an '' (indexed) family'', often written as . Examples *An enumeration of a set gives an index set J \sub \N, where is the particular enumeration of . *Any countably infinite set can be (injectively) indexed by the set of natural numbers \N. *For r \in \R, the indicator function on is the function \mathbf_r\colon \R \to \ given by \mathbf_r (x) := \begin 0, & \mbox x \ne r \\ 1, & \mbox x = r. \end The set of all such indicator functions, \_ , is an uncountable set indexed by \mathbb. Other uses In computational complexity theory and cryptography, an index set is a set for which there exists an algorithm that can sample the set efficiently; e. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe was the first president and Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance, due to concerns about competing with the American Journal of Mathematics. The result was the ''Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influential in in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Divided Power Structure
In mathematics, specifically commutative algebra, a divided power structure is a way of making expressions of the form x^n / n! meaningful even when it is not possible to actually divide by n!. Definition Let ''A'' be a commutative ring with an ideal ''I''. A divided power structure (or PD-structure, after the French ''puissances divisées'') on ''I'' is a collection of maps \gamma_n : I \to A for ''n'' = 0, 1, 2, ... such that: #\gamma_0(x) = 1 and \gamma_1(x) = x for x \in I, while \gamma_n(x) \in I for ''n'' > 0. #\gamma_n(x + y) = \sum_^n \gamma_(x) \gamma_i(y) for x, y \in I. #\gamma_n(\lambda x) = \lambda^n \gamma_n(x) for \lambda \in A, x \in I. #\gamma_m(x) \gamma_n(x) = ((m, n)) \gamma_(x) for x \in I, where ((m, n)) = \frac is an integer. #\gamma_n(\gamma_m(x)) = C_ \gamma_(x) for x \in I and m > 0, where C_ = \frac is an integer. For convenience of notation, \gamma_n(x) is often written as x^ when it is clear what divided power structure is meant. The term ''divide ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Module Homomorphism
In algebra, a module homomorphism is a function between modules that preserves the module structures. Explicitly, if ''M'' and ''N'' are left modules over a ring ''R'', then a function f: M \to N is called an ''R''-''module homomorphism'' or an ''R''-''linear map'' if for any ''x'', ''y'' in ''M'' and ''r'' in ''R'', :f(x + y) = f(x) + f(y), :f(rx) = rf(x). In other words, ''f'' is a group homomorphism (for the underlying additive groups) that commutes with scalar multiplication. If ''M'', ''N'' are right ''R''-modules, then the second condition is replaced with :f(xr) = f(x)r. The preimage of the zero element under ''f'' is called the kernel of ''f''. The set of all module homomorphisms from ''M'' to ''N'' is denoted by \operatorname_R(M, N). It is an abelian group (under pointwise addition) but is not necessarily a module unless ''R'' is commutative. The composition of module homomorphisms is again a module homomorphism, and the identity map on a module is a module homomorphism. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring (mathematics)
In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ''ring'' is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series. Formally, a ''ring'' is an abelian group whose operation is called ''addition'', with a second binary operation called ''multiplication'' that is associative, is distributive over the addition operation, and has a multiplicative identity element. (Some authors use the term " " with a missing i to refer to the more general structure that omits this last requirement; see .) Whether a ring is commutative (that is, whether the order in which two elements are multiplied might change the result) has ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Cobordism
In mathematics, complex cobordism is a generalized cohomology theory related to cobordism of manifolds. Its spectrum is denoted by MU. It is an exceptionally powerful cohomology theory, but can be quite hard to compute, so often instead of using it directly one uses some slightly weaker theories derived from it, such as Brown–Peterson cohomology or Morava K-theory, that are easier to compute. The generalized homology and cohomology complex cobordism theories were introduced by using the Thom spectrum. Spectrum of complex cobordism The complex bordism MU^*(X) of a space X is roughly the group of bordism classes of manifolds over X with a complex linear structure on the stable normal bundle. Complex bordism is a generalized homology theory, corresponding to a spectrum MU that can be described explicitly in terms of Thom spaces as follows. The space MU(n) is the Thom space of the universal n-plane bundle over the classifying space BU(n) of the unitary group U(n). The natural inclu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Steenrod Algebra
In algebraic topology, a Steenrod algebra was defined by to be the algebra of stable cohomology operations for mod p cohomology. For a given prime number p, the Steenrod algebra A_p is the graded Hopf algebra over the field \mathbb_p of order p, consisting of all stable cohomology operations for mod p cohomology. It is generated by the Steenrod squares introduced by for p=2, and by the Steenrod reduced pth powers introduced in and the Bockstein homomorphism for p>2. The term "Steenrod algebra" is also sometimes used for the algebra of cohomology operations of a generalized cohomology theory. Cohomology operations A cohomology operation is a natural transformation between cohomology functors. For example, if we take cohomology with coefficients in a ring R, the cup product squaring operation yields a family of cohomology operations: :H^n(X;R) \to H^(X;R) :x \mapsto x \smile x. Cohomology operations need not be homomorphisms of graded rings; see the Cartan formula below. Thes ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Duality (mathematics)
In mathematics, a duality translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one-to-one fashion, often (but not always) by means of an involution operation: if the dual of is , then the dual of is . Such involutions sometimes have fixed points, so that the dual of is itself. For example, Desargues' theorem is self-dual in this sense under the ''standard duality in projective geometry''. In mathematical contexts, ''duality'' has numerous meanings. It has been described as "a very pervasive and important concept in (modern) mathematics" and "an important general theme that has manifestations in almost every area of mathematics". Many mathematical dualities between objects of two types correspond to pairings, bilinear functions from an object of one type and another object of the second type to some family of scalars. For instance, ''linear algebra duality'' corresponds in this way to bilinear maps from pairs of vecto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Function
In mathematics, the term linear function refers to two distinct but related notions: * In calculus and related areas, a linear function is a function (mathematics), function whose graph of a function, graph is a straight line, that is, a polynomial function of polynomial degree, degree zero or one. For distinguishing such a linear function from the other concept, the term Affine transformation, affine function is often used. * In linear algebra, mathematical analysis, and functional analysis, a linear function is a linear map. As a polynomial function In calculus, analytic geometry and related areas, a linear function is a polynomial of degree one or less, including the zero polynomial (the latter not being considered to have degree zero). When the function is of only one variable (mathematics), variable, it is of the form :f(x)=ax+b, where and are constant (mathematics), constants, often real numbers. The graph of a function, graph of such a function of one variable is a n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
