Minimal faithful modules over Artinian rings
Let R be a left Artinian ring, and M a faithful left R-module such that no proper submodule or homomorphic image of M is faithful. If R is local, and socle(R) is central in R, we show that length(M=J(R)M) + length(socle(M)) ≤ length(socle(R)) + 1. If R is a finite-dimensional algebra over an algebra...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2015 |
| País: | España |
| Institución: | Universitat Autònoma de Barcelona |
| Repositorio: | Dipòsit Digital de Documents de la UAB |
| Idioma: | inglés |
| OAI Identifier: | oai:ddd.uab.cat:133137 |
| Acceso en línea: | https://ddd.uab.cat/record/133137 https://dx.doi.org/urn:doi:10.5565/PUBLMAT_59215_01 |
| Access Level: | acceso abierto |
| Palabra clave: | Faithful modules over artinian rings Length of a module or bimodule Socle of a ring or module |
| Sumario: | Let R be a left Artinian ring, and M a faithful left R-module such that no proper submodule or homomorphic image of M is faithful. If R is local, and socle(R) is central in R, we show that length(M=J(R)M) + length(socle(M)) ≤ length(socle(R)) + 1. If R is a finite-dimensional algebra over an algebraically closed field, but not necessarily local or having central socle, we get an inequality similar to the above, with the length of socle(R) interpreted as its length as a bimodule, and the summand +1 replaced by the Euler characteristic of a graph determined by the bimodule structure of socle(R). The statement proved is slightly more general than this summary; we examine the question of whether much stronger generalizations are possible. If a faithful module M over an Artinian ring is only assumed to have one of the above minimality properties { no faithful proper submodules, or no faithful proper homomorphic images { we find that the length of M=J(R)M in the former case, and of socle(M) in the latter, is ≤ length(socle(R)). The proofs involve general lemmas on decompositions of modules. |
|---|