Semisimplicity and Some Basic Structure Theorems
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Classification of Finite Abelian Groups
Math 317 C1 John Sullivan Spring 2003 Classification of Finite Abelian Groups (Notes based on an article by Navarro in the Amer. Math. Monthly, February 2003.) The fundamental theorem of finite abelian groups expresses any such group as a product of cyclic groups: Theorem. Suppose G is a finite abelian group. Then G is (in a unique way) a direct product of cyclic groups of order pk with p prime. Our first step will be a special case of Cauchy’s Theorem, which we will prove later for arbitrary groups: whenever p |G| then G has an element of order p. Theorem (Cauchy). If G is a finite group, and p |G| is a prime, then G has an element of order p (or, equivalently, a subgroup of order p). ∼ Proof when G is abelian. First note that if |G| is prime, then G = Zp and we are done. In general, we work by induction. If G has no nontrivial proper subgroups, it must be a prime cyclic group, the case we’ve already handled. So we can suppose there is a nontrivial subgroup H smaller than G. Either p |H| or p |G/H|. In the first case, by induction, H has an element of order p which is also order p in G so we’re done. In the second case, if ∼ g + H has order p in G/H then |g + H| |g|, so hgi = Zkp for some k, and then kg ∈ G has order p. Note that we write our abelian groups additively. Definition. Given a prime p, a p-group is a group in which every element has order pk for some k. -
BLECHER • All Numbers Below Are Integers, Usually Positive. • Read Up
MATH 4389{ALGEBRA `CHEATSHEET'{BLECHER • All numbers below are integers, usually positive. • Read up on e.g. wikipedia on the Euclidean algorithm. • Diophantine equation ax + by = c has solutions iff gcd(a; b) doesn't divide c. One may find the solutions using the Euclidean algorithm (google this). • Euclid's lemma: prime pjab implies pja or pjb. • gcd(m; n) · lcm(m; n) = mn. • a ≡ b (mod m) means mj(a − b). An equivalence relation (reflexive, symmetric, transitive) on the integers. • ax ≡ b (mod m) has a solution iff gcd(m; a)jb. • Division Algorithm: there exist unique integers q and r with a = bq + r and 0 ≤ r < b; so a ≡ r (mod b). • Fermat's theorem: If p is prime then ap ≡ a (mod p) Also, ap−1 ≡ 1 (mod p) if p does not divide a. • For definitions for groups, rings, fields, subgroups, order of element, etc see Algebra fact sheet" below. • Zm = f0; 1; ··· ; m−1g with addition and multiplication mod m, is a group and commutative ring (= Z =m Z) • Order of n in Zm (i.e. smallest k s.t. kn ≡ 0 (mod m)) is m=gcd(m; n). • hai denotes the subgroup generated by a (the smallest subgroup containing a). For example h2i = f0; 2; 2+2 = 4; 2 + 2 + 2 = 6g in Z8. (In ring theory it may be the subring generated by a). • A cyclic group is a group that can be generated by a single element (the group generator). They are abelian. • A finite group is cyclic iff G = fg; g + g; ··· ; g + g + ··· + g = 0g; so G = hgi. -
Cohomology Theory of Lie Groups and Lie Algebras
COHOMOLOGY THEORY OF LIE GROUPS AND LIE ALGEBRAS BY CLAUDE CHEVALLEY AND SAMUEL EILENBERG Introduction The present paper lays no claim to deep originality. Its main purpose is to give a systematic treatment of the methods by which topological questions concerning compact Lie groups may be reduced to algebraic questions con- cerning Lie algebras^). This reduction proceeds in three steps: (1) replacing questions on homology groups by questions on differential forms. This is accomplished by de Rham's theorems(2) (which, incidentally, seem to have been conjectured by Cartan for this very purpose); (2) replacing the con- sideration of arbitrary differential forms by that of invariant differential forms: this is accomplished by using invariant integration on the group manifold; (3) replacing the consideration of invariant differential forms by that of alternating multilinear forms on the Lie algebra of the group. We study here the question not only of the topological nature of the whole group, but also of the manifolds on which the group operates. Chapter I is concerned essentially with step 2 of the list above (step 1 depending here, as in the case of the whole group, on de Rham's theorems). Besides consider- ing invariant forms, we also introduce "equivariant" forms, defined in terms of a suitable linear representation of the group; Theorem 2.2 states that, when this representation does not contain the trivial representation, equi- variant forms are of no use for topology; however, it states this negative result in the form of a positive property of equivariant forms which is of interest by itself, since it is the key to Levi's theorem (cf. -
Topics in Module Theory
Chapter 7 Topics in Module Theory This chapter will be concerned with collecting a number of results and construc- tions concerning modules over (primarily) noncommutative rings that will be needed to study group representation theory in Chapter 8. 7.1 Simple and Semisimple Rings and Modules In this section we investigate the question of decomposing modules into \simpler" modules. (1.1) De¯nition. If R is a ring (not necessarily commutative) and M 6= h0i is a nonzero R-module, then we say that M is a simple or irreducible R- module if h0i and M are the only submodules of M. (1.2) Proposition. If an R-module M is simple, then it is cyclic. Proof. Let x be a nonzero element of M and let N = hxi be the cyclic submodule generated by x. Since M is simple and N 6= h0i, it follows that M = N. ut (1.3) Proposition. If R is a ring, then a cyclic R-module M = hmi is simple if and only if Ann(m) is a maximal left ideal. Proof. By Proposition 3.2.15, M =» R= Ann(m), so the correspondence the- orem (Theorem 3.2.7) shows that M has no submodules other than M and h0i if and only if R has no submodules (i.e., left ideals) containing Ann(m) other than R and Ann(m). But this is precisely the condition for Ann(m) to be a maximal left ideal. ut (1.4) Examples. (1) An abelian group A is a simple Z-module if and only if A is a cyclic group of prime order. -
Lecture 1.3: Direct Products and Sums
Lecture 1.3: Direct products and sums Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 8530, Advanced Linear Algebra M. Macauley (Clemson) Lecture 1.3: Direct products and sums Math 8530, Advanced Linear Algebra 1 / 5 Overview In previous lectures, we learned about vectors spaces and subspaces. We learned about what it meant for a subset to span, to be linearly independent, and to be a basis. In this lecture, we will see how to create new vector spaces from old ones. We will see several ways to \multiply" vector spaces together, and will learn how to construct: the complement of a subspace the direct sum of two subspaces the direct product of two vector spaces M. Macauley (Clemson) Lecture 1.3: Direct products and sums Math 8530, Advanced Linear Algebra 2 / 5 Complements and direct sums Theorem 1.5 (a) Every subspace Y of a finite-dimensional vector space X is finite-dimensional. (b) Every subspace Y has a complement in X : another subspace Z such that every vector x 2 X can be written uniquely as x = y + z; y 2 Y ; z 2 Z; dim X = dim Y + dim Z: Proof Definition X is the direct sum of subspaces Y and Z that are complements of each other. More generally, X is the direct sum of subspaces Y1;:::; Ym if every x 2 X can be expressed uniquely as x = y1 + ··· + ym; yi 2 Yi : We denote this as X = Y1 ⊕ · · · ⊕ Ym. M. Macauley (Clemson) Lecture 1.3: Direct products and sums Math 8530, Advanced Linear Algebra 3 / 5 Direct products Definition The direct product of X1 and X2 is the vector space X1 × X2 := (x1; x2) j x1 2 X1; x2 2 X2 ; with addition and multiplication defined component-wise. -
Nilpotent Elements Control the Structure of a Module
Nilpotent elements control the structure of a module David Ssevviiri Department of Mathematics Makerere University, P.O BOX 7062, Kampala Uganda E-mail: [email protected], [email protected] Abstract A relationship between nilpotency and primeness in a module is investigated. Reduced modules are expressed as sums of prime modules. It is shown that presence of nilpotent module elements inhibits a module from possessing good structural properties. A general form is given of an example used in literature to distinguish: 1) completely prime modules from prime modules, 2) classical prime modules from classical completely prime modules, and 3) a module which satisfies the complete radical formula from one which is neither 2-primal nor satisfies the radical formula. Keywords: Semisimple module; Reduced module; Nil module; K¨othe conjecture; Com- pletely prime module; Prime module; and Reduced ring. MSC 2010 Mathematics Subject Classification: 16D70, 16D60, 16S90 1 Introduction Primeness and nilpotency are closely related and well studied notions for rings. We give instances that highlight this relationship. In a commutative ring, the set of all nilpotent elements coincides with the intersection of all its prime ideals - henceforth called the prime radical. A popular class of rings, called 2-primal rings (first defined in [8] and later studied in [23, 26, 27, 28] among others), is defined by requiring that in a not necessarily commutative ring, the set of all nilpotent elements coincides with the prime radical. In an arbitrary ring, Levitzki showed that the set of all strongly nilpotent elements coincides arXiv:1812.04320v1 [math.RA] 11 Dec 2018 with the intersection of all prime ideals, [29, Theorem 2.6]. -
Arxiv:1909.05807V1 [Math.RA] 12 Sep 2019 Cs T
MODULES OVER TRUSSES VS MODULES OVER RINGS: DIRECT SUMS AND FREE MODULES TOMASZ BRZEZINSKI´ AND BERNARD RYBOLOWICZ Abstract. Categorical constructions on heaps and modules over trusses are con- sidered and contrasted with the corresponding constructions on groups and rings. These include explicit description of free heaps and free Abelian heaps, coprod- ucts or direct sums of Abelian heaps and modules over trusses, and description and analysis of free modules over trusses. It is shown that the direct sum of two non-empty Abelian heaps is always infinite and isomorphic to the heap associated to the direct sums of the group retracts of both heaps and Z. Direct sum is used to extend a given truss to a ring-type truss or a unital truss (or both). Free mod- ules are constructed as direct sums of a truss. It is shown that only free rank-one modules are free as modules over the associated truss. On the other hand, if a (finitely generated) module over a truss associated to a ring is free, then so is the corresponding quotient-by-absorbers module over this ring. 1. Introduction Trusses and skew trusses were defined in [3] in order to capture the nature of the distinctive distributive law that characterises braces and skew braces [12], [6], [9]. A (one-sided) truss is a set with a ternary operation which makes it into a heap or herd (see [10], [11], [1] or [13]) together with an associative binary operation that distributes (on one side or both) over the heap ternary operation. If the specific bi- nary operation admits it, a choice of a particular element could fix a group structure on a heap in a way that turns the truss into a ring or a brace-like system (which becomes a brace provided the binary operation admits inverses). -
Arxiv:2007.07508V1 [Math.GR] 15 Jul 2020 Re H Aoia Eopstosaeapplied
CANONICAL DECOMPOSITIONS OF ABELIAN GROUPS PHILL SCHULTZ Abstract. Every torsion–free abelian group of finite rank has two essentially unique complete direct decompositions whose summands come from specific classes of groups. 1. Introduction An intriguing feature of abelian group theory is that torsion–free groups, even those of finite rank, may fail to have unique complete decompositions; see for ex- ample [Fuchs, 2015, Chapter 12, §5] or [Mader and Schultz, 2018]). Therefore it is interesting to show that every such group has essentially unique complete de- compositions with summands from certain identifiable classes. For example, it was shown in [Mader and Schultz, 2018] that every finite rank torsion–free group G has a Main Decomposition, G = Gcd ⊕ Gcl where Gcd is completely decomposable and Gcl has no rank 1 direct summand; Gcd is unique up to isomorphism and Gcl unique up to near isomorphism. Let G be the class of torsion–free abelian groups of finite rank and let G ∈ G. The aim of this paper is to show that: • G = Gsd ⊕Gni where Gsd is a direct sum of strongly indecomposable groups and Gni has no strongly indecomposable direct summand. Gsd is unique up to isomorphism and Gni up to near isomorphism. • G = G(fq) ⊕ G(rq) ⊕ G(dq), where G(fq) is an extension of a completely decomposable group by a finite group, G(rq) is an extension of a completely decomposable group by an infinite reduced torsion group, and G(dq) is an extension of a completely decomposable group by an infinite torsion group which has a divisible summand. -
On the Injective Hulls of Semisimple Modules
transactions of the american mathematical society Volume 155, Number 1, March 1971 ON THE INJECTIVE HULLS OF SEMISIMPLE MODULES BY JEFFREY LEVINEC) Abstract. Let R be a ring. Let T=@ieI E(R¡Mt) and rV=V\isI E(R/Mt), where each M¡ is a maximal right ideal and E(A) is the injective hull of A for any A-module A. We show the following: If R is (von Neumann) regular, E(T) = T iff {R/Mt}le, contains only a finite number of nonisomorphic simple modules, each of which occurs only a finite number of times, or if it occurs an infinite number of times, it is finite dimensional over its endomorphism ring. Let R be a ring such that every cyclic Ä-module contains a simple. Let {R/Mi]ie¡ be a family of pairwise nonisomorphic simples. Then E(@ts, E(RIMi)) = T~[¡eIE(R/M/). In the commutative regular case these conditions are equivalent. Let R be a commutative ring. Then every intersection of maximal ideals can be written as an irredundant intersection of maximal ideals iff every cyclic of the form Rlf^\te, Mi, where {Mt}te! is any collection of maximal ideals, contains a simple. We finally look at the relationship between a regular ring R with central idempotents and the Zariski topology on spec R. Introduction. Eckmann and Schopf [2] have shown the existence and unique- ness up to isomorphism of the injective hull of any module. The problem has been to take a specific module and find explicitly its injective hull. -
Lectures on Non-Commutative Rings
Lectures on Non-Commutative Rings by Frank W. Anderson Mathematics 681 University of Oregon Fall, 2002 This material is free. However, we retain the copyright. You may not charge to redistribute this material, in whole or part, without written permission from the author. Preface. This document is a somewhat extended record of the material covered in the Fall 2002 seminar Math 681 on non-commutative ring theory. This does not include material from the informal discussion of the representation theory of algebras that we had during the last couple of lectures. On the other hand this does include expanded versions of some items that were not covered explicitly in the lectures. The latter mostly deals with material that is prerequisite for the later topics and may very well have been covered in earlier courses. For the most part this is simply a cleaned up version of the notes that were prepared for the class during the term. In this we have attempted to correct all of the many mathematical errors, typos, and sloppy writing that we could nd or that have been pointed out to us. Experience has convinced us, though, that we have almost certainly not come close to catching all of the goofs. So we welcome any feedback from the readers on how this can be cleaned up even more. One aspect of these notes that you should understand is that a lot of the substantive material, particularly some of the technical stu, will be presented as exercises. Thus, to get the most from this you should probably read the statements of the exercises and at least think through what they are trying to address. -
Chapter 3 Direct Sums, Affine Maps, the Dual Space, Duality
Chapter 3 Direct Sums, Affine Maps, The Dual Space, Duality 3.1 Direct Products, Sums, and Direct Sums There are some useful ways of forming new vector spaces from older ones. Definition 3.1. Given p 2vectorspacesE ,...,E , ≥ 1 p the product F = E1 Ep can be made into a vector space by defining addition⇥···⇥ and scalar multiplication as follows: (u1,...,up)+(v1,...,vp)=(u1 + v1,...,up + vp) λ(u1,...,up)=(λu1,...,λup), for all ui,vi Ei and all λ R. 2 2 With the above addition and multiplication, the vector space F = E E is called the direct product of 1 ⇥···⇥ p the vector spaces E1,...,Ep. 151 152 CHAPTER 3. DIRECT SUMS, AFFINE MAPS, THE DUAL SPACE, DUALITY The projection maps pr : E E E given by i 1 ⇥···⇥ p ! i pri(u1,...,up)=ui are clearly linear. Similarly, the maps in : E E E given by i i ! 1 ⇥···⇥ p ini(ui)=(0,...,0,ui, 0,...,0) are injective and linear. It can be shown (using bases) that dim(E E )=dim(E )+ +dim(E ). 1 ⇥···⇥ p 1 ··· p Let us now consider a vector space E and p subspaces U1,...,Up of E. We have a map a: U U E 1 ⇥···⇥ p ! given by a(u ,...,u )=u + + u , 1 p 1 ··· p with u U for i =1,...,p. i 2 i 3.1. DIRECT PRODUCTS, SUMS, AND DIRECT SUMS 153 It is clear that this map is linear, and so its image is a subspace of E denoted by U + + U 1 ··· p and called the sum of the subspaces U1,...,Up. -
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 charac- terizations of simple Artinian and semisimple rings. We begin by reminding you of a few elementary facts about semisimple modules. Recall that a module RM is simple in case it is a non-zero module with no non-trivial submodules. 7.1. Lemma. [Schur’s Lemma] If M is a simple module and N is a module, then 1. Every non-zero homomorphism M → N is a monomorphism; 2. Every non-zero homomorphism N → M is an epimorphism; 3. If N is simple, then every non-zero homomorphism M → N is an isomorphism; In particular, End(RM) is a division ring. A module RM is semisimple if it is the sum of its simple submodules. Then an easy, but important, characterization of semisimple modules is given in [1] (see Theorem 9.6): 7.2. Proposition. For left R-module RM the following are equivalent: (a) M is semisimple; (b) M is a direct sum of simple submodules; (c) Every submodule of M is a direct summand. Let’s begin with a particularly nice example. Indeed, let D be a division ring. Then the regular module DD is a simple module, and hence, a simple progenerator. In fact, every nitely generated module over D is just a nite dimensional D-vector space, and hence, free. That is, the progenerators for D are simply the non-zero nite dimensional D-vector spaces, and so the rings equivalent to D are nothing more than the n n matrix rings over D.