Noncommutative Symmetric Function
   HOME
*





Noncommutative Symmetric Function
In mathematics, the noncommutative symmetric functions form a Hopf algebra NSymm analogous to the Hopf algebra of symmetric functions. The Hopf algebra NSymm was introduced by Israel M. Gelfand, Daniel Krob, Alain Lascoux, Bernard Leclerc, Vladimir Retakh, and Jean-Yves Thibon. It is noncommutative but cocommutative graded Hopf algebra. It has the Hopf algebra of symmetric functions as a quotient, and is a subalgebra of the Hopf algebra of permutations, and is the graded dual of the Hopf algebra of quasisymmetric function. Over the rational numbers it is isomorphic as a Hopf algebra to the universal enveloping algebra of the free Lie algebra on countably many variables. Definition The underlying algebra of the Hopf algebra of noncommutative symmetric functions is the free ring Z⟨''Z''1, ''Z''2,...⟩ generated by non-commuting variables ''Z''1, ''Z''2, ... The coproduct takes ''Z''''n'' to Σ ''Z''''i'' ⊗ ''Z''''n''–''i'', where ''Z'' ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Hopf Algebra
Hopf is a German surname. Notable people with the surname include: *Eberhard Hopf (1902–1983), Austrian mathematician *Hans Hopf (1916–1993), German tenor *Heinz Hopf (1894–1971), German mathematician *Heinz Hopf (actor) (1934–2001), Swedish actor *Ludwig Hopf (1884–1939), German physicist *Maria Hopf Maria Hopf (13 September 1913 – 24 August 2008) was a pioneering archaeobotanist, based at the RGZM, Mainz. Career Hopf studied botany from 1941–44, receiving her doctorate in 1947 on the subject of soil microbes. She then worked in phyto ... (1914-2008), German botanist and archaeologist {{surname, Hopf German-language surnames ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Hopf Algebra Of Symmetric Functions
In algebra and in particular in algebraic combinatorics, the ring of symmetric functions is a specific limit of the rings of symmetric polynomials in ''n'' indeterminates, as ''n'' goes to infinity. This ring serves as universal structure in which relations between symmetric polynomials can be expressed in a way independent of the number ''n'' of indeterminates (but its elements are neither polynomials nor functions). Among other things, this ring plays an important role in the representation theory of the symmetric group. The ring of symmetric functions can be given a coproduct and a bilinear form making it into a positive selfadjoint graded Hopf algebra that is both commutative and cocommutative. Symmetric polynomials The study of symmetric functions is based on that of symmetric polynomials. In a polynomial ring in some finite set of indeterminates, a polynomial is called ''symmetric'' if it stays the same whenever the indeterminates are permuted in any way. More formally, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Israel M
Israel (; he, יִשְׂרָאֵל, ; ar, إِسْرَائِيل, ), officially the State of Israel ( he, מְדִינַת יִשְׂרָאֵל, label=none, translit=Medīnat Yīsrāʾēl; ), is a country in Western Asia. It is situated on the southeastern shore of the Mediterranean Sea and the northern shore of the Red Sea, and shares borders with Lebanon to the north, Syria to the northeast, Jordan to the east, and Egypt to the southwest. Israel also is bordered by the Palestinian territories of the West Bank and the Gaza Strip to the east and west, respectively. Tel Aviv is the economic and technological center of the country, while its seat of government is in its proclaimed capital of Jerusalem, although Israeli sovereignty over East Jerusalem is unrecognized internationally. The land held by present-day Israel witnessed some of the earliest human occupations outside Africa and was among the earliest known sites of agriculture. It was inhabited by the Canaanites ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Alain Lascoux
Alain Lascoux (17 October 1944 – 20 October 2013) was a French mathematician at the University of Marne la Vallée and Nankai University. His research was primarily in algebraic combinatorics, particularly Hecke algebras and Young tableaux. Lascoux earned his doctorate in 1977 from the University of Paris. He worked for twenty years with Marcel-Paul Schützenberger on properties of the symmetric group. They wrote many articles together and had a major impact on the development of algebraic combinatorics. They succeeded in giving a combinatorial understanding of various algebraic and geometric questions in representation theory. Thus they introduced many new objects related to both fields like Schubert polynomials and Grothendieck polynomials. They were also the first to define the crystal graph structure on Young tableaux (though not under this name). Lascoux was an invited speaker at the 1998 International Congress of Mathematicians in Berlin, Germany Germany, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Vladimir Retakh
Vladimir Solomonovich Retakh (russian: Ретах Владимир Соломонович; 20 May 1948) is a Russian-American mathematician who made important contributions to Noncommutative algebra and combinatorics among other areas. Biography Retakh graduated in 1970 from the Moscow State Pedagogical University. Beginning as an undergraduate Retakh regularly attended lectures and seminars at the Moscow State University most notably the Gelfand seminars. He obtained his PhD in 1973 under the mentorship of Dmitrii Abramovich Raikov. He joined the Gelfand group in 1986. His first position was at the central Research Institute for Engineering Buildings and later obtained his first academic position at the Council for Cybernetics of the Soviet Academy of Sciences in 1989. While at the Council for Cybernetics of the Soviet Academy of Sciences in 1990, Retakh had started working with Gelfand on their new program on Noncommutative determinants. Prior to immigrating to the US in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Advances In Mathematics
''Advances in Mathematics'' is a peer-reviewed scientific journal covering research on pure mathematics. It was established in 1961 by Gian-Carlo Rota. The journal publishes 18 issues each year, in three volumes. At the origin, the journal aimed at publishing articles addressed to a broader "mathematical community", and not only to mathematicians in the author's field. Herbert Busemann writes, in the preface of the first issue, "The need for expository articles addressing either all mathematicians or only those in somewhat related fields has long been felt, but little has been done outside of the USSR. The serial publication ''Advances in Mathematics'' was created in response to this demand." Abstracting and indexing The journal is abstracted and indexed in:Abstracting and Indexing
*

Symmetric Function
In mathematics, a function of n variables is symmetric if its value is the same no matter the order of its arguments. For example, a function f\left(x_1,x_2\right) of two arguments is a symmetric function if and only if f\left(x_1,x_2\right) = f\left(x_2,x_1\right) for all x_1 and x_2 such that \left(x_1,x_2\right) and \left(x_2,x_1\right) are in the domain of f. The most commonly encountered symmetric functions are polynomial functions, which are given by the symmetric polynomials. A related notion is alternating polynomials, which change sign under an interchange of variables. Aside from polynomial functions, tensors that act as functions of several vectors can be symmetric, and in fact the space of symmetric k-tensors on a vector space V is isomorphic to the space of homogeneous polynomials of degree k on V. Symmetric functions should not be confused with even and odd functions, which have a different sort of symmetry. Symmetrization Given any function f in n variables wi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Hopf Algebra Of Permutations
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 ''S''''n'', 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 and studied by . Definition The underlying free abelian group of the MPR algebra has a basis consisting of the disjoint union of the symmetric groups ''S''''n'' for ''n'' = 0, 1, 2, .... , which can be thought of as permutations. The identity 1 is the empty permutation, and the counit takes the empty permutation to 1 and the others to 0. The product of two permutations (''a''1,...,''a''''m'') and (''b''1,...,''b''''n'') in MPR is given by the shuffle product (''a''1,...,''a''''m'') ''ш'' (''m'' + ''b''1,...,''m'' +&nbs ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Quasisymmetric Function
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 (but its elements are neither polynomials nor functions). Definitions The ring of quasisymmetric functions, denoted QSym, can be defined over any commutative ring ''R'' such as the integers. Quasisymmetric functions are power series of bounded degree in variables x_1,x_2,x_3, \dots with coefficients in ''R'', which are shift invariant in the sense that the coefficient of the monomial x_1^x_2^ ...
[...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 Gelfand–N ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Hasse–Schmidt Derivation
In mathematics, a Hasse–Schmidt derivation is an extension of the notion of a derivation. The concept was introduced by . Definition For a (not necessarily commutative nor associative) ring ''B'' and a ''B''-algebra ''A'', a Hasse–Schmidt derivation is a map of ''B''-algebras :D: A \to A ![t!/math> taking values in the ring of formal power series">">![t<_a>!.html" ;"title=".html" ;"title="![t">![t!">.html" ;"title="![t">![t!/math> taking values in the ring of formal power series with coefficients in ''A''. This definition is found in several places, such as , which also contains the following example: for ''A'' being the ring of infinitely differentiable functions (defined on, say, R''n'') and ''B''=R, the map :f \mapsto \exp\left(t \frac d \right) f(x) = f + t \frac + \frac 2 \frac + \cdots is a Hasse–Schmidt derivation, as follows from applying the Leibniz rule iteratedly. Equivalent characterizations shows that a Hasse–Schmidt derivation is equiv ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Group-like Element
In mathematics, coalgebras or cogebras are structures that are dual (in the category-theoretic sense of reversing arrows) 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 (vector space) duality, gives rise to an algebra, but not in general the other way. In finite dimensions, this duality goes in both directions ( see below). Coalgebras occur naturally in a number of contexts (for example, representation theory, universal enveloping algebras and group schemes). There are also F-coalgebras, with important applications in computer science. Informal discussion One frequently recurring example of coalgebras occurs in representation theory, and in particular, in the representation theory of the rotation group. A primary task, of practical use in physics, is to obtain combinations of systems with different states of angular ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]