

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
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
1 / 2
This page cannot be seen from the preview
Don't miss anything!


Answer as many questions as you can! Make sure you state clearly any theorems from class that you use.
Part I. Definitions.
Part II. True or False. Justify your answers briefly.
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.
Part III. Longer problems.
(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.
∧ (^) 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.