Discussion Overview
The discussion centers on the properties of the endomorphism ring of simple modules over finite dimensional complex algebras. Participants explore the dimensionality of the endomorphism ring, specifically End_{R}(S), where R is a finite dimensional C-algebra and S is a simple R-module. The conversation touches on concepts such as basis construction, finite generation, and Schur's lemma.
Discussion Character
- Technical explanation
- Conceptual clarification
- Mathematical reasoning
Main Points Raised
- One participant questions why End_{R}(S) is finite dimensional, suggesting a need for a basis construction and possible embedding considerations.
- Another participant confirms that S is finitely generated over R and C.
- A third participant states that for a finite dimensional C-algebra R, there are finitely many isomorphism classes of simple R-modules, which are also finite dimensional.
- It is noted that since S is a finite-dimensional C-vector space, End_{R}(S) is a subspace of End_{C}(S), leading to the conclusion that it is finite-dimensional over C.
- One participant acknowledges the relationship between End_{R}(S) and End_{C}(S) and expresses a desire to understand the proof of Schur's lemma to show that End_{R}(S) is isomorphic to C.
Areas of Agreement / Disagreement
Participants generally agree on the finite dimensionality of End_{R}(S) and the implications of Schur's lemma, but there is still some uncertainty regarding the construction of a basis and the details of the proof.
Contextual Notes
Some assumptions about the properties of finite dimensional algebras and modules are present, but not all details are fully resolved, particularly regarding the basis construction for End_{R}(S).