Exercises in Classical Ring TheoryThis useful book, which grew out of the author's lectures at Berkeley, presents some 400 exercises of varying degrees of difficulty in classical ring theory, together with complete solutions, background information, historical commentary, bibliographic details, and indications of possible improvements or generalizations. The book should be especially helpful to graduate students as a model of the problem-solving process and an illustration of the applications of different theorems in ring theory. The author also discusses "the folklore of the subject: the `tricks of the trade' in ring theory, which are well known to the experts in the field but may not be familiar to others, and for which there is usually no good reference". The problems are from the following areas: the Wedderburn-Artin theory of semisimple rings, the Jacobson radical, representation theory of groups and algebras, (semi)prime rings, (semi)primitive rings, division rings, ordered rings, (semi)local rings, the theory of idempotents, and (semi)perfect rings. Problems in the areas of module theory, category theory, and rings of quotients are not included, since they will appear in a later book. T. W. Hungerford, Mathematical Reviews |
À l'intérieur du livre
Page 3
Hence, (1 − ab)−1 =1+ a(1 − ba)−1b, where x−1 denotes “a left inverse” of x. The case when 1 − ba is invertible follows by combining the “left-invertible” and “right-invertible” cases. Comment. The formula for (1 − ab)−1 above ...
Hence, (1 − ab)−1 =1+ a(1 − ba)−1b, where x−1 denotes “a left inverse” of x. The case when 1 − ba is invertible follows by combining the “left-invertible” and “right-invertible” cases. Comment. The formula for (1 − ab)−1 above ...
Page 11
Conversely, if f = XL air' e Z(R), then fa = af for all a e K shows that each as e Z(K) = k, and hence fe k[a]. (2) Fix be K such that ab # ba. Then (a – a) (the ideal generated by a – a) contains b(a – a) — (a – a)b = ab – ba e U(K), ...
Conversely, if f = XL air' e Z(R), then fa = af for all a e K shows that each as e Z(K) = k, and hence fe k[a]. (2) Fix be K such that ab # ba. Then (a – a) (the ideal generated by a – a) contains b(a – a) — (a – a)b = ab – ba e U(K), ...
Page 13
For the next two problems, note that an anti-isomorphism s : k → k' (from a ring k to another ring k') is an additive isomorphism with s(ab) = s(b)=(a) for all a, be k (and hence e(1) = 1). An involution e on a ring k is an ...
For the next two problems, note that an anti-isomorphism s : k → k' (from a ring k to another ring k') is an additive isomorphism with s(ab) = s(b)=(a) for all a, be k (and hence e(1) = 1). An involution e on a ring k is an ...
Page 22
If d > 0, then f : b # 0 for some f = XC, aga" e I. We must have a;g # 0 for some i (for otherwise a, b = 0 for all i and hence f : b = 0). Now pick j to be the largest integer such that agg # 0. From O = f; g = (aga' + · · · + ao), g, ...
If d > 0, then f : b # 0 for some f = XC, aga" e I. We must have a;g # 0 for some i (for otherwise a, b = 0 for all i and hence f : b = 0). Now pick j to be the largest integer such that agg # 0. From O = f; g = (aga' + · · · + ao), g, ...
Page 25
Left multiplying this by a yields a = a y = 0 and hence 1 = a y + ya” = 0 e A, proving that A = (0). (2) Define a ring homomorphism p': B → M2(k|t|) by p k = Ido, and co- ( ), co- ( ). (It is easy to check that p respects the relations ...
Left multiplying this by a yields a = a y = 0 and hence 1 = a y + ya” = 0 e A, proving that A = (0). (2) Define a ring homomorphism p': B → M2(k|t|) by p k = Ido, and co- ( ), co- ( ). (It is easy to check that p respects the relations ...
Avis des internautes - Rédiger un commentaire
Aucun commentaire n'a été trouvé aux emplacements habituels.
Table des matières
Jacobson Radical Theory | 49 |
Introduction to Representation Theory | 99 |
Ordered Structures in Rings 247 | 246 |
Perfect and Semiperfect Rings 325 | 324 |
Name Index | 349 |
Autres éditions - Tout afficher
Expressions et termes fréquents
0-divisor 2-primal abelian algebra artinian ring assume automorphism commutative ring conjugate constructed contradiction cyclic Dedekind-finite defined direct product direct summand division ring domain element endomorphism equation Exercise exists fact field finite group finite-dimensional follows group G hence homomorphism hopfian idempotent identity implies indecomposable induction infinite integer inverse irreducible isomorphism J-semisimple Jacobson radical k-algebra kG-module left ideal left primitive Lemma Let G local ring Math maximal ideal maximal left ideal Mn(k Mn(R module multiplication Neumann regular ring nil ideal Nilº noetherian ring noncommutative nonzero polynomial prime ideal primitive rings proof prove R-module R/rad rad kG representation resp right ideal right R-module ring theory semilocal ring semiprime semisimple ring show that rad simple ring Solution stable range subdirect product subgroup submodule subring suffices to show surjective Theorem unit-regular von Neumann regular zero