View source for Representation of an associative algebra

<!--
r0814302.png
$#A+1 = 218 n = 1
$#C+1 = 218 : ~/encyclopedia/old_files/data/R081/R.0801430 Representation of an associative algebra
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

'' $  A $ of dimension  $  n $''

A homomorphism of the algebra  $  A $
over a field  $  k $
into the algebra of matrices  $  M _ {n} ( k) $, 
i.e. a mapping assigning to each  $  a \in A $
a square matrix  $  T ( a) $
of order  $  n $
such that

$$ \tag{* }
T ( \lambda a + \mu b)  =  \lambda T ( a) + \mu T ( b) \ \ 
\textrm{ and } \ \ 
T ( ab)  =  T ( a) T ( b),
$$

where  $  a, b \in A $, 
$  \lambda , \mu \in k $. 
It is usually also required that the unit in  $  A $
corresponds to the identity matrix; sometimes  $  A $
is also required to be finite-dimensional.

Every indecomposable representation of a finite-dimensional semi-simple algebra is equivalent to a direct summand of the [[Regular representation|regular representation]]. Hence, every finite-dimensional semi-simple algebra is an algebra of finite (representation) type, i.e. has a finite number of non-isomorphic indecomposable representations. Non-semi-simple algebras can be both of finite and of infinite representation type (e.g. such is the algebra  $  A = \{ {1, r, s } : {r  ^ {2} = s  ^ {2} = rs = sr = 0 } \} $). 
Algebras of infinite type are further divided into algebras of wild type, whose classification problem contains the unsolved problem on matrix pairs (i.e. the problem of simultaneously reducing to canonical form two linear operators on a finite-dimensional space), and algebras of tame type.

Basic problems studied in the representation theory of associative algebras are that of obtaining necessary and sufficient conditions for an algebra to belong to one of the types listed, as well as that of classifying the indecomposable representations in the finite and tame cases. In the general case these problems have not been solved. The description of algebras of finite or tame type and their representations has been obtained for algebras the square of whose radical equals zero (cf. [[#References|[2]]], [[#References|[4]]], [[#References|[8]]]–[[#References|[10]]]). The Brauer–Thrall problem has been solved, i.e. it has been proved that, over any field, an algebra of infinite type has indecomposable representations of arbitrary high dimension, while over a perfect field there are infinitely many dimensions in each of which there are infinitely many indecomposable representations (cf. [[#References|[5]]], [[#References|[7]]]). Any algebra of finite type over an algebraically closed field has a multiplicative basis, i.e. a basis for which the product of two arbitrary elements in it is either zero or belongs to the basis [[#References|[6]]]. The problem of dividing the class of group algebras into tame and wild ones has been completely solved [[#References|[1]]].

Strongly related with representations of associative algebras are representations of other objects: rings, partially ordered sets, lattices, boxes.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> V.M. Bondarenko, Yu.A. Drozd, "Representation type of finite groups" ''J. Soviet Math.'' , '''20''' : 6 (1982) pp. 2515–2528 ''Zap. Nauchn. Sem. Leningr. Univ.'' , '''71''' (1977) pp. 24–41 {{MR|0472984}} {{ZBL|0497.16015}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> S.A. Kruglyak, "Representations of algebras the square of whose radical equals zero" ''J. Soviet Math.'' , '''3''' : 5 (1975) pp. 629–636 ''Zap. Nauchn. Sem. Leningr. Univ.'' , '''28''' (1972) pp. 60–69</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> C.W. Curtis, I. Reiner, "Representation theory of finite groups and associative algebras" , Interscience (1962) {{MR|0144979}} {{ZBL|0131.25601}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> L.A. Nazarova, "Representations of quivers of infinite type" ''Math. USSR Izv.'' , '''7''' : 4 (1973) pp. 749–792 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''37''' : 4 (1973) pp. 752–791 {{MR|0338018}} {{ZBL|0298.15012}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> U. Fischbacher, "Une nouvelle preuve d'un théorème de Nazarova et Roiter" ''C.R. Acad. Sci. Paris'' , '''300''' (1984) pp. 259–263 {{MR|0785064}} {{ZBL|}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> R. Bautista, P. Gabriel, A. Roiter, L. Salmeron, "Representation finite algebras and multiplicative bases" ''Invent. Math.'' , '''81''' (1985) pp. 217–285 {{MR|0799266}} {{ZBL|0575.16012}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> A.V. Roiter, "Unbounded dimensionality of indecomposable representations of an algebra with an infinite number of indecomposable representations" ''Math. USSR Izv.'' , '''2''' : 6 (1968) pp. 1223–1230 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''32''' : 6 (1968) pp. 1275–1282</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> V. Dlab, C. Ringel, "Indecomposable representations of graphs and algebras" , Amer. Math. Soc. (1976) {{MR|0447344}} {{ZBL|0332.16015}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> P. Donovan, M.R. Freislich, "The representation theory of finite graphs and associated algebras" , Carleton Univ. (1974) {{MR|0357233}} {{ZBL|0304.08006}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> P. Gabriel, "Unzerlegbare Darstellungen I" ''Manuscripta Math.'' , '''6''' : 1 (1972) pp. 71–103 {{MR|0332887}} {{ZBL|0232.08001}} </TD></TR></table>

====Comments====
Thus, for an associative algebra  $  A $
over the field  $  k $ (with  $  1 $), 
a representation of  $  A $
is an algebra homomorphism  $  T:  A \rightarrow  \mathop{\rm End} _ {k} ( E) $, 
where  $  E $
is a vector space over  $  k $
and  $   \mathop{\rm End} _ {k} ( E) $
denotes the  $  k $-algebra of all (linear) endomorphisms of  $  E $. 
A subrepresentation of the representation  $  T:  A \rightarrow  \mathop{\rm End} _ {k} ( E) $
is given by a subspace  $  E  ^  \prime  $
of  $  E $
which is  $  T ( a) $-invariant for all  $  a \in A $, 
and, in this case, one obtains a representation on  $  E / E  ^  \prime  $, 
called a quotient representation. Given a representation  $  T :  A \rightarrow  \mathop{\rm End} _ {k} ( E) $
of  $  A $, 
there is the dual (or contragredient) representation  $  T  ^  \star  :  A ^ { \mathop{\rm op} } \rightarrow  \mathop{\rm End} _ {k} ( E  ^  \star  ) $
of the [[opposite algebra]]  $  A ^ { \mathop{\rm op} } $
of  $  A $ (this is the algebra on the underlying vector space of  $  A $
with multiplication  $  \star $
defined by  $  a \star b = ba $); 
by definition,  $  T  ^  \star  ( a) ( \varphi )( e) = \varphi ( T( a)( e)) $
for  $  a \in A ^ { \mathop{\rm op} } = A $, 
$  e \in E $, 
$  \varphi \in E  ^  \star  =  \mathop{\rm Hom} _ {k} ( E, k) $. 
Cf. also [[Contragredient representation|Contragredient representation]].

Let  $  T :  A \rightarrow  \mathop{\rm End} _ {k} ( E) $
be a representation; instead of  $  T( a) ( e) $
for  $  a \in A $, 
$  e \in E $, 
one often writes just  $  ae $; 
in this way  $  E $
becomes a left  $  A $-module, and any left  $  A $-module is obtained in this way. Given two representations  $  T _ {1} :  A \rightarrow  \mathop{\rm End} _ {k} ( E _ {1} ) $
and  $  T _ {2} :  A \rightarrow  \mathop{\rm End} _ {k} ( E _ {2} ) $, 
a mapping  $  f $
from  $  T _ {1} $
to  $  T _ {2} $
is a linear transformation  $  f :  E _ {1} \rightarrow E _ {2} $
satisfying  $  f( T _ {1} ( a) e) = T _ {2} ( a)( f( e)) $
for  $  a \in A $, 
$  e \in E $, 
or, rewritten,  $  f ( ae) = af( e) $; 
thus it is an  $  A $-module homomorphism. If  $  T _ {i} :  A \rightarrow  \mathop{\rm End} _ {k} ( E _ {i} ) $
is a family of representations, their direct sum is the representation  $  T :  A \rightarrow  \mathop{\rm End} _ {k} ( E ) $, 
where  $  E = \oplus _ {i} E _ {i} $
is the direct sum of vector spaces and  $  T ( A) \mid  _ {E _ {i}  } = T _ {i} ( a) $, 
for all  $  a \in A $. 
The category of all representations of  $  A $, 
equivalently, the category of (left)  $  A $-modules, is an Abelian category. Note that if  $  e $
is a central idempotent of  $  A $ (i.e.  $  e  ^ {2} = e \in A $
and  $  ea = ae $
for all  $  a \in A $) 
and  $  X $
is an  $  A $-module, then  $  eX $
and  $  ( 1- e) X $
are  $  A $-modules,  $  X $
is the direct sum of  $  eX $
and  $  ( 1- e) X $, 
and  $   \mathop{\rm Hom} _ {A} ( eX, ( 1- e) X) = 0 $. 
On the other hand,  $  A = A _ {1} \times A _ {2} $, 
where  $  A _ {1} = Ae $, 
$  A _ {2} = A( 1- e) $, 
and one may regard  $  eX $
as an  $  A _ {1} $-module and  $  ( 1- e) X $
as an  $  A _ {2} $-module. Thus, dealing with representations of  $  A $
one may assume that  $  A $
is connected (that is, the only central idempotents of  $  A $
are  $  0 $
and  $  1 $).

A representation of  $  A $
is said to be simple (or irreducible) provided it is non-zero and the only proper subrepresentation is the zero representation. The Schur lemma asserts that the endomorphism ring of a simple representation is a division ring (cf. [[Ring with division|Ring with division]]). A representation  $  X $
of  $  A $
is said to be of finite length if there is a sequence of subrepresentations  $  0 = X _ {0} \subset  X _ {1} \subset  \dots \subset  X _ {n} = X $
such that  $  X _ {i} / X _ {i-1} $
is simple, for  $  1 \leq  i \leq  n $; 
such a sequence is called a composition series of  $  X $, 
$  n $
is its length, and the factors  $  X _ {i} / X _ {i-1} $
are called the composition factors (cf. also [[Composition sequence|Composition sequence]]). If a representation has a composition series, then any two composition series have the same length, and there is a bijection between the composition factors of the two series (the [[Jordan–Hölder theorem|Jordan–Hölder theorem]]). This may be formulated also as follows: the [[Grothendieck group|Grothendieck group]] of all finite-length representations modulo exact sequences is the free Abelian group on the set of isomorphism classes of simple representations. A representation of  $  A $
is called semi-simple if it is a direct sum of simple representations, or, equivalently, if any subrepresentation is a direct summand.

A representation of  $  A $
is said to be indecomposable if it cannot be written as the direct sum of two non-zero representations. If  $  X $
is an indecomposable representation of  $  A $
of finite length, then its endomorphism ring  $   \mathop{\rm End} ( _ {A} X) $
is a [[Local ring|local ring]]. For a finite direct sum of representations with local endomorphism rings, all direct sum decompositions into indecomposable representations are equivalent (the Krull–Schmidt theorem, cf. [[Krull–Remak–Schmidt theorem|Krull–Remak–Schmidt theorem]]). It follows that the Grothendieck group of all finite-length modules modulo split exact sequences is the free Abelian group on the set of isomorphism classes of indecomposable representations.

The algebra  $  A $
is said to be representation-finite if there are only finitely many isomorphism classes of indecomposable representations of  $  A $; 
it is called tame if it is not representation-finite but all families of indecomposable representations are  $  1 $-parametric, and wild if the category  $  A $-mod of all finite-dimensional  $  A $-modules involves the classification problem for pairs of square matrices up to simultaneous equivalence [[#References|[a7]]]. Let  $  A $
be a finite-dimensional algebra. If the dimension of each finite-dimensional indecomposable representation is bounded, then  $  A $
is representation-finite (the first Brauer–Thrall conjecture, solved by V.A. Roiter [[#References|[7]]]) and any representation is the direct sum of finite-dimensional indecomposable ones [[#References|[a12]]]. The second Brauer–Thrall conjecture asserts that if  $  A $
is not representation-finite and  $  k $
is an infinite field, then there are infinitely many isomorphism classes of dimension  $  d $, 
for infinitely many  $  d $. 
The conjecture has been solved for perfect  $  k $
by R. Bautista [[#References|[a3]]] and K. Bongartz [[#References|[a5]]], see also [[#References|[a11]]]. If  $  A $
is not representation-finite, then  $  A $
is either tame or wild and not both (Drozd's theorem [[#References|[a7]]]). Certain minimal representation-infinite algebras have been classified by D. Happel and D. Vossieck [[#References|[a9]]], and questions concerning minimal representation-infinite algebras over algebraically closed fields can be transferred to this list; in particular, one gets in this way a criterion for finite-representation type [[#References|[a4]]], [[#References|[a8]]]. In general, questions concerning finite-dimensional algebras over algebraically closed fields are treated by considering quivers with relations (see [[Quiver|Quiver]]).

Let  $  A $
be a finite-dimensional algebra. If  $  A $
has no non-zero nilpotent ideal, then  $  A $
is said to be semi-simple. The algebra  $  A $
is semi-simple if and only if any representation of  $  A $
is semi-simple; in this case, the simple representations are just the indecomposable summands of the [[Regular representation|regular representation]] of  $  A $. 
In general, let  $  N $
be the radical of  $  A $ (cf. [[Radical of rings and algebras|Radical of rings and algebras]]), it is the maximal nilpotent ideal of  $  A $
and  $  A / N $
is semi-simple. The simple representations of  $  A $
are the indecomposable summands of  $  A /N $; 
up to isomorphism, there are only finitely many. The indecomposable projective representations are the direct summands of the regular representation of  $  A $, 
the indecomposable injective representations are the duals of the regular representation of  $  A ^ { \mathop{\rm op} } $. 
Any indecomposable [[Projective representation|projective representation]] of  $  A $
has a unique simple quotient representation, any indecomposable injective representation of  $  A $
has a unique simple subrepresentation; in this way one obtains a bijection between the isomorphism classes of the simple  $  A $-modules and the indecomposable projective  $  A $-modules, as well as the indecomposable injective  $  A $-modules.

The basic notions of modern representation theory are due to M. Auslander and I. Reiten [[#References|[a1]]]: Given any indecomposable  $  A $-
module  $  Z $, 
there is a mapping  $  g:  Y \rightarrow Z $
which is minimal right almost split: it is not a split epimorphism, given any mapping  $  g  ^  \prime  :  Y  ^  \prime  \rightarrow Z $
which is not a split endomorphism, there is a  $  y :  Y  ^  \prime  \rightarrow Y $
with  $  gy = y  ^  \prime  $, 
and given  $  e :  Y \rightarrow Y $
with  $  ge = g $, 
then  $  e $
is an automorphism. If  $  Z $
is projective, take for  $  Y $
its maximal submodule and for  $  g $
the inclusion mapping. For  $  Z $
non-projective, the minimal right almost split mapping  $  g $
is surjective, its kernel  $  X $
is indecomposable (and not injective), and the inclusion mapping  $  f:  X \rightarrow Y $
is minimal left almost split (defined by the dual properties); also, any indecomposable non-injective  $  A $-
module occurs in this way as  $  X $. 
These exact sequences  $  0 \rightarrow X \rightarrow  ^ {f} Y \rightarrow  ^ {g} Z \rightarrow 0 $
with  $  f $
minimal left almost split and  $  g $
minimal right almost split are called almost-split sequences (or Auslander–Reiten sequences). They are uniquely determined by  $  X $
and by  $  Z $; 
given  $  Z $, 
the corresponding  $  A $-module  $  X = \tau Z $
can be calculated as follows: Take a minimal projective representation  $  P _ {1} \rightarrow  ^ {p} P _ {0} \rightarrow Z \rightarrow 0 $
of  $  Z $, 
let  $   \mathop{\rm Tr}  Z =  \mathop{\rm Hom} _ {A} ( p, A) $, 
then  $  X = (  \mathop{\rm Tr}  Z)  ^  \star  $; 
the construction  $  \tau $
is called the Auslander–Reiten translation.

The Auslander–Reiten quiver  $  \Gamma _ {A} $
of  $  A $
has as vertices the isomorphism classes  $  [ X] $
of the finite-dimensional indecomposable  $  A $-modules  $  X $, 
and there is an arrow  $  [ X] \rightarrow [ Y] $
provided there exists an irreducible mapping  $  X \rightarrow Y $ (note that a mapping  $  f:  X \rightarrow Y $
with  $  X, Y $
indecomposable is called irreducible if  $  f $
is not invertible and given a factorization  $  X \rightarrow ^ {f _ {1} } I \rightarrow ^ {f _ {2} } Y $
of  $  f $, 
then  $  f _ {1} $
is a split monomorphism or  $  f _ {2} $
is a split epimorphism); in addition,  $  \Gamma _ {A} $
is equipped with the Auslander–Reiten translation  $  \tau $. 
The meshes of the Auslander–Reiten quiver are as follows: Given an indecomposable non-projective representation  $  Z $
and an indecomposable representation  $  Y $, 
there is an irreducible mapping  $  Y \rightarrow Z $
if and only if there is an irreducible mapping  $  \tau :  Z \rightarrow Y $ (this is the case if and only if  $  Y $
is a direct summand of  $  E $, 
where  $  E $
is the middle term of the almost-split sequence  $  0 \rightarrow \tau Z \rightarrow E \rightarrow Z \rightarrow 0 $). 
The Auslander–Reiten quiver of  $  A $
is an important combinatorial invariant of  $  A $, 
often one may recover  $  A $
from  $  \Gamma _ {A} $. 
In case  $  A $
is connected and  $  \Gamma _ {A} $
has a finite component,  $  A $
is representation-finite (Auslander's theorem, [[#References|[a1]]]). Deleting from  $  \Gamma _ {A} $
the vertices of the form  $  [ \tau  ^ {n} I ] $
with  $  I $
indecomposable injective,  $  n \in \mathbf N $, 
and  $  [ \tau  ^ {-} n P ] $
with  $  P $
indecomposable projective,  $  n \in \mathbf N $, 
one obtains the stable Auslander–Reiten quiver  $  \Gamma _ {A}  ^ {s} $. 
For  $  A $
representation-finite, the components of  $  \Gamma _ {A}  ^ {s} $
are related to Dynkin diagrams (cf. [[Dynkin diagram|Dynkin diagram]]) [[#References|[a13]]], [[#References|[a10]]]. Using covering theory [[#References|[a6]]], the study of representation-finite algebras can be reduced to that of representation-directed algebras (an algebra is called representation directed if there are only finitely many indecomposable representations  $  X _ {1}, \dots, X _ {n} $
and they can be ordered so that  $   \mathop{\rm Hom} ( X _ {i} , X _ {j} ) = 0 $
for  $  i > j $). 
The Auslander–Reiten quiver of a representation-directed algebra  $  A $ (and therefore the category  $  A $-mod) can be constructed effectively [[#References|[a14]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> M. Auslander, "Applications of morphisms determined by objects" R. Gordon (ed.) , ''Representation Theory of Algebras'' , M. Dekker (1978) pp. 245–327</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> M. Auslander, I. Reiten, "Representation theory of Artin algebras III" ''Comm. in Algebra'' (1975) pp. 239–294 {{MR|0379599}} {{ZBL|0331.16027}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> R. Bautista, "On algebras of strongly unbounded representation type" ''Comment. Math. Helv.'' , '''60''' (1985) pp. 392–399 {{MR|0814146}} {{ZBL|0584.16017}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> K. Bongartz, "A criterion for finite representation type" ''Math. Ann.'' , '''269''' (1984) pp. 1–12 {{MR|0756773}} {{ZBL|0552.16012}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> K. Bongartz, "Indecomposables are standard" ''Comment. Math. Helv.'' , '''60''' (1985) pp. 400–410 {{MR|0814147}} {{ZBL|0591.16014}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> K. Bongartz, P. Gabriel, "Covering spaces in representation theory" ''Invent. Math.'' , '''65''' (1981) pp. 381–387 {{MR|0643558}} {{ZBL|0482.16026}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> Yu.A. Drozd, "Tame and wild matrix problems" V. Dlab (ed.) P. Gabriel (ed.) , ''Representation Theory II'' , ''Lect. notes in math.'' , '''832''' , Springer (1980) pp. 242–258 {{MR|0607157}} {{ZBL|0457.16018}} </TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> P. Dräxler, "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081430/r081430220.png" />-Fasersummen in darstellungsendlichen Algebren" ''J. Algebra'' , '''113''' (1988) pp. 430–437 {{MR|0929771}} {{ZBL|0659.16020}} </TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> D. Happel, D. Vossieck, "Minimal algebras of infinite representation type with preprojective component" ''Manuscripta Math.'' , '''42''' (1983) pp. 221–243 {{MR|0701205}} {{ZBL|0516.16023}} </TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> D. Happel, U. Preiser, C.M. Ringel, "Vinberg's characterization of Dynkin diagrams using subadditive functions with application to DTr-periodic modules" V. Dlab (ed.) P. Gabriel (ed.) , ''Representation Theory II'' , ''Lect. notes in math.'' , '''832''' , Springer (1980) pp. 280–294</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> L.A. Nazarova, A.V. Roiter, "Categorical matrix problems and the Brauer–Thrall conjecture" , Kiev (1973) (In Russian)</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top"> C.M. Ringel, H. Tachikawa, "QF-3 rings" ''J. Reine Angew. Math.'' , '''272''' (1975) pp. 49–72 {{MR|0379578}} {{ZBL|0318.16006}} </TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top"> Chr. Riedtmann, "Algebren, Darstellungsköcher, Überlagerungen, und zurück" ''Comment. Math. Helv.'' , '''55''' (1980) pp. 199–224 {{MR|0576602}} {{ZBL|0444.16018}} </TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top"> C.M. Ringel, "Tame algebras and integral quadratic forms" , ''Lect. notes in math.'' , '''1099''' , Springer (1984) {{MR|0774589}} {{ZBL|0546.16013}} </TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top"> D. Happel, "Triangulated categories in representation theory of finite dimensional algebras" , London Math. Soc. (1988) {{MR|935124}} {{ZBL|0635.16017}} </TD></TR></table>

''C.M. Ringel''
[[Category:Associative rings and algebras]]