|
Total Algebra
In abstract algebra, the total algebra of a monoid is a generalization of the monoid ring that allows for infinite sums of elements of a ring. Suppose that ''S'' is a monoid with the property that, for all s\in S, there exist only finitely many ordered pairs (t,u)\in S\times S for which tu=s. Let ''R'' be a ring. Then the total algebra of ''S'' over ''R'' is the set R^S of all functions \alpha:S\to R with the addition law given by the (pointwise) operation: :(\alpha+\beta)(s)=\alpha(s)+\beta(s) and with the multiplication law given by: :(\alpha\cdot\beta)(s) = \sum_\alpha(t)\beta(u). The sum on the right-hand side has finite support, and so is well-defined in ''R''. These operations turn R^S into a ring. There is an embedding of ''R'' into R^S, given by the constant functions, which turns R^S into an ''R''-algebra. An example is the ring of formal power series, where the monoid ''S'' is the natural numbers. The product is then the Cauchy product In mathematics, more specific ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Abstract Algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''abstract algebra'' was coined in the early 20th century to distinguish this area of study from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning. Algebraic structures, with their associated homomorphisms, form mathematical categories. Category theory is a formalism that allows a unified way for expressing properties and constructions that are similar for various structures. Universal algebra is a related subject that studies types of algebraic structures as single objects. For example, the structure of groups is a single object in universal algebra, which is called the '' variety of groups''. History Before the nineteenth century, alge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Monoid
In abstract algebra, a branch of mathematics, 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 0. 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 ... [...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 set of functions such that is finite, equipped with addition of functions, and with multiplication defined by : (\phi \psi)(g) = \sum_ \phi(k) \psi(\ell). If ''G'' is a group, then ''R'' 'G''is also called the group ring of ''G'' over ''R''. Universal property Given ''R'' and ''G'', there is a ring homomorphism sending each ''r'' to ''r''1 (where 1 is the identity element of ''G''), and a monoid homomorphism (w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Series (mathematics)
In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, mathematical analysis. Series are used in most areas of mathematics, even for studying finite structures (such as in combinatorics) through generating functions. In addition to their ubiquity in mathematics, infinite series are also widely used in other quantitative disciplines such as physics, computer science, statistics and finance. For a long time, the idea that such a potentially infinite summation could produce a finite result was considered paradoxical. This paradox was resolved using the concept of a limit during the 17th century. Zeno's paradox of Achilles and the tortoise illustrates this counterintuitive property of infinite sums: Achilles runs after a tortoise, but when he reaches the position of the tortoise at the beginn ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Formal Power Series
In mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial sums, etc.). A formal power series is a special kind of formal series, whose terms are of the form a x^n where x^n is the nth power of a variable x (n is a non-negative integer), and a is called the coefficient. Hence, power series can be viewed as a generalization of polynomials, where the number of terms is allowed to be infinite, with no requirements of convergence. Thus, the series may no longer represent a function of its variable, merely a formal sequence of coefficients, in contrast to a power series, which defines a function by taking numerical values for the variable within a radius of convergence. In a formal power series, the x^n are used only as position-holders for the coefficients, so that the coefficient of x^5 is the fift ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Natural Numbers
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country"). Numbers used for counting are called '' cardinal numbers'', and numbers used for ordering are called ''ordinal numbers''. Natural numbers are sometimes used as labels, known as ''nominal numbers'', having none of the properties of numbers in a mathematical sense (e.g. sports jersey numbers). Some definitions, including the standard ISO 80000-2, begin the natural numbers with , corresponding to the non-negative integers , whereas others start with , corresponding to the positive integers Texts that exclude zero from the natural numbers sometimes refer to the natural numbers together with zero as the whole numbers, while in other writings, that term is used instead for the integers (including negative integers). The natural numbers form a set. Many other number sets are built by succ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Cauchy Product
In mathematics, more specifically in mathematical analysis, the Cauchy product is the discrete convolution of two infinite series. It is named after the French mathematician Augustin-Louis Cauchy. Definitions The Cauchy product may apply to infinite series or power series. When people apply it to finite sequences or finite series, that can be seen merely as a particular case of a product of series with a finite number of non-zero coefficients (see discrete convolution). Convergence issues are discussed in the next section. Cauchy product of two infinite series Let \sum_^\infty a_i and \sum_^\infty b_j be two infinite series with complex terms. The Cauchy product of these two infinite series is defined by a discrete convolution as follows: :\left(\sum_^\infty a_i\right) \cdot \left(\sum_^\infty b_j\right) = \sum_^\infty c_k where c_k=\sum_^k a_l b_. Cauchy product of two power series Consider the following two power series :\sum_^\infty a_i x^i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Nicolas Bourbaki
Nicolas Bourbaki () is the collective pseudonym of a group of mathematicians, predominantly French alumni of the École normale supérieure - PSL (ENS). Founded in 1934–1935, the Bourbaki group originally intended to prepare a new textbook in analysis. Over time the project became much more ambitious, growing into a large series of textbooks published under the Bourbaki name, meant to treat modern pure mathematics. The series is known collectively as the ''Éléments de mathématique'' (''Elements of Mathematics''), the group's central work. Topics treated in the series include set theory, abstract algebra, topology, analysis, Lie groups and Lie algebras. Bourbaki was founded in response to the effects of the First World War which caused the death of a generation of French mathematicians; as a result, young university instructors were forced to use dated texts. While teaching at the University of Strasbourg, Henri Cartan complained to his colleague André Weil of the inadequac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |