Artin–Wedderburn theorem

Artin–Wedderburn theorem

In abstract algebra, the Artin–Wedderburn theorem is a classification theorem for semisimple rings. The theorem states that a semisimple ring "R" is isomorphic to a product of "ni"-by-"ni" matrix rings over division rings "Di", for some integers "ni", both of which are uniquely determined up to permutation of the index "i". 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.

As a direct corollary, the Artin–Wedderburn theorem implies that every simple ring that is finite-dimensional over a division ring (a simple algebra) is a matrix ring. This is Joseph Wedderburn's original result. Emil Artin later generalized it to the case of Artinian rings.

Note that if "R" is a finite-dimensional simple algebra over a division ring "E", "D" need not be contained in "E". For example, matrix rings over the complex numbers are finite-dimensional simple algebras over the real numbers.

The Artin–Wedderburn theorem reduces classifying simple rings over a division ring to classifying division rings that contain a given division ring. This in turn can be simplified: The center of "D" must be a field K. Therefore "R" is a "K"-algebra, and itself has "K" as its center. A finite-dimensional simple algebra "R" is thus a central simple algebra over K. Thus the Artin–Wedderburn theorem reduces the problem of classifying finite-dimensional central simple algebras to the problem of classifying division rings with given center.

Examples

Let R be the field of real numbers, C be the field of complex numbers, and H the quaternions.

* Every finite-dimensional simple algebra over R must be a matrix ring over R, C, or H. Every central simple algebra over R must be a matrix ring over R or H. These results follow from the Frobenius theorem.
* Every finite-dimensional simple algebra over C must be a matrix ring over C and hence every central simple algebra over C must be a matrix ring over C.
* Every finite-dimensional central simple algebra over a finite field must be a matrix ring over that field.

ee also

* Maschke's theorem
* Frobenius theorem


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Artin-Zorn theorem — In mathematics, the Artin Zorn theorem states that any finite alternative division ring is necessarily a finite field. It generalizes the Wedderburn theorem for finite associative division rings …   Wikipedia

  • Wedderburn — There are a number of towns called Wedderburn:*Wedderburn, Victoria, Australia *Wedderburn, New South Wales, Australia *Wedderburn, Oregon, United States *Wedderburn, Otago, New ZealandOther places named Wedderburn: *Wedderburn Castle, in… …   Wikipedia

  • Joseph Wedderburn — Infobox Scientist box width = 300px name = Joseph Wedderburn image width = 300px caption = Joseph Henry Maclagan Wedderburn (1882 1948) birth date = birth date|1882|02|02 birth place = Forfar, Angus, Scotland death date = death date and… …   Wikipedia

  • Emil Artin — Infobox Scientist name=Emil Artin birth date = March 3, 1898 birth place = Vienna death date = December 20, 1962 field = MathematicsEmil Artin (March 3, 1898, in Vienna – December 20, 1962, in Hamburg) was an Austrian mathematician. His father,… …   Wikipedia

  • Maschke's theorem — In mathematics, Maschke s theorem,[1][2] named after Heinrich Maschke,[3] is a theorem in group representation theory that concerns the decomposition of representations of a finite group into irreducible pieces. If (V, ρ) is a finite… …   Wikipedia

  • Classification theorem — In mathematics, a classification theorem answers the classification problem What are the objects of a given type, up to some equivalence? . It gives a non redundant enumeration: each object is equivalent to exactly one class. A few related issues …   Wikipedia

  • Jacobson density theorem — In mathematics, the Jacobson density theorem in ring theory is an important generalization of the Artin Wedderburn theorem. It is named for Nathan Jacobson.It states that given any irreducible module M for a ring R , R is dense in its bicommutant …   Wikipedia

  • Goldie's theorem — In mathematics, Goldie s theorem is a basic structural result in ring theory, proved by Alfred Goldie (1920 2005) during the 1950s. It gives a result on the noetherian rings that have a classical ring of quotients, that is a semisimple artinian… …   Wikipedia

  • Joseph Wedderburn — Joseph Henry Maclagan Wedderburn (* 2. Februar 1882 in Forfar, Angus, Schottland; † 9. Oktober 1948 in Princeton, New Jersey) war ein schottischer Mathematiker, der die längste Zeit seines Lebens an der Princeton University tätig w …   Deutsch Wikipedia

  • Chevalley–Warning theorem — In algebra, the Chevalley–Warning theorem implies that certain polynomial equations in sufficiently many variables over a finite field have solutions. It was proved by Ewald Warning (1936) and a slightly weaker form of the theorem, known as… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”