|
Simple Ring
In abstract algebra, a branch of mathematics, a simple ring is a non-zero ring that has no two-sided ideal besides the zero ideal and itself. In particular, a commutative ring is a simple ring if and only if it is a field. The center of a simple ring is necessarily a field. It follows that a simple ring is an associative algebra over this field. It is then called a simple algebra over this field. Several references (e.g., or ) require in addition that a simple ring be left or right Artinian (or equivalently semi-simple). Under such terminology a non-zero ring with no non-trivial two-sided ideals is called quasi-simple. Rings which are simple as rings but are not a simple module over themselves do exist: a full matrix ring over a field does not have any nontrivial two-sided ideals (since any ideal of M_n(R) is of the form M_n(I) with I an ideal of R), but it has nontrivial left ideals (for example, the sets of matrices which have some fixed zero columns). An immediate e ... [...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, which are set (mathematics), sets with specific operation (mathematics), operations acting on their elements. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathematics), fields, module (mathematics), modules, vector spaces, lattice (order), lattices, and algebra over a field, algebras over a field. The term ''abstract algebra'' was coined in the early 20th century to distinguish it from older parts of algebra, and more specifically from elementary algebra, the use of variable (mathematics), variables to represent numbers in computation and reasoning. The abstract perspective on algebra has become so fundamental to advanced mathematics that it is simply called "algebra", while the term "abstract algebra" is seldom used except in mathematical education, pedagogy. Algebraic structures, with their associated homomorphisms, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Joseph Wedderburn
Joseph Henry Maclagan Wedderburn FRSE FRS (2 February 1882 – 9 October 1948) was a Scottish mathematician, who taught at Princeton University for most of his career. A significant algebraist, he proved that a finite division algebra is a field ( Wedderburn's little theorem), and part of the Artin–Wedderburn theorem on simple algebras. He also worked on group theory and matrix algebra. His younger brother was the lawyer Ernest Wedderburn. Life Joseph Wedderburn was the tenth of fourteen children of Alexander Wedderburn of Pearsie, a physician, and Anne Ogilvie. He was educated at Forfar Academy then in 1895 his parents sent Joseph and his younger brother Ernest to live in Edinburgh with their paternal uncle, J. R. Maclagan Wedderburn, allowing them to attend George Watson's College. This house was at 3 Glencairn Crescent in the West End of the city. In 1898 Joseph entered the University of Edinburgh. In 1903, he published his first three papers, worked as an assistant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Brauer Algebra
In mathematics, a Brauer algebra is an associative algebra introduced by Richard Brauer in the context of the representation theory of the orthogonal group. It plays the same role that the symmetric group does for the representation theory of the general linear group in Schur–Weyl duality. Structure The Brauer algebra \mathfrak_n(\delta) is a \mathbbdelta/math>-algebra depending on the choice of a positive integer n. Here \delta is an indeterminate, but in practice \delta is often specialised to the dimension of the fundamental representation of an orthogonal group O(\delta). The Brauer algebra has the dimension :\dim\mathfrak_n(\delta) = \frac = (2n-1)!! = (2n-1)(2n-3)\cdots 5\cdot 3\cdot 1 Diagrammatic definition A basis of \mathfrak_n(\delta) consists of all pairings on a set of 2n elements X_1, ..., X_n, Y_1, ..., Y_n (that is, all perfect matchings of a complete graph K_: any two of the 2n elements may be matched to each other, regardless of their symbols). The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Central Simple Algebra
In ring theory and related areas of mathematics a central simple algebra (CSA) over a field ''K'' is a finite-dimensional associative ''K''-algebra ''A'' that is simple, and for which the center is exactly ''K''. (Note that ''not'' every simple algebra is a central simple algebra over its center: for instance, if ''K'' is a field of characteristic 0, then the Weyl algebra K ,\partial_X/math> is a simple algebra with center ''K'', but is ''not'' a central simple algebra over ''K'' as it has infinite dimension as a ''K''-module.) For example, the complex numbers C form a CSA over themselves, but not over the real numbers R (the center of C is all of C, not just R). The quaternions H form a 4-dimensional CSA over R, and in fact represent the only non-trivial element of the Brauer group of the reals (see below). Given two central simple algebras ''A'' ~ ''M''(''n'',''S'') and ''B'' ~ ''M''(''m'',''T'') over the same field ''F'', ''A'' and ''B'' are called ''similar'' (or '' Brauer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Wedderburn–Artin Theorem
In algebra, the Wedderburn–Artin theorem is a classification theorem for semisimple rings and semisimple algebras. The theorem states that an (Artinian) semisimple ring ''R'' is isomorphic to a product of finitely many -by- matrix rings over division rings , for some integers , both of which are uniquely determined up to permutation of the index . In particular, any simple left or right Artinian ring is isomorphic to an ''n''-by-''n'' matrix ring over a division ring ''D'', where both ''n'' and ''D'' are uniquely determined. Theorem Let be a (Artinian) semisimple ring. Then the Wedderburn–Artin theorem states that is isomorphic to a product of finitely many -by- matrix rings M_(D_i) over division rings , for some integers , both of which are uniquely determined up to permutation of the index . There is also a version of the Wedderburn–Artin theorem for algebras over a field . If is a finite-dimensional semisimple -algebra, then each in the above statement is a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Semisimple Ring
In mathematics, especially in the area of abstract algebra known as module theory, a semisimple module or completely reducible module is a type of module that can be understood easily from its parts. A ring that is a semisimple module over itself is known as an Artinian semisimple ring. Some important rings, such as group rings of finite groups over fields of characteristic zero, are semisimple rings. An Artinian ring is initially understood via its largest semisimple quotient. The structure of Artinian semisimple rings is well understood by the Artin–Wedderburn theorem, which exhibits these rings as finite direct products of matrix rings. For a group-theory analog of the same notion, see ''Semisimple representation''. Definition A module over a (not necessarily commutative) ring is said to be semisimple (or completely reducible) if it is the direct sum of simple (irreducible) submodules. For a module ''M'', the following are equivalent: # ''M'' is semisimple; i.e., ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Artinian Ring
In mathematics, specifically abstract algebra, an Artinian ring (sometimes Artin ring) is a ring that satisfies the descending chain condition on (one-sided) ideals; that is, there is no infinite descending sequence of ideals. Artinian rings are named after Emil Artin, who first discovered that the descending chain condition for ideals simultaneously generalizes finite rings and rings that are finite-dimensional vector spaces over fields. The definition of Artinian rings may be restated by interchanging the descending chain condition with an equivalent notion: the minimum condition. Precisely, a ring is left Artinian if it satisfies the descending chain condition on left ideals, right Artinian if it satisfies the descending chain condition on right ideals, and Artinian or two-sided Artinian if it is both left and right Artinian. For commutative rings the left and right definitions coincide, but in general they are distinct from each other. The Wedderburn–Artin theorem ch ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Semisimple Module
In mathematics, especially in the area of abstract algebra known as module theory, a semisimple module or completely reducible module is a type of module that can be understood easily from its parts. A ring that is a semisimple module over itself is known as an Artinian semisimple ring. Some important rings, such as group rings of finite groups over fields of characteristic zero, are semisimple rings. An Artinian ring is initially understood via its largest semisimple quotient. The structure of Artinian semisimple rings is well understood by the Artin–Wedderburn theorem, which exhibits these rings as finite direct products of matrix rings. For a group-theory analog of the same notion, see ''Semisimple representation''. Definition A module over a (not necessarily commutative) ring is said to be semisimple (or completely reducible) if it is the direct sum of simple (irreducible) submodules. For a module ''M'', the following are equivalent: # ''M'' is semisimple; i.e., a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Semisimple Algebra
In ring theory, a branch of mathematics, a semisimple algebra is an associative Artinian algebra over a field which has trivial Jacobson radical (only the zero element of the algebra is in the Jacobson radical). If the algebra is finite-dimensional this is equivalent to saying that it can be expressed as a Cartesian product of simple subalgebras. Definition The Jacobson radical of an algebra over a field is the ideal consisting of all elements that annihilate every simple left-module. The radical contains all nilpotent ideals, and if the algebra is finite-dimensional, the radical itself is a nilpotent ideal. A finite-dimensional algebra is then said to be ''semisimple'' if its radical contains only the zero element. An algebra ''A'' is called ''simple'' if it has no proper ideals and ''A''2 = ≠ . As the terminology suggests, simple algebras are semisimple. The only possible ideals of a simple algebra ''A'' are ''A'' and . Thus if ''A'' is simple, then ''A'' is not nilpote ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Proceedings Of The London Mathematical Society
The London Mathematical Society (LMS) is one of the United Kingdom's learned societies for mathematics (the others being the Royal Statistical Society (RSS), the Institute of Mathematics and its Applications (IMA), the Edinburgh Mathematical Society and the Operational Research Society (ORS). History The Society was established on 16 January 1865, the first president being Augustus De Morgan. The earliest meetings were held in University College, but the Society soon moved into Burlington House, Piccadilly. The initial activities of the Society included talks and publication of a journal. The LMS was used as a model for the establishment of the American Mathematical Society in 1888. Mary Cartwright was the first woman to be President of the LMS (in 1961–62). The Society was granted a royal charter in 1965, a century after its foundation. In 1998 the Society moved from rooms in Burlington House into De Morgan House (named after the society's first president), at 57–5 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Complex Number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a + bi, where and are real numbers. Because no real number satisfies the above equation, was called an imaginary number by René Descartes. For the complex number is called the , and is called the . The set of complex numbers is denoted by either of the symbols \mathbb C or . Despite the historical nomenclature, "imaginary" complex numbers have a mathematical existence as firm as that of the real numbers, and they are fundamental tools in the scientific description of the natural world. Complex numbers allow solutions to all polynomial equations, even those that have no solutions in real numbers. More precisely, the fundamental theorem of algebra asserts that every non-constant polynomial equation with real or complex coefficie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Real Number
In mathematics, a real number is a number that can be used to measure a continuous one- dimensional quantity such as a duration or temperature. Here, ''continuous'' means that pairs of values can have arbitrarily small differences. Every real number can be almost uniquely represented by an infinite decimal expansion. The real numbers are fundamental in calculus (and in many other branches of mathematics), in particular by their role in the classical definitions of limits, continuity and derivatives. The set of real numbers, sometimes called "the reals", is traditionally denoted by a bold , often using blackboard bold, . The adjective ''real'', used in the 17th century by René Descartes, distinguishes real numbers from imaginary numbers such as the square roots of . The real numbers include the rational numbers, such as the integer and the fraction . The rest of the real numbers are called irrational numbers. Some irrational numbers (as well as all the rationals) a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |