Irreducible module

In Section 8.3, we focus on completely reducible modules over associative rings with 1. Section 8.4 deals with irreducible modules over these rings. In Section 8.5, we combine the results obtained in these two sections to obtain the famous (and complete) description of semisimple associative rings with 1 which was first given by Joseph Wedderburn and Emil Artin. 

Irreducible Modules over Associative Rings with 1... 

In this section, we shall combine our results about completely reducible modules obtained in Section 8.3 with those about irreducible modules (and artinian simple rings) obtained in Section 8.4 in order to give a complete description of semisimple rings. 

Looking at Theorem 8.5.3(i), (iv) and Theorem 8.5.6(i) one has a complete picture about the set of all irreducible modules over a semisimple ring. Thus, if all these irreducible modules are finitely generated vector spaces over C,... 

From a computational viewpoint, the presence of recycle streams is one of the impediments in the sequential solution of a flowsheeting problem. Without recycle streams, the flow of information would proceed in a forward direction, and the cal-culational sequence for the modules could easily be determined from the precedence order analysis outlined earlier. With recycle streams present, large groups of modules have to be solved simultaneously, defeating the concept of a sequential solution module by module. For example, in Figure 15.8, you cannot make a material balance on the reactor without knowing the information in stream S6, but you have to carry out the computations for the cooler module first to evaluate S6, which in turn depends on the separator module, which in turn depends on the reactor module. Partitioning identifies those collections of modules that have to be solved simultaneously (termed maximal cyclical subsystems, loops, or irreducible nets). 

Now we restrict everything to the T-fixed component X. We restrict the tautological vector bundle V to A, which is still denoted by V. It has a structure of a T-module and decomposes into irreducibles ... 

The 77-module M is called irreducible if 0 is a maximal submodule of M. Note that 0 is not an irreducible 77-module. 

Theorem 8.3.6 tells us that the structure of a completely reducible D-module depends on the structure of its irreducible submodules. This is the reason why we shall now have a closer look at irreducible D-modules. 

Throughout this section, the letter D stands for an associative ring with 1, the letter M for an irreducible D-module. 

Since D is assumed to be semisimple, the D-module D is completely reducible. Thus, by Lemma 8.3.2, H is completely reducible. Thus, by Proposition 8.3.4, H is a direct sum of irreducible submodules. Now, considering that II is a ring with 1, the claim follows from Lemma 8.5.1. 

Since D is assumed to be a ring with 1, there exists a finite set K. of irreducible submodules of the D-module D such that 1 is element of the sum C of the elements of 1C. It follows that m = ml G mC. 

Proof, (i) Let x be an element in Irr(I)). Then, by definition, there exists an irreducible D-module M such that x = Xm ... 

Let M be an irreducible H-module. Then, by Theorem 8.5.4(h), H = Endc(M). Thus, H is the direct sum of xiai) copies of M, so that the desired equation follows from (i). 

The standard module possesses an irreducible submodule which induces a character of CS all values of which can be computed explicitly. In order to introduce this module we (temporarily) set... 

Let x be an irreducible character of CS. Since CS is semisimple, we obtain from Theorem 8.6.2(i) together with Theorem 8.6.4(h) that there exists exactly one maximal homogeneous submodule Hx of the OS -module CS such... 

Lemma 9.4.5 Let L be a set of two different involutions. Assume that C is algebraically closed and that C[L = CS. Then, for each irreducible CS-module M, dimc(M) < 2. 

---