Artin–Wedderburn theorem
In algebra, the Artin–Wedderburn theorem is a classification theorem for semisimple rings and semisimple algebras. The theorem states that an (Artinian) [1] semisimple ring R is isomorphic to a product of finitely many 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.[2]
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 is isomorphic to a matrix ring over R, C, or H. Every central simple algebra over R is isomorphic to a matrix ring over R or H. These results follow from the Frobenius theorem.
- Every finite-dimensional simple algebra over C is a central simple algebra, and is isomorphic to a matrix ring over C.
- Every finite-dimensional central simple algebra over a finite field is isomorphic to a matrix ring over that field.
- For a commutative ring, the four following properties are equivalent: being a semisimple ring; being Artinian and reduced; being a reduced Noetherian ring of Krull dimension 0; being isomorphic to a finite direct product of fields.
- The Artin–Wedderburn theorem implies that a semisimple algebra that is finite-dimensional over a field kdisplaystyle k
is isomorphic to a finite product ∏Mni(Di)displaystyle prod M_n_i(D_i)
where the nidisplaystyle n_i
are natural numbers, the Didisplaystyle D_i
are finite dimensional division algebras over kdisplaystyle k
is the algebra of ni×nidisplaystyle n_itimes n_i
matrices over Didisplaystyle D_i
See also
- Maschke's theorem
- Brauer group
- Jacobson density theorem
- Hypercomplex number
References
^ Semisimple rings are necessarily Artinian rings. Some authors use "semisimple" to mean the ring has a trivial Jacobson radical. For Artinian rings, the two notions are equivalent, so "Artinian" is included here to eliminate that ambiguity.
^ John A. Beachy (1999). Introductory Lectures on Rings and Modules. Cambridge University Press. p. 156. ISBN 978-0-521-64407-5..mw-parser-output cite.citationfont-style:inherit.mw-parser-output qquotes:"""""""'""'".mw-parser-output code.cs1-codecolor:inherit;background:inherit;border:inherit;padding:inherit.mw-parser-output .cs1-lock-free abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-lock-subscription abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registrationcolor:#555.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration spanborder-bottom:1px dotted;cursor:help.mw-parser-output .cs1-hidden-errordisplay:none;font-size:100%.mw-parser-output .cs1-visible-errorfont-size:100%.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-formatfont-size:95%.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-leftpadding-left:0.2em.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-rightpadding-right:0.2em
P. M. Cohn (2003) Basic Algebra: Groups, Rings, and Fields, pages 137–9.
J.H.M. Wedderburn (1908). "On Hypercomplex Numbers". Proceedings of the London Mathematical Society. 6: 77–118. doi:10.1112/plms/s2-6.1.77.
Artin, E. (1927). "Zur Theorie der hyperkomplexen Zahlen". 5: 251–260.
