We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Structure of semisimple rings in reverse and computable mathematics.
- Authors
Wu, Huishan
- Abstract
This paper studies the structure of semisimple rings using techniques of reverse mathematics, where a ring is left semisimple if the left regular module is a finite direct sum of simple submodules. The structure theorem of left semisimple rings, also called Wedderburn-Artin Theorem, is a famous theorem in noncommutative algebra, says that a ring is left semisimple if and only if it is isomorphic to a finite direct product of matrix rings over division rings. We provide a proof for the theorem in R C A 0 , showing the structure theorem for computable semisimple rings. The decomposition of semisimple rings as finite direct products of matrix rings over division rings is unique. Based on an effective proof of the Jordan-Hölder Theorem for modules with composition series, we also provide an effective proof for the uniqueness of the matrix decomposition of semisimple rings in R C A 0 .
- Subjects
REVERSE mathematics; SEMISIMPLE Lie groups; NONCOMMUTATIVE algebras; FINITE rings; DIVISION rings; MATRIX rings
- Publication
Archive for Mathematical Logic, 2023, Vol 62, Issue 7/8, p1083
- ISSN
0933-5846
- Publication type
Article
- DOI
10.1007/s00153-023-00885-3