Abstract:Let K be any field. In this paper we give a complete list of the indecomposable left injective module over the Jacobson algebra K<X,Y | XY = 1>, i.e., the free associative K-algebra on two (noncommuting) generators, modulo the single relation XY = 1. This is the natural continuation of the paper of the second two authors with Gene Abrams on the charaterization of the injective envelope of the simple modules over K<X, Y | XY = 1>.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to give a complete list of all indecomposable left - injective modules over the Jacobson algebra \(K\langle X, Y\mid XY = 1\rangle\). Specifically, the author aims to extend previous research on injective envelopes of simple left modules to cover all indecomposable left - injective modules.
### Background and Problem Description
The Jacobson algebra \(K\langle X, Y\mid XY = 1\rangle\) is a non - commutative free associative algebra, consisting of two generators \(X\) and \(Y\), and satisfying the relation \(XY = 1\). This algebra has been widely studied by many mathematicians in the past 70 years, especially in the context of ring theory and module theory.
### Main Objectives of the Paper
In this paper, the authors' goals are:
1. **List all indecomposable left - injective modules**: For any field \(K\), give a complete list of all indecomposable left - injective modules over the Jacobson algebra \(K\langle X, Y\mid XY = 1\rangle\).
2. **Extend previous research**: Previously, the authors have studied injective envelopes of simple left modules. Now they hope to further explore all indecomposable left - injective modules.
### Main Results
Through detailed analysis and proof, the authors obtained the following main conclusions:
- All indecomposable left - injective modules can be divided into three categories:
1. \(E(Rw)\), where \(Rw\) is a simple left module.
2. Laurent series module \(K(c)\).
3. For each irreducible polynomial \(f(x)\in K[x]\) and \(f(0) = 1\), the corresponding Prüfer module \(U_f\).
These results provide an important theoretical basis for understanding the module structure over the Jacobson algebra.
### Representation of Formulas
The formulas involved in the paper include:
- Definition of the Jacobson algebra: \[K\langle X, Y\mid XY = 1\rangle\]
- Laurent series module: \[K((c))\]
- Prüfer module: \[U_f=\varinjlim_n R/Rf^n(c)\]
In conclusion, through a comprehensive study of indecomposable injective modules over the Jacobson algebra, this paper fills the gaps in previous research and provides important theoretical support for further research in related fields.