Characterizations of the Jacobson Radical in Left Artinian Rings, Exams of Abstract Algebra

Solutions to various problems related to the jacobson radical of a left artinian ring. It includes characterizations of the jacobson radical as the smallest two-sided ideal such that the ring modulo this ideal is a semisimple left module, and as the largest nilpotent left ideal. The document also includes true or false questions and longer problems on various topics in ring theory.

Typology: Exams

Pre 2010

Uploaded on 07/23/2009

koofers-user-l5w
koofers-user-l5w 🇺🇸

10 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
1
Math 649 Midfinal
Answer as many questions as you can! Make sure you state clearly any theorems from class that
you use.
Part I. Definitions.
1. Give two different characterizations of the Jacobson radical J(R) of a left Artinian ring R.
Solution.
(1) It is the smallest two-sided ideal Jof Rsuch that R/J is a semisimple left R-module.
(2) It is the largest nilpotent left ideal of R.
Part II. True or False. Justify your answers briefly.
1. For any commutative ring R, the R-algebras R[x]RR[x] and R[x, y] are isomorphic.
True. An isomorphism maps x1 to xand 1 xto y.
2. If Ris a ring having no non-trivial two-sided ideals, then Ris a division algebra.
False. For example M2(F) for Fa field. Its a simple ring (e.g. because it is Morita equivalent
to the field F), but there are non-zero 2 ×2 nilpotent matrices which are not invertible.
3. If Ris a principal ideal domain, then Ris Noetherian.
True. Take an ascending chain I1I2· · · of ideals in R. We need to show it stabilizes.
Let I=!n1In. It is also an ideal of R. Since Ris a PID, I= (a) for some aR. But
then aInfor some n, and hence In=Ialready. Hence In=In+1 =· · · and the chain has
stabilized.
4. If Ris a commutative Noetherian ring, then every R/J(R)-module is semisimple.
False. Take for instance R=Z. It is a PID so its Noetherian. Its Jacobson radical is the
intersection of all maximal ideals (p) for pprime. That is an ideal of the form (n) where n
is divisible by all primes. Hence it is (0). But not every Z-module is semisimple (e.g. Z/(4)
is not).
5. If Fis a field of characteristic p > 0 and Gis a finite abelian p-group, then there is only one
irreducible F G-module up to isomorphism.
True. Note Gis a product of cyclic groups of order pifor various i. So it suffices to prove
the result just for Gcyclic of order pi. But then F G
=F[x]/(xpi1) = F[x]/(x1)pi.
This clearly has just one irreducible module by the structure theorem for modules over PIDs
(there is just one prime in the ring F[x]/(x1)pi), namely, (x1)).
Part III. Longer problems.
1. Let Gbe a finite group and Fbe an algebraically closed field of characteristic p0.
(i) Prove that up to isomorphism, there are only finitely many irreducible F G-modules
L1, . . . , Lr.
(ii) Let ni= dimFLi,i= 1, . . . , r. Prove that "r
i=1 n2
i|G|, with equality if and only if
p= 0 or p!|G|.
(iii) Is it true that the inequality "r
i=1 n2
i|G|holds even if Fis not algebraically closed?
pf2

Partial preview of the text

Download Characterizations of the Jacobson Radical in Left Artinian Rings and more Exams Abstract Algebra in PDF only on Docsity!

Math 649 Midfinal

Answer as many questions as you can! Make sure you state clearly any theorems from class that you use.

Part I. Definitions.

  1. Give two different characterizations of the Jacobson radical J(R) of a left Artinian ring R. Solution. (1) It is the smallest two-sided ideal J of R such that R/J is a semisimple left R-module. (2) It is the largest nilpotent left ideal of R.

Part II. True or False. Justify your answers briefly.

  1. For any commutative ring R, the R-algebras R[x] ⊗R R[x] and R[x, y] are isomorphic. True. An isomorphism maps x ⊗ 1 to x and 1 ⊗ x to y.
  2. If R is a ring having no non-trivial two-sided ideals, then R is a division algebra. False. For example M 2 (F ) for F a field. Its a simple ring (e.g. because it is Morita equivalent to the field F ), but there are non-zero 2 × 2 nilpotent matrices which are not invertible.
  3. If R is a principal ideal domain, then R is Noetherian. True. Take an ascending chain I 1 ⊆ I 2 ⊆ · · · of ideals in R. We need to show it stabilizes. Let I =

n≥ 1 In^. It is also an ideal of^ R. Since^ R^ is a PID,^ I^ = (a) for some^ a^ ∈^ R. But then a ∈ In for some n, and hence In = I already. Hence In = In+1 = · · · and the chain has stabilized.

  1. If R is a commutative Noetherian ring, then every R/J(R)-module is semisimple. False. Take for instance R = Z. It is a PID so its Noetherian. Its Jacobson radical is the intersection of all maximal ideals (p) for p prime. That is an ideal of the form (n) where n is divisible by all primes. Hence it is (0). But not every Z-module is semisimple (e.g. Z/(4) is not).
  2. If F is a field of characteristic p > 0 and G is a finite abelian p-group, then there is only one irreducible F G-module up to isomorphism. True. Note G is a product of cyclic groups of order p i^ for various i. So it suffices to prove the result just for G cyclic of order p i^. But then F G ∼= F [x]/(xp i − 1) = F [x]/(x − 1)p i . This clearly has just one irreducible module by the structure theorem for modules over PIDs (there is just one prime in the ring F [x]/(x − 1)p i ), namely, (x − 1)).

Part III. Longer problems.

  1. Let G be a finite group and F be an algebraically closed field of characteristic p ≥ 0.

(i) Prove that up to isomorphism, there are only finitely many irreducible F G-modules L 1 ,... , Lr. (ii) Let n (^) i = dim (^) F Li , i = 1,... , r. Prove that

∑r i=1 n^

2 i ≤^ |G|, with equality if and only if p = 0 or p! |G|. (iii) Is it true that the inequality

∑r i=1 n^

2 i ≤^ |G|^ holds even if^ F^ is not algebraically closed?

Solution. Since G is finite, F G is an Artinian ring. Hence, its Jacobson radical J(F G) acts as zero on any irreducible F G-module, i.e. any irreducible F G-module is a lift of an irreducible F G/J(F G)-module. The latter is a semisimple algebra over an algebraically closed field. Hence by (souped-up) Wedderburn theorem, F G/J(F G) ∼= M (^) n 1 (F ) × · · · × M (^) n (^) r (F ) where r is the number of ismorphism classes of irreducible module F G-modules (FINITE, PROVING (i)!) and n 1 ,... , n (^) r are the dimensions of corresponding irreducible representations. Hence n 21 + · · · + n (^2) r = dim F G − dim J(F G). So n 21 + · · · + n (^2) r ≤ |G|, with equality if and only if J(F G) = 0, i.e. F G is a semisimple algebra. By Maschke’s theorem (and its converse, stated but not proved in class) F G is a semisimple algebra if and only if p = 0 or p! |G|. This gives (ii). Finally for (iii), this statement is false. Consider for example the group algebra RQ 3. There are five irreps, of R-dimensions 1,1,1,1,4 (the latter being the quaternions...). The squares add up to more than 8 the last time I checked.

  1. Let f : V → V be an endomorphism of an n-dimensional vector space over a field F. Let xn^ − c 1 xn−^1 + c 2 xn−^2 − · · · + (−1)n^ cn be the characteristic polynomial of the linear map f. For each k = 1,... , n, prove that ck = tr(

∧ (^) k f ), where

∧ (^) k f :

∧ (^) k V →

∧ (^) k V is the linear map with (

∧ (^) k f )(v 1 ∧ · · · ∧ vk ) = f (v 1 ) ∧ · · · ∧ f (vk ) for all v 1 ,... , vk ∈ V. Solution. Let F¯ be the algebraic closure of F. Replacing V by F¯ ⊗F V and f by 1 ⊗ f does not affect either the characteristic polynomial or the traces of the linear maps ∧k^ f (because 1 ⊗ ∧k^ f = ∧k^ (1 ⊗ f ). So we may assume to do this problem that the field F is already algebraically closed. In that case, there exists a basis v 1 ,... , vn with respect to which the matrix of f is upper triangular, with eigenvalues λ 1 ,... , λ (^) n down the diagonal. The characteristic polynomial is

∏ (^) n i=1 (x^ −^ λ^ i^ ).^ So the^ x n−i (^) -coefficient is (−1)n−i ∑ 1 ≤j 1 <···<ji ≤n λ^ j 1 λ^ j 2 · · ·^ λ^ ji (the^ ith elementary symmetric function in the λ’s). Now consider ∧i^ f. A basis for

∧ (^) i V is given by the vj 1 ∧ · · · ∧ vji for 1 ≤ j 1 < · · · < ji ≤ n. The matrix of ∧i^ f in this basis suitably ordered (so v 1 ∧ · · · ∧ vi appears first, ...) is again upper triangular, with λ (^) j 1 λ (^) j 2 · · · λ (^) ji appearing down the diagonal. Hence the trace of ∧i^ f is again the ith elementary symmetric function in the λ’s. This is what we needed.

  1. Let V = { 1 , x, y, z} be the Klein 4-group and C = { 1 , a, a^2 } be the cyclic group of order 3. Let H = V " C be their semidirect product constructed so that axa−^1 = y in H. Compute the character table of the group H. Hence, or otherwise, list all the normal subgroups of H. Solution. First we need the conjugacy classes. Note H = { 1 , a, a^2 , x, xa, xa^2 , y, ya, ya^2 , z, za, za^2 }. By inspection, the conjugacy classes are C 1 = { 1 }, C 2 = {x, y, z}, C 3 = {a, xa, ya, za} and C 4 = {a^2 , xa^2 , ya^2 , za^2 }. Hence there are four irreducible characters, of degrees 1, 1 , 1 , 3 since their squared degrees add up to 12. The three degree one ones must come from lifts of the three irreducible characters of C. The remaining one can be worked out by the orthogonality relations. C 1 C 2 C 3 C 4 χ 1 1 1 1 1 χ 2 1 1 ω ω 2 χ 3 1 1 ω 2 ω χ 4 3 − 1 0 0 (Here ω is a primitive cube root of 1. The normal subgroups are now easy: the lattice of normal subgroups is generated by the ker χi ’s. From the character table, the only normal subgroup other than { 1 } and H is V = C 1 ∪ C 2. By the way: of course H is the alternating group A 4. A better question would be to find the character table of T = C " V.