Conjugacy classes of left ideals of a finite dimensional algebra. (Q2637443): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Arkadiusz Meçel / rank | |||
Property / author | |||
Property / author: Okniński, Jan / rank | |||
Property / reviewed by | |||
Property / reviewed by: Eric Jespers / rank | |||
Revision as of 21:21, 9 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Conjugacy classes of left ideals of a finite dimensional algebra. |
scientific article |
Statements
Conjugacy classes of left ideals of a finite dimensional algebra. (English)
0 references
11 February 2014
0 references
Let \(A\) be a finite dimensional unital algebra over a field \(K\) and let \(U(A)\) denote its group of invertible elements. On the set \(L(A)\) of left ideals of \(A\) one defines an equivalence relation \(\sim\) as follows: \(L_1\sim L_2\) if \(L_1 =L_2u\) for some \(u\in A\). The set of equivalence classes is denoted by \(C(A)\), it clearly coincides with the set of conjugacy classes of left ideals in \(A\). The set \(C(A)\) can be considered as a semigroup under the natural operation induced from the multiplication in \(A\). The semigroup \(C(A)\) was introduced and studied in [\textit{J. Okniński} and \textit{L. E. Renner}, J. Algebra 264, No. 2, 479-495 (2003; Zbl 1039.16011)]; in particular the finiteness of \(C(A)\) was investigated and it was shown that it is strongly related to the finite representation property of finite dimensional algebras. In this paper the authors continue these investigations. The main aim is to discover finite invariants of an algebra \(A\) that can be expressed in terms of \(C(A)\). The first main result says that \(C(A)\) is finite if and only if the number of conjugacy classes of nilpotent left ideals in \(A\) is finite. The second main result says the following for an algebraically closed field \(K\) and finite dimensional \(K\)-algebras \(A\) and \(B\). If the square of the radical of \(A\) is zero and \(C(A)\) is finite, then \(C(B)\cong C(A)\) implies that \(B\cong A\).
0 references
finite dimensional algebras
0 references
left ideals
0 references
semigroups
0 references
conjugacy classes
0 references
groups of units
0 references
finite representation type
0 references
finiteness conditions
0 references