Conjugacy classes of left ideals of a finite dimensional algebra. (Q2637443)

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\).