The Zero Divisor Conjecture and Self-Injectivity for Monoid Rings

Size: px
Start display at page:

Download "The Zero Divisor Conjecture and Self-Injectivity for Monoid Rings"

Transcription

1 The Zero Divisor Conjecture and Self-Injectivity for Monoid Rings Joe Sullivan May 2, Background 1.1 Monoid Rings Definition 1.1. Let G be a set and let : G G G be a binary operation on G. Then the ordered pair (G, ) is a monoid provided: 1. a b G for all a, b G, 2. a (b c) = (a b) c for all a, b, c G, and 3. there exists 1 G such that a 1 = 1 a = a for all a G. We shall refer to the monoid (G, ) as G when no confusion may arise. Note that if we require G to be closed under inverses (i.e. if for each a G there exists b G such that a b = b a = 1) then G is necessarily a group under. Definition 1.2. Let G be a monoid and let k be a field. Denote is the set of all maps α : G k with finite support as kg. Define addition + : kg kg kg on kg by (α + β)(x) = α(x) + β(x) (1) for all α, β kg and x G. Define multiplication : kg kg kg on kg by (α β)(z) = α(x)β(y) (2) xy=z for all α, β kg and x, y, z G. Then the triple (kg, +, ) is called the monoid ring of G over k. By finite support we mean the set supp α = {g G α(g) 0} is finite. It is straightforward to check that (kg, +, ) is indeed a ring with the operations defined above. Again when no confusion may arise, we shall refer to the monoid ring (kg, +, ) as kg. Also, if α, β kg, we shall let αβ denote α β. As a point of notation, suppose α kg. We shall henceforth write α = x G a x x (3) 1

2 where α(x) = a x k for all x G. Thus if α, β kg, sums and products will be written α + β = x G(a x + b y )x (4) αβ = (a x b y )xy (5) x,y G where, as before, α(x) = a x and β(x) = b x for all x G. As with products in kg, we have written the product x y G as xy G. These sums are always finite since the elements in kg have finite support. 1.2 The Zero Divisor Problem Definition 1.3. Let G be a monoid. Then G is torsion-free if x G and x n = 1 implies x = 1 for every positive integer n. The Classical Zero Divisor conjecture [3] is stated in terms of groups. Conjecture 1.4 (Zero Divisor Conjecture). Suppose G is a torsion-free group and k is a field. If 0 α kg and 0 β kg then αβ 0. In other words, if G is a torsion-free group, then the group ring kg is a domain (i.e. kg has no zero divisors). In this project, we discuss a generalization of the problem (and other related questions) to monoids: if G is a torsion-free monoid, is the monoid ring kg necessarily a domain? 2 Zero Divisors In regards to the previous question, if G is a torsion-free monoid, then the monoid ring kg is not necessarily a domain, as is shown by the following example. Example 2.1. Let k = Z/2Z, G = {1, x}, and suppose : G G G is defined by the following multiplication table: 1 x 1 1 x x x x Then (G, ) is a torsion-free (commutative) monoid. Let kg denote the monoid ring over G, and let α, β kg with α = x β = 1 + x 2

3 Thus α 0 and β 0, but αβ = x(1 + x) = x + x 2 = x + x = 0 and so kg is not a domain. This particular example may be generalized to yield the following result. Theorem 2.1. Let G be a monoid and k be a field. If kg is a domain, then G is cancellative. Proof. We shall use a contrapositive argument: suppose that G is not cancellative. Without loss of generality, we may assume G is not left-cancellative. This means there exists x G such that xy = xz for some y, z G, and y z. Let α = x kg and β = y z kg. We have that α 0 and β 0, but and so kg is not a domain. αβ = x(y z) = xy xz = 0 As we can see from this result, if G is any non-cancellative monoid (torsionfree or not), then kg necessarily has zero divisors. It is known that for a commutative monoid G, G is cancellative if and only if G can be embedded in a group. Thus in the case where G is commutative and not cancellative, the Zero Divisor Problem returns to the realm of group-ring theory where it remains unsolved. 3 Nilpotents and Units Given a (torsion-free) monoid G, we investigate whether or not kg has nontrivial nilpotent elements and/or nontrivial units for some field k. Example 3.1. Let G be the monoid from Example 2.1. Then for any field k, the only nilpotent element of kg is zero. To see why, let a, b k and let n Z +. 3

4 Then n ( ) n (a + bx) n = a n j (bx) j j j=0 n ( ) n = a n + a n j b j x j j j=1 n = a n + j=1 ( ) n j a n k b j x since x j = x for all j Z +. Suppose a + bx kg is nilpotent. Then for some n Z +, (a + bx) n = 0, i.e. n ( ) a n + n a n k b j x = 0 j j=1 and so a n = 0 hence a = 0 (since k is a field). But then b n = 0 so b = 0 as well. Thus the only nilpotent elements of kg are trivial for any field k. Now suppose that k is a field with char(k) 2. Then kg has nontrivial units, since char(k) 2 implies (1 2x) 1 in kg, so (1 2x)(1 2x) = 1 4x + 4x 2 = 1 4x + 4x thus 1 2x is a nontrivial unit of kg. However, if char(k) = 2 (namely, k = Z/2Z), then let a, b, c, d k. We have = 1 (a + bx)(c + dx) = ac + (ad + bc + bd)x and if this quantity were 1, we would have that ac = 1 and ad + bc + bd = 0. But if ac = 1, then a = c = 1 since char(k) = 2. But this means b + d + bd = 0 which implies b = c = 0 since again char(k) = 2. So the only units of kg take the form 1 + 0x, i.e. kg has no nontrivial units. Example 3.2. Let G = {1, x, y} and suppose : G G G is defined by the following multiplication table: 1 x y 1 1 x y x x y y y y y y Then for any field k, kg does have nontrivial nilpotent elements, one of which is x y, since (x y) 2 = x 2 xy yx y 2 = y y y + y = 0 4

5 We have found monoids for which there are either no nontrivial nilpotents over any field, or there are always nontrivial nilpotents over any field. We ve also found a monoid which has nontrivial units over some fields but no nontrivial units over others. 4 Semisimplicity Theorem 4.1 (Maschke s Theorem). Let G be a finite group and let k be a field. Then kg is semisimple if and only if char(k) G. We show that Maschke s Theorem fails in the case where G is a finite monoid in both directions. First, note that when G is a monoid and k is a field, kg is commutative if and only if G is commutative. Also, when G is finite, kg is finitely generated. Now when kg is commutative and finitely generated, J(kG) = { α kg α n = 0 for some n Z + } (6) where J(kG) is the Jacobson radical of kg. This leads to a useful characterization of semisimplicity: Theorem 4.2. Suppose G is a finite, commutative monoid and k is a field. Then kg is semisimple if and only if J(kG) = 0. Example 4.1. Let kg be the monoid ring from Example 2.1 above. We have that G is finite and commutative; in particular, G = 2 and char(k) = 2 so char(k) G. But kg is semisimple, since J(kG) = 0. This is because the only nilpotent element of kg is 0 as was shown in Example 3.1. So we have a finite monoid G and field k such that char(k) G and kg is semisimple. Example 4.2. Let G be the monoid from Example 3.2 above. Then for any field k, kg is not semisimple (in particular, CG is not semisimple). Since G is commutative and finite, kg is again commutative and finitely generated. Thus J(kG) = { α kg α n = 0 for some n Z + } Recall that 0 x y kg is nilpotent from Example 3.2 above. Thus x y J(kG) and so J(kG) 0 for any field k; e.g. if k = Z/2Z then char(k) = 2 and G = 3, so char(k) G but kg is not semisimple. Also, CG is not semisimple even though char(c) = 0 G. 5 Self-injectivity Theorem 5.1. If k is a field and G is a finite group then kg is self-injective; that is, kg is an injective kg-module. 5

6 This is not the case with finite monoids: we provide an example of a field k and finite monoid G such that kg is not self-injective. We shall henceforth let k = Z/2Z and G = {1, x, y} with the following multiplication : G G G: 1 x y 1 1 x y x x x x y y y y Theorem 5.2. kg is not an injective left kg-module. Proof. Denote the left ideals of kg as A = {0, x, y, x + y} = kgx = kgy B = {0, 1 + x, 1 + y, x + y} = (1 + x)kg = (1 + y)kg C = {0, x + y} = kg(x + y) D = {0, 1 + x} = kg(1 + x) E = {0, 1 + y} = kg(1 + y) and define θ : kg kg ϕ : kg kg ψ : kg kg by θ(α) = αx ϕ(α) = α(1 + x) ψ(α) = α(x + y) for all α kg. Then θ, ϕ, and ψ are left kg-module homomorphisms with im θ = A, im ϕ = D, im ψ = C, ker θ = D ker ϕ = A ker ψ = A Thus a projective resolution of kg/c is θ kg ϕ kg θ kg ψ kg kg/c 0 which yields the corresponding sequence 0 Hom kg (kg/c, kg) Hom kg (kg, kg) ψ Hom kg (kg, kg) θ Hom kg (kg, kg) ϕ Hom kg (kg, kg) θ 6

7 where θ (α) = xα ϕ (α) = (1 + x)α ψ (α) = (x + y)α and hence im θ = F, im ϕ = B, im ψ = C, ker θ = B ker ϕ = F ker ψ = B where F = {0, x}. We have that Ext 1 kg(kg/c, kg) = ker θ im ψ = B/C 0 and since Ext 1 kg(kg/m, kg) 0 for some left kg-submodule M of kg, we have that kg is not an injective left kg-module. Since this particular monoid ring kg is not self-injective, the obvious question to ask is what is the injective hull of kg. Definition 5.3. Let E be an R-module and M E be an R-submodule of E. We say that E is an essential extension of M if for every R-submodule N of E, we have that N = 0 whenever M N = 0. The injective hull of M, denoted E(M), is an essential extension of M that is injective. Theorem 5.4. The injective hull of kg has dimension 6 over k; that is, dim k E(kG) = 6. In particular, E(kG) = Hom k (kg, C) Hom k (kg, C). (7) Proof. Note that x kg is idempotent and that x + (1 + x) = 1, so kg = kgx kg(1 + x) = A D. (8) Thus E(kG) = E(A) E(D) (9) Also note that C, D, and E are all submodules of B, B = 4, and B = C D = C E = D E, so C = D = E. Thus E(C) = E(D) = E(E), so E(kG) = E(A) E(C) (10) 7

8 We show that A is not injective by calculating Ext 1 kg(a/c, kg) to be nonzero. A projective resolution of A/C is θ kg ϕ kg θ kg ψ A A/C 0 where θ, ϕ, and ψ are as in the previous proof. This yields the corresponding sequence 0 Hom kg (A/C, kg) Hom kg (A, kg) ψ Hom kg (kg, kg) θ Hom kg (kg, kg) ϕ Hom kg (kg, kg) θ where θ, ϕ, and ψ are also as in the previous proof. Thus Ext 1 kg(a/c, kg) = ker θ im ψ = B/C 0 We have that A is an essential extension of C, since the only nontrivial left submodule of A is C. This means that E(A) = E(C), in particular, and hence E(kG) = E(C) E(C) (11) dim k E(kG) = 2 dim k E(C) and dim k A = 2 and A is not injective, so dim k E(A) 3, thus dim k E(C) 3. Recall that if Q is an injective k-module (which is always the case when k is a field), then Hom k (kg, Q) is an injective kg-module, and that Q = Hom kg (kg, Q) Hom k (kg, Q) (12) This implies that C is contained in the injective kg-module Hom k (kg, C). Since dim k C = 1, we have that dim k Hom k (kg, C) = 3. But Hom k (kg, C) is injective, so dim k E(C) 3. Thus dim k E(C) = 3, so dim k E(kG) = 6. In particular, E(C) = Hom k (kg, C) (13) and so E(kG) = Hom k (kg, C) Hom k (kg, B). 6 Injective and Projective kg-modules 6.1 Injective kg-modules We wish to classify all injective kg-modules. Note that every injective kgmodule is the direct sum of indecomposable injective kg-modules. Which submodules of kg are injective? 8

9 We ve shown that A is not an injective kg-module and E(A) = E(C) = E(D) = E(E), so C, D, and E are not injective kg-modules. A similar calculation can be used to show that B is not an injective kg-module as well: a projective resolution of B/C is θ kg ϕ kg θ kg ψ B B/C 0 (14) where θ, ϕ, and ψ are as before. This yields the corresponding sequence 0 Hom kg (B/C, kg) Hom kg (B, kg) ψ Hom kg (kg, kg) θ Hom kg (kg, kg) ϕ Hom kg (kg, kg) θ where θ, ϕ, and ψ are also as before. Thus Ext 1 kg(b/c, kg) = ker θ im ψ = B/C 0 (15) and so B is not injective. Also since kg = A C = A D = A E, we have that A = kg/c = kg/d = kg/e and so kg/c, kg/d, and kg/e are not injective kg-modules as well. We will show that kg/b is injective, however. We make use of the following theorem [2]. Theorem 6.1 (Baer s Criterion). Let R be a ring with a 1. Then the R- module Q is injective if and only if for every left ideal I of R, any R-module homomorphism f : I Q can be extended to an R-module homomorphism F : R Q. Theorem 6.2. kg/b is an injective left kg-module. Proof. Recall from the proof of Theorem 5.2 that the left ideals (i.e. the left kg-submodules) are A, B, C, D, and E. We must show that for any M {A, B, C, D, E} and any f Hom kg (M, kg/b), there exists F Hom kg (kg, kg/b) making the following diagram commute: M ι kg f kg/b F where ι : M kg denotes the natural inclusion. We do not need to consider the cases when M = 0 or M = kg since F = 0 and F = f suffice as lifts respectively: 0 kg kg id kg 0 f f kg/b kg/b 9

10 Suppose M = A. Then there are precisely two elements in Hom kg (A, kg/b), the zero map and f : A kg/b described by f(0) = B f(x) = 1 + B f(y) = 1 + B f(x + y) = B This is because for any θ Hom kg (A, kg/b), θ(0) must equal θ(x + y): if θ(x + y) θ(0) = B, then θ(x + y) = 1 + B and hence 1 + B = x + B = x(1 + B) = xθ(x + y) = θ(x(x + y)) = θ(0) = B which is impossible. This implies θ(x) = θ(y), since B = θ(0) = θ(x + y) = θ(x) + θ(y) and θ(x) + θ(y) B if θ(x) θ(y). So we are left with exactly two options for f Hom kg (A, kg/b). If f is the zero map, it can be trivially extended to the zero map F : kg kg/b, F (α) = 0 for all α kg. If f Hom kg (A, kg/b) is not the zero map, then f can be extended to F = π : kg kg/b, the natural projection: F (1) = 1 + B F (1 + x) = B F (1 + y) = B F (1 + x + y) = 1 + B and F (α) = f(α) for α {0, x, y, x + y}. Suppose M = B. Then there is precisely one element in Hom kg (B, kg/b), the zero map. This is because if θ Hom kg (B, kg/b), then θ(0) = θ(x + y) as before, also implying θ(1 + x) = θ(1 + y) as before. Notice, however, that if θ(1 + x) = 1 + B, then B = θ(0) = θ(x(1 + x)) = xθ(1 + x) = x(1 + B) = x + B = 1 + B which is impossible, so θ(1 + x) = B = θ(1 + y). Thus Hom kg (B, kg/b) = 0 and 0 Hom kg (B, kg/b) can be trivially extended to 0 Hom kg (kg, kg/b). Suppose M = C. Again, there is precisely one element in Hom kg (C, kg/b), the zero map. Suppose 0 θ Hom kg (C, kg/b). Then since θ(0) = B, we must have that θ(x + y) = 1 + B. But this would mean B = θ(0) = θ(x(x + y)) = xθ(x + y) = x(1 + B) = x + B = 1 + B 10

11 which is impossible. So Hom kg (C, kg/b) = 0 and again 0 can be extended to 0 Hom kg (kg, kg/b). Suppose M = D. Again, there is precisely one element in Hom kg (D, kg/b), the zero map. Suppose 0 θ Hom kg (D, kg/b). Then since θ(0) = B, we must have that θ(1 + x) = 1 + B. But this would mean B = θ(0) = θ(x(1 + x)) = xθ(1 + x) = x(1 + B) = x + B = 1 + B which is impossible. So Hom kg (D, kg/d) = 0, and 0 again 0 can be extended to 0 Hom kg (kg, kg/b). Suppose M = E. Again, there is precisely one element in Hom kg (E, kg/b), the zero map. Suppose 0 θ Hom kg (E, kg/b). Then since θ(0) = B, we must have that θ(1 + y) = 1 + B. But this would mean B = θ(0) = θ(x(1 + y)) = xθ(1 + y) = x(1 + B) = x + B = 1 + B which is impossible. So Hom kg (E, kg/d) = 0, and 0 again 0 can be extended to 0 Hom kg (kg, kg/b). We have exhausted all cases: for any left ideal M of kg, every f Hom kg (M, kg/b) can be lifted to some F Hom kg (kg, kg/b) making the following diagram commute: M ι kg f kg/b F Thus by Baer s Criterion, kg/b is an injective left kg-module. Note that dim k kg/b = 1; in particular, kg/b is an indecomposable (injective) kg-module. Since kg/b is injective, the injective hull of kg/b is itself: E(kG/B) = kg/b. Also the only indecomposable left submodule of kg is C = D = E, and E(C) = Hom k (kg, C). Thus every injective kg-module can be written as a direct sum of isomorphic copies of Hom k (kg, C) and kg/b, the indecomposable injective kg-modules. 6.2 Projective kg-modules A similar classification for the projective left kg-modules can be obtained by invoking the following theorem on Artinian rings (which kg is). Theorem 6.3. Every indecomposable projective module over an Artinian ring R is isomorphic to Re for some primitive idempotent e R. 11

12 The primitive idempotents of kg are x, y, 1 + x, and 1 + y. Now kgx = kgy = A kg(1 + x) = D kg(1 + y) = E and D = E, so the only indecomposable projective kg-modules are isomorphic to A and D. Thus every projective kg-module can be written as a direct sum of isomorphic copies of A and D. 6.3 Uniserial kg-modules The indecomposable projective kg-modules are A and C = D = E as was just shown. The indecomposable injective kg-modules are Hom k (kg, C) and kg/b, also shown above. We wish to determine whether or not these modules are uniserial (i.e. whether or not they have a unique composition series). Obviously the one-dimensional modules (C and kg/b) are uniserial: their composition series are 0 C 0 kg/b. We also have that A is uniserial since its only submodule is C: 0 C A. Claim 6.4. Hom k (kg, C) is not a uniserial kg-module. Proof. Suppose Hom k (kg, C) were uniserial. Then kg would be a Nakayama algebra (i.e. each indecomposable projective and injective kg-module would be uniserial). This would imply that Hom k (kg, C) is a factor of some indecomposable projective kg-module [1], which in our case is either A or C. This is impossible, however, since dim k A = 2 and dim k C = 1, but dim k Hom k (kg, C) = Left Semi-hereditarity Definition 6.5. A ring R is hereditary if every submodule of a projective R-module is projective. A noncommutative ring R is left semi-hereditary if every finitely generated projective left R-module has projective dimension less than or equal to 1. The following criterion will be useful to determine if kg is left semi-hereditary. 12

13 Proposition 6.6. If every irreducible left R-module has projective dimension less than or equal to 1, then R is left semi-hereditary. Theorem 6.7. kg is a left semi-hereditary ring. Proof. We have precisely 2 irreducible left kg-modules, C and kg/b. The projective dimension of C is certainly less than or equal to 1 since C is projective (because it is a submodule of the projective module kg). kg/b is not projective, however we do have that kg/b = A/C and that the following sequence is exact: 0 C A A/C 0 and C and A are both projective, so A/C = kg/b has projective dimension less than or equal to 1 as well. Thus kg is left semi-hereditary. References [1] Maurice Auslander, Idun Reiten, and Sverre O. Smalø. Representation Theory of Artin Algebras. Cambridge University Press, [2] David S. Dummit and Richard M. Foote. Abstract Algebra. John Wiley and Sons, Inc., third edition, [3] Donald S. Passman. The Algebraic Structure of Group Rings. John Wiley and Sons, Inc.,

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample

More information

Projective and Injective Modules

Projective and Injective Modules Projective and Injective Modules Push-outs and Pull-backs. Proposition. Let P be an R-module. The following conditions are equivalent: (1) P is projective. (2) Hom R (P, ) is an exact functor. (3) Every

More information

Dedicated to Helmut Lenzing for his 60th birthday

Dedicated to Helmut Lenzing for his 60th birthday C O L L O Q U I U M M A T H E M A T I C U M VOL. 8 999 NO. FULL EMBEDDINGS OF ALMOST SPLIT SEQUENCES OVER SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM A S S E M (SHERBROOKE, QUE.) AND DAN Z A C H A R I A (SYRACUSE,

More information

NOTES ON SPLITTING FIELDS

NOTES ON SPLITTING FIELDS NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y

More information

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)

More information

Projective modules: Wedderburn rings

Projective modules: Wedderburn rings Projective modules: Wedderburn rings April 10, 2008 8 Wedderburn rings A Wedderburn ring is an artinian ring which has no nonzero nilpotent left ideals. Note that if R has no left ideals I such that I

More information

ON SPLIT-BY-NILPOTENT EXTENSIONS

ON SPLIT-BY-NILPOTENT EXTENSIONS C O L L O Q U I U M M A T H E M A T I C U M VOL. 98 2003 NO. 2 ON SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM ASSEM (Sherbrooke) and DAN ZACHARIA (Syracuse, NY) Dedicated to Raymundo Bautista and Roberto

More information

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9 COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We

More information

The most important result in this section is undoubtedly the following theorem.

The most important result in this section is undoubtedly the following theorem. 28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems

More information

INJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009

INJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009 INJECTIVE ODULES AND THE INJECTIVE HULL OF A ODULE, November 27, 2009 ICHIEL KOSTERS Abstract. In the first section we will define injective modules and we will prove some theorems. In the second section,

More information

Injective Modules and Matlis Duality

Injective Modules and Matlis Duality Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following

More information

Ring Theory Problems. A σ

Ring Theory Problems. A σ Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

More information

REPRESENTATION THEORY WEEK 9

REPRESENTATION THEORY WEEK 9 REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence

More information

SEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS. D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum

SEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS. D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum SEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum Abstract. We study the semi-invariants and weights

More information

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add

More information

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to

More information

Homework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2.

Homework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2. Homework #05, due 2/17/10 = 10.3.1, 10.3.3, 10.3.4, 10.3.5, 10.3.7, 10.3.15 Additional problems recommended for study: 10.2.1, 10.2.2, 10.2.3, 10.2.5, 10.2.6, 10.2.10, 10.2.11, 10.3.2, 10.3.9, 10.3.12,

More information

Structure of rings. Chapter Algebras

Structure of rings. Chapter Algebras Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together

More information

TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

More information

LECTURE NOTES AMRITANSHU PRASAD

LECTURE NOTES AMRITANSHU PRASAD LECTURE NOTES AMRITANSHU PRASAD Let K be a field. 1. Basic definitions Definition 1.1. A K-algebra is a K-vector space together with an associative product A A A which is K-linear, with respect to which

More information

Math 250: Higher Algebra Representations of finite groups

Math 250: Higher Algebra Representations of finite groups Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear

More information

MATH5735 Modules and Representation Theory Lecture Notes

MATH5735 Modules and Representation Theory Lecture Notes MATH5735 Modules and Representation Theory Lecture Notes Joel Beeren Semester 1, 2012 Contents 1 Why study modules? 4 1.1 Setup............................................. 4 1.2 How do you study modules?.................................

More information

Chapter 1. Wedderburn-Artin Theory

Chapter 1. Wedderburn-Artin Theory 1.1. Basic Terminology and Examples 1 Chapter 1. Wedderburn-Artin Theory Note. Lam states on page 1: Modern ring theory began when J.J.M. Wedderburn proved his celebrated classification theorem for finite

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

REPRESENTATION THEORY. WEEKS 10 11

REPRESENTATION THEORY. WEEKS 10 11 REPRESENTATION THEORY. WEEKS 10 11 1. Representations of quivers I follow here Crawley-Boevey lectures trying to give more details concerning extensions and exact sequences. A quiver is an oriented graph.

More information

COMPRESSIBLE MODULES. Abhay K. Singh Department of Applied Mathematics, Indian School of Mines Dhanbad India. Abstract

COMPRESSIBLE MODULES. Abhay K. Singh Department of Applied Mathematics, Indian School of Mines Dhanbad India. Abstract COMPRESSIBLE MODULES Abhay K. Singh Department of Applied Mathematics, Indian School of Mines Dhanbad-826004 India Abstract The main purpose of this paper is to study under what condition compressible

More information

arxiv: v1 [math.ag] 2 Oct 2009

arxiv: v1 [math.ag] 2 Oct 2009 THE GENERALIZED BURNSIDE THEOREM IN NONCOMMUTATIVE DEFORMATION THEORY arxiv:09100340v1 [mathag] 2 Oct 2009 EIVIND ERIKSEN Abstract Let A be an associative algebra over a field k, and let M be a finite

More information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

More information

Partial orders related to the Hom-order and degenerations.

Partial orders related to the Hom-order and degenerations. São Paulo Journal of Mathematical Sciences 4, 3 (2010), 473 478 Partial orders related to the Hom-order and degenerations. Nils Nornes Norwegian University of Science and Technology, Department of Mathematical

More information

AUSLANDER-REITEN THEORY FOR FINITE DIMENSIONAL ALGEBRAS. Piotr Malicki

AUSLANDER-REITEN THEORY FOR FINITE DIMENSIONAL ALGEBRAS. Piotr Malicki AUSLANDER-REITEN THEORY FOR FINITE DIMENSIONAL ALGEBRAS Piotr Malicki CIMPA, Mar del Plata, March 2016 3. Irreducible morphisms and almost split sequences A algebra, L, M, N modules in mod A A homomorphism

More information

CHARACTERIZATION OF LOCAL RINGS

CHARACTERIZATION OF LOCAL RINGS Tόhoku Math. Journ. Vol. 19, No. 4, 1967 CHARACTERIZATION OF LOCAL RINGS M. SATYANARAYANA (Received April 19,1967) 1. Introduction. A ring with identity is said to be a local ring if the sum of any two

More information

REPRESENTATION THEORY, LECTURE 0. BASICS

REPRESENTATION THEORY, LECTURE 0. BASICS REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite

More information

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End

More information

1.5 The Nil and Jacobson Radicals

1.5 The Nil and Jacobson Radicals 1.5 The Nil and Jacobson Radicals The idea of a radical of a ring A is an ideal I comprising some nasty piece of A such that A/I is well-behaved or tractable. Two types considered here are the nil and

More information

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into

More information

CHARACTERS AS CENTRAL IDEMPOTENTS

CHARACTERS AS CENTRAL IDEMPOTENTS CHARACTERS AS CENTRAL IDEMPOTENTS CİHAN BAHRAN I have recently noticed (while thinking about the skewed orthogonality business Theo has mentioned) that the irreducible characters of a finite group G are

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

The Cartan Decomposition of a Complex Semisimple Lie Algebra

The Cartan Decomposition of a Complex Semisimple Lie Algebra The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with

More information

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation; 4 The path algebra of a quiver 41 Paths For definitions see section 21 (In particular: path; head, tail, length of a path; concatenation; oriented cycle) Lemma Let Q be a quiver If there is a path of length

More information

A functorial approach to modules of G-dimension zero

A functorial approach to modules of G-dimension zero A functorial approach to modules of G-dimension zero Yuji Yoshino Math. Department, Faculty of Science Okayama University, Okayama 700-8530, Japan yoshino@math.okayama-u.ac.jp Abstract Let R be a commutative

More information

The Diamond Category of a Locally Discrete Ordered Set.

The Diamond Category of a Locally Discrete Ordered Set. The Diamond Category of a Locally Discrete Ordered Set Claus Michael Ringel Let k be a field Let I be a ordered set (what we call an ordered set is sometimes also said to be a totally ordered set or a

More information

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1. NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over

More information

ON A GENERALIZED VERSION OF THE NAKAYAMA CONJECTURE MAURICE AUSLANDER1 AND IDUN REITEN

ON A GENERALIZED VERSION OF THE NAKAYAMA CONJECTURE MAURICE AUSLANDER1 AND IDUN REITEN PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 52, October 1975 ON A GENERALIZED VERSION OF THE NAKAYAMA CONJECTURE MAURICE AUSLANDER1 AND IDUN REITEN ABSTRACT. Nakayama proposed a conjecture

More information

Ring Theory Problem Set 2 Solutions

Ring Theory Problem Set 2 Solutions Ring Theory Problem Set 2 Solutions 16.24. SOLUTION: We already proved in class that Z[i] is a commutative ring with unity. It is the smallest subring of C containing Z and i. If r = a + bi is in Z[i],

More information

SYMMETRIC ALGEBRAS OVER RINGS AND FIELDS

SYMMETRIC ALGEBRAS OVER RINGS AND FIELDS SYMMETRIC ALGEBRAS OVER RINGS AND FIELDS THOMAS C. CRAVEN AND TARA L. SMITH Abstract. Connections between annihilators and ideals in Frobenius and symmetric algebras are used to provide a new proof of

More information

5 Dedekind extensions

5 Dedekind extensions 18.785 Number theory I Fall 2017 Lecture #5 09/20/2017 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also

More information

A COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998)

A COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998) A COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998) A category C is skeletally small if there exists a set of objects in C such that every object

More information

Math 210B: Algebra, Homework 4

Math 210B: Algebra, Homework 4 Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor R-Mod S 1 R-Mod, M S 1 M, is exact. First,

More information

33 Idempotents and Characters

33 Idempotents and Characters 33 Idempotents and Characters On this day I was supposed to talk about characters but I spent most of the hour talking about idempotents so I changed the title. An idempotent is defined to be an element

More information

TRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS

TRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS J. Aust. Math. Soc. 94 (2013), 133 144 doi:10.1017/s1446788712000420 TRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS ZHAOYONG HUANG and XIAOJIN ZHANG (Received 25 February

More information

CRing Project, Chapter 5

CRing Project, Chapter 5 Contents 5 Noetherian rings and modules 3 1 Basics........................................... 3 1.1 The noetherian condition............................ 3 1.2 Stability properties................................

More information

A generalized Koszul theory and its applications in representation theory

A generalized Koszul theory and its applications in representation theory A generalized Koszul theory and its applications in representation theory A DISSERTATION SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Liping Li IN PARTIAL FULFILLMENT

More information

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define

More information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC Homological Algebra: Assignment #3 (Solutions) TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate

More information

THE GLOBAL DIMENSION OF THE ENDOMORPHISM RING OF A GENERATOR-COGENERATOR FOR A HEREDITARY ARTIN ALGEBRA

THE GLOBAL DIMENSION OF THE ENDOMORPHISM RING OF A GENERATOR-COGENERATOR FOR A HEREDITARY ARTIN ALGEBRA C. R. Math. Rep. Acad. Sci. Canada Vol. 30 (3) 2008, pp. 89 96 THE GLOBAL DIMENSION OF THE ENDOMORPHISM RING OF A GENERATOR-COGENERATOR FOR A HEREDITARY ARTIN ALGEBRA VLASTIMIL DLAB AND CLAUS MICHAEL RINGEL

More information

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS JENNY WANG Abstract. In this paper, we study field extensions obtained by polynomial rings and maximal ideals in order to determine whether solutions

More information

7 Rings with Semisimple Generators.

7 Rings with Semisimple Generators. 7 Rings with Semisimple Generators. It is now quite easy to use Morita to obtain the classical Wedderburn and Artin-Wedderburn characterizations of simple Artinian and semisimple rings. We begin by reminding

More information

Topics in Module Theory

Topics in Module Theory Chapter 7 Topics in Module Theory This chapter will be concerned with collecting a number of results and constructions concerning modules over (primarily) noncommutative rings that will be needed to study

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

A GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis

A GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis International Electronic Journal of Algebra Volume 20 (2016) 111-135 A GENERAL HEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUAIVE RING David F. Anderson and Elizabeth F. Lewis Received: 28 April 2016 Communicated

More information

On Representability of a Finite Local Ring

On Representability of a Finite Local Ring Journal of Algebra 228, 417 427 (2000) doi:10.1006/jabr.1999.8242, available online at http://www.idealibrary.com on On Representability of a Finite Local Ring A. Z. Anan in Departamento de Matemática

More information

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

More information

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES RICHARD BELSHOFF Abstract. We present results on reflexive modules over Gorenstein rings which generalize results of Serre and Samuel on reflexive modules

More information

Proper classes related with complements and supplements

Proper classes related with complements and supplements Palestine Journal of Mathematics Vol. 4 (Spec. 1) (2015), 471 489 Palestine Polytechnic University-PPU 2015 Proper classes related with complements and supplements RAFAİL ALİZADE and ENGİN MERMUT Communicated

More information

SUMS OF UNITS IN SELF-INJECTIVE RINGS

SUMS OF UNITS IN SELF-INJECTIVE RINGS SUMS OF UNITS IN SELF-INJECTIVE RINGS ANJANA KHURANA, DINESH KHURANA, AND PACE P. NIELSEN Abstract. We prove that if no field of order less than n + 2 is a homomorphic image of a right self-injective ring

More information

Math 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )

Math 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 ) Math 762 Spring 2016 Homework 3 Drew Armstrong Problem 1. Yoneda s Lemma. We have seen that the bifunctor Hom C (, ) : C C Set is analogous to a bilinear form on a K-vector space, : V V K. Recall that

More information

Generalization of Schur s Lemma in Ring Representations on Modules over a Commutative Ring

Generalization of Schur s Lemma in Ring Representations on Modules over a Commutative Ring EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 11, No. 3, 2018, 751-761 ISSN 1307-5543 www.ejpam.com Published by New York Business Global Generalization of Schur s Lemma in Ring Representations

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND

More information

Representations of quivers

Representations of quivers Representations of quivers Gwyn Bellamy October 13, 215 1 Quivers Let k be a field. Recall that a k-algebra is a k-vector space A with a bilinear map A A A making A into a unital, associative ring. Notice

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) These are errata for the Third Edition of the book. Errata from previous editions have been fixed

More information

D. S. Passman. University of Wisconsin-Madison

D. S. Passman. University of Wisconsin-Madison ULTRAPRODUCTS AND THE GROUP RING SEMIPRIMITIVITY PROBLEM D. S. Passman University of Wisconsin-Madison Abstract. This expository paper is a slightly expanded version of the final talk I gave at the group

More information

Computations/Applications

Computations/Applications Computations/Applications 1. Find the inverse of x + 1 in the ring F 5 [x]/(x 3 1). Solution: We use the Euclidean Algorithm: x 3 1 (x + 1)(x + 4x + 1) + 3 (x + 1) 3(x + ) + 0. Thus 3 (x 3 1) + (x + 1)(4x

More information

Polynomial Rings. (Last Updated: December 8, 2017)

Polynomial Rings. (Last Updated: December 8, 2017) Polynomial Rings (Last Updated: December 8, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from Chapters

More information

Universal localization at semiprime Goldie ideals

Universal localization at semiprime Goldie ideals at semiprime Goldie ideals Northern Illinois University UNAM 23/05/2017 Background If R is a commutative Noetherian ring and P R is a prime ideal, then a ring R P and ring homomorphism λ : R R P can be

More information

RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES

RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES HENRIK HOLM Abstract. Given a precovering (also called contravariantly finite) class there are three natural approaches to a homological dimension

More information

How many units can a commutative ring have?

How many units can a commutative ring have? How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

Ideals of Endomorphism rings 15 discrete valuation ring exists. We address this problem in x3 and obtain Baer's Theorem for vector spaces as a corolla

Ideals of Endomorphism rings 15 discrete valuation ring exists. We address this problem in x3 and obtain Baer's Theorem for vector spaces as a corolla 1. Introduction DESCRIBING IDEALS OF ENDOMORPHISM RINGS Brendan Goldsmith and Simone Pabst It is well known that the ring of linear transformations of a nite dimensional vector space is simple, i.e. it

More information

MODULE CATEGORIES WITH INFINITE RADICAL SQUARE ZERO ARE OF FINITE TYPE

MODULE CATEGORIES WITH INFINITE RADICAL SQUARE ZERO ARE OF FINITE TYPE MODULE CATEGORIES WITH INFINITE RADICAL SQUARE ZERO ARE OF FINITE TYPE Flávio U. Coelho, Eduardo N. Marcos, Héctor A. Merklen Institute of Mathematics and Statistics, University of São Paulo C. P. 20570

More information

On Commutative FDF-Rings

On Commutative FDF-Rings International Mathematical Forum, Vol. 6, 2011, no. 53, 2637-2644 On Commutative FDF-Rings Mamadou Barry and Papa Cheikhou Diop Département de Mathématiques et Informatique Faculté des Sciences et Techniques

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) These are errata for the Third Edition of the book. Errata from previous editions have been

More information

Semilattice Modes II: the amalgamation property

Semilattice Modes II: the amalgamation property Semilattice Modes II: the amalgamation property Keith A. Kearnes Abstract Let V be a variety of semilattice modes with associated semiring R. We prove that if R is a bounded distributive lattice, then

More information

ARTINIAN SKEW GROUP RINGS1

ARTINIAN SKEW GROUP RINGS1 PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 75, Number I, June 1979 ARTINIAN SKEW GROUP RINGS1 JAE KEOL PARK Abstract. Let R be a ring with identity and let 0 be a group homomorphism from a

More information

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS Christian Gottlieb Department of Mathematics, University of Stockholm SE-106 91 Stockholm, Sweden gottlieb@math.su.se Abstract A prime ideal

More information

SELF-DUAL HOPF QUIVERS

SELF-DUAL HOPF QUIVERS Communications in Algebra, 33: 4505 4514, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500274846 SELF-DUAL HOPF QUIVERS Hua-Lin Huang Department of

More information

Math 210B:Algebra, Homework 2

Math 210B:Algebra, Homework 2 Math 210B:Algebra, Homework 2 Ian Coley January 21, 2014 Problem 1. Is f = 2X 5 6X + 6 irreducible in Z[X], (S 1 Z)[X], for S = {2 n, n 0}, Q[X], R[X], C[X]? To begin, note that 2 divides all coefficients

More information

Exercises on chapter 4

Exercises on chapter 4 Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain

More information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

Matsumura: Commutative Algebra Part 2

Matsumura: Commutative Algebra Part 2 Matsumura: Commutative Algebra Part 2 Daniel Murfet October 5, 2006 This note closely follows Matsumura s book [Mat80] on commutative algebra. Proofs are the ones given there, sometimes with slightly more

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

LIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS

LIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS LIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS DIETRICH BURDE Abstract. We study Lie algebra prederivations. A Lie algebra admitting a non-singular prederivation is nilpotent. We classify

More information

ALGEBRA HW 3 CLAY SHONKWILER

ALGEBRA HW 3 CLAY SHONKWILER ALGEBRA HW 3 CLAY SHONKWILER (a): Show that R[x] is a flat R-module. 1 Proof. Consider the set A = {1, x, x 2,...}. Then certainly A generates R[x] as an R-module. Suppose there is some finite linear combination

More information

The Structure of Hopf Algebras Acting on Galois Extensions

The Structure of Hopf Algebras Acting on Galois Extensions The Structure of Hopf Algebras Acting on Galois Extensions Robert G. Underwood Department of Mathematics and Computer Science Auburn University at Montgomery Montgomery, Alabama June 7, 2016 Abstract Let

More information

and this makes M into an R-module by (1.2). 2

and this makes M into an R-module by (1.2). 2 1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together

More information

DESCENT OF THE CANONICAL MODULE IN RINGS WITH THE APPROXIMATION PROPERTY

DESCENT OF THE CANONICAL MODULE IN RINGS WITH THE APPROXIMATION PROPERTY PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 6, June 1996 DESCENT OF THE CANONICAL MODULE IN RINGS WITH THE APPROXIMATION PROPERTY CHRISTEL ROTTHAUS (Communicated by Wolmer V. Vasconcelos)

More information

HARTSHORNE EXERCISES

HARTSHORNE EXERCISES HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

More information