direct decompositionsfinite-dimensional \(\mathbb{C}\)-algebrasSchurian algebrastensor product decompositionsunique tensor factorizations
Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Finite rings and finite-dimensional associative algebras (16P10) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10)
By an algebra the author means a finite-dimensional, associative, unitary \(\mathbb{C}\)-algebra, where \(\mathbb{C}\) is the field of complex numbers. An algebra \(A\) is called \(\oplus\)-indecomposable if in each direct decomposition \(A=A_1\oplus A_2\) exactly one of the summands is trivial, i.e. \(A_i=0\). Similarly an algebra is called \(\otimes\)-indecomposable if in each tensor product decomposition \(A=A_1\otimes A_2\) exactly one of the factors is trivial, i.e. \(A_i=\mathbb{C}\). The main result established by the author is: A \(\oplus\)-indecomposable, finite-dimensional \(\mathbb{C}\)-algebra \(A\) has an essentially unique tensor factorization \(A=A_1\otimes\cdots\otimes A_r\) into non-trivial, \(\otimes\)-indecomposable factors \(A_i\). Thus the semiring of isomorphism classes of finite-dimensional \(\mathbb{C}\)-algebras is a polynomial semiring \(N[X]\). Also \(\mathbb{C}\) can be replaced by an arbitrary field of characteristic zero if one restricts oneself to Schurian algebras.
- Unique prime factorization for infinite tensor product factors
- Unique tensor factorization of loop-resistant algebras over a field of finite characteristic
- Generators and tensor factors of purely inseparable fields
- scientific article; zbMATH DE number 1277447 (Why is no real title available?)
- scientific article; zbMATH DE number 5344 (Why is no real title available?)
This page was built for publication: Unique tensor factorization of algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1818751)