The aim of the present paper is to construct a pair of rings of endomorphisms such that they are Morita similar but the rings on which the bimodules are defined may not be Morita similar.
Constructing Homomorphism Spaces and Endomorphism Rings
β Scribed by Edward L. Green; Lenwood S. Heath; Craig A. Struble
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 364 KB
- Volume
- 32
- Category
- Article
- ISSN
- 0747-7171
No coin nor oath required. For personal study only.
β¦ Synopsis
We present a new deterministic algorithm for constructing homomorphism spaces and endomorphism rings of finite-dimensional modules. The modules are given via vertex projective presentations over path algebras and finite-dimensional quotients of path algebras. We use the theory of right GrΓΆbner bases to encode modules and to construct appropriate systems of equations for computing homomorphism spaces and endomorphism rings. The algorithm is implemented in the computer algebra system GAP and is included in Hopf, a computational package for noncommutative algebra. The performance of our implementation for computing endomorphism rings is experimentally compared with the implementation in Magma for the same class of modules. These experiments show that our implementation has a better time complexity.
π SIMILAR VOLUMES
This paper gives the following description of K of the endomorphism ring of a 0 finitely generated projective module. THEOREM. Let T be a ring and P a finitely generated, projecti¨e T-module. Let I Ž . Ž . be the trace ideal of P. Then K End P is isomorphic to a subgroup of K T, I . If, n phic to