|
Plactic Monoid
In mathematics, the plactic monoid is the monoid of all words in the alphabet of positive integers modulo Knuth equivalence. Its elements can be identified with semistandard Young tableaux. It was discovered by (who called it the tableau algebra), using an operation given by in his study of the longest increasing subsequence of a permutation. It was named the "''monoïde plaxique''" by , who allowed any totally ordered alphabet in the definition. The etymology of the word "''plaxique''" is unclear; it may refer to plate tectonics ("tectonique des plaques" in French), as elementary relations that generate the equivalence allow conditional commutation of generator symbols: they can sometimes slide across each other (in apparent analogy to tectonic plates), but not freely. Definition The plactic monoid over some totally ordered alphabet (often the positive integers) is the monoid with the following presentation: *The generators are the letters of the alphabet *The relatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monoid
In abstract algebra, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being . Monoids are semigroups with identity. Such algebraic structures occur in several branches of mathematics. The functions from a set into itself form a monoid with respect to function composition. More generally, in category theory, the morphisms of an object to itself form a monoid, and, conversely, a monoid may be viewed as a category with a single object. In computer science and computer programming, the set of strings built from a given set of characters is a free monoid. Transition monoids and syntactic monoids are used in describing finite-state machines. Trace monoids and history monoids provide a foundation for process calculi and concurrent computing. In theoretical computer science, the study of monoids is fundamental for automata theory (Krohn–Rhodes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jeu De Taquin
In the mathematical field of combinatorics, jeu de taquin is a construction due to which defines an equivalence relation on the set of skew standard Young tableaux. A jeu de taquin slide is a transformation where the numbers in a tableau are moved around in a way similar to how the pieces in the fifteen puzzle move. Two tableaux are jeu de taquin equivalent if one can be transformed into the other via a sequence of such slides. "Jeu de taquin" (literally "teasing game") is the French name for the fifteen puzzle. Definition of a jeu de taquin slide Given a skew standard Young tableau ''T'' of skew shape \lambda / \mu, pick an adjacent empty cell ''c'' that can be added to the skew diagram \lambda\setminus\mu; what this means is that ''c'' must share at least one edge with some cell in ''T'', and \ \cup \lambda\setminus\mu must also be a skew diagram. There are two kinds of slide, depending on whether ''c'' lies to the upper left of ''T'' or to the lower right. Suppose to be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second-largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, ... [...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: * [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pacific Journal Of Mathematics
The Pacific Journal of Mathematics is a mathematics research journal supported by several universities and research institutes, and currently published on their behalf by Mathematical Sciences Publishers, a non-profit academic publishing organisation, and the University of California, Berkeley. It was founded in 1951 by František Wolf and Edwin F. Beckenbach and has been published continuously since, with five two-issue volumes per year and 12 issues per year. Full-text PDF versions of all journal articles are available on-line via the journal's website with a subscription. The journal is incorporated as a 501(c)(3) organization A 501(c)(3) organization is a United States corporation, Trust (business), trust, unincorporated association or other type of organization exempt from federal income tax under section 501(c)(3) of Title 26 of the United States Code. It is one of .... The 255-page proof of the odd order theorem, by Walter Feit and John Griggs Thompson, was publi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press was the university press of the University of Cambridge. Granted a letters patent by King Henry VIII in 1534, it was the oldest university press in the world. Cambridge University Press merged with Cambridge Assessment to form Cambridge University Press and Assessment under Queen Elizabeth II's approval in August 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it published over 50,000 titles by authors from over 100 countries. Its publications include more than 420 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also published Bibles, runs a bookshop in Cambridge, sells through Amazon, and has a conference venues business in Cambridge at the Pitt Building and the Sir Geoffrey Cass Sports and Social Centre. It also served as the King's Printer. Cambridge University Press, as part of the University of Cambridge, was a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chinese Monoid
In mathematics, the Chinese monoid is a monoid generated by a totally ordered alphabet with the relations ''cba'' = ''cab'' = ''bca'' for every ''a'' ≤ ''b'' ≤ ''c''. An algorithm similar to Schensted's algorithm yields characterisation of the equivalence classes and a cross-section theorem. It was discovered by during their classification of monoids with growth similar to that of the plactic monoid, and studied in detail by Julien Cassaigne, Marc Espie, Daniel Krob, Jean-Christophe Novelli, and Florent Hivert in 2001. The Chinese monoid has a regular language cross-section : a^* \ (ba)^*b^* \ (ca)^*(cb)^* c^* \cdots and hence polynomial growth of dimension \frac. The Chinese monoid equivalence class of a permutation is the preimage of an involution under the map w \mapsto w \circ w^ where \circ denotes the product in the Iwahori-Hecke algebra with q_s = 0. See also * Plactic monoid In mathematics, the plactic monoid is the monoid of all words in the alphabet of po ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generating Function
In mathematics, a generating function is a representation of an infinite sequence of numbers as the coefficients of a formal power series. Generating functions are often expressed in closed form (rather than as a series), by some expression involving operations on the formal series. There are various types of generating functions, including ordinary generating functions, exponential generating functions, Lambert series, Bell series, and Dirichlet series. Every sequence in principle has a generating function of each type (except that Lambert and Dirichlet series require indices to start at 1 rather than 0), but the ease with which they can be handled may differ considerably. The particular generating function, if any, that is most useful in a given context will depend upon the nature of the sequence and the details of the problem being addressed. Generating functions are sometimes called generating series, in that a series of terms can be said to be the generator of its sequence ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelianization
In mathematics, more specifically in abstract algebra, the commutator subgroup or derived subgroup of a group is the subgroup generated by all the commutators of the group. The commutator subgroup is important because it is the smallest normal subgroup such that the quotient group of the original group by this subgroup is abelian. In other words, G/N is abelian if and only if N contains the commutator subgroup of G. So in some sense it provides a measure of how far the group is from being abelian; the larger the commutator subgroup is, the "less abelian" the group is. Commutators For elements g and h of a group ''G'', the commutator of g and h is ,h= g^h^gh. The commutator ,h/math> is equal to the identity element ''e'' if and only if gh = hg , that is, if and only if g and h commute. In general, gh = hg ,h/math>. However, the notation is somewhat arbitrary and there is a non-equivalent variant definition for the commutator that has the inverses on the right hand side of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monoid Ring
In abstract algebra, a monoid ring is a ring constructed from a ring and a monoid, just as a group ring is constructed from a ring and a group. Definition Let ''R'' be a ring and let ''G'' be a monoid. The monoid ring or monoid algebra of ''G'' over ''R'', denoted ''R'' 'G''or ''RG'', is the set of formal sums \sum_ r_g g, where r_g \in R for each g \in G and ''r''''g'' = 0 for all but finitely many ''g'', equipped with coefficient-wise addition, and the multiplication in which the elements of ''R'' commute with the elements of ''G''. More formally, ''R'' 'G''is the free ''R''-module on the set ''G'', endowed with ''R''-linear multiplication defined on the base elements by ''g·h'' := ''gh'', where the left-hand side is understood as the multiplication in ''R'' 'G''and the right-hand side is understood in ''G''. Alternatively, one can identify the element g \in R with the function ''eg'' that maps ''g'' to 1 and every other element of ''G'' to 0. This way, ''R'' 'G''is identifi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Knuth Equivalence
In mathematics, the plactic monoid is the monoid of all words in the alphabet of positive integers modulo Knuth equivalence. Its elements can be identified with semistandard Young tableaux. It was discovered by (who called it the tableau algebra), using an operation given by in his study of the longest increasing subsequence of a permutation. It was named the "''monoïde plaxique''" by , who allowed any totally ordered alphabet in the definition. The etymology of the word "''plaxique''" is unclear; it may refer to plate tectonics ("tectonique des plaques" in French), as elementary relations that generate the equivalence allow conditional commutation of generator symbols: they can sometimes slide across each other (in apparent analogy to tectonic plates), but not freely. Definition The plactic monoid over some totally ordered alphabet (often the positive integers) is the monoid with the following presentation: *The generators are the letters of the alphabet *The relations ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
