Bourbaki

Example

Tag 00CG, permanent. Cite it as [Bourbaki, Tag 00CG].

Algebra, VIII, p. 177, § 10. Modules over an Artinian Ring

Take P equal to AsA_s. For λ∈S\lambda \in \mathscr{S}, denote the opposite field of the commutant of the simple A-module SλS_{\lambda} by DλD_{\lambda} and the dimension of SλS_{\lambda} viewed as a right vector space over the field DλD_{\lambda} by m(λ)m(\lambda ). We know that m(λ)m(\lambda ) is equal to the multiplicity [As/rAs:λ][A_s/\mathfrak{r}A_s:\lambda ] (VIII, p. 143, Proposition 11). Consequently, the A-module AsA_s is isomorphic to ⊕λ∈SPλm(λ)\oplus_{\lambda\in\mathscr{S}}P^{m(\lambda)}_{\lambda}.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed edition, 2023, Springer Nature. Not translated.