basic algebra
Let be a finite dimensional, unital algebra over a field . By Krull-Schmidt Theorem can be decomposed as a (right) -module as follows:
where each is an indecomposable module and this decomposition is unique.
Definition. The algebra is called (right) basic if is not isomorphic
to when .
Of course we may easily define what does it mean for algebra to be left basic. Fortunetly these properties coincide. Let as state some known facts (originally can be found in [1]):
Proposition.
- 1.
A finite algebra over a field is basic if and only if the algebra is isomorphic to a product
of fields . Thus is right basic iff it is left basic;
- 2.
Every simple module over a basic algebra is one-dimensional;
- 3.
For any finite-dimensional, unital algebra over there exists finite-dimensional, unital, basic algebra over such that the category
of finite-dimensional modules over is -linear equivalent
to the category of finite-dimensional modules over ;
- 4.
Let be a finite-dimensional, basic and connected (i.e. cannot be written as a product of nontrivial algebras) algebra over a field . Then there exists a bound quiver such that ;
- 5.
If is a bound quiver over a field , then both and are basic algebras.
References
- 1 I. Assem, D. Simson, A. Skowronski, Elements of the Representation Theory of Associative Algebras, vol 1., Cambridge University Press 2006, 2007