How to compute the Wedderburn decomposition of a finite-dimensional associative algebra.

DOI10.1515/GCC.2011.003MaRDI QIDQ2882824zbMATH OpenOpenAlexFDO

Authors Murray R. Bremner

Publication date 7 May 2012

Published in Groups, Complexity, Cryptology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1008.2006

zbMATH Keywords

algorithmsfinite-dimensional associative algebrasmatrix algebrasradicalsrepresentationstransformation semigroupsWedderburn decompositions

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to associative rings and algebras (16-04) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Representations of associative Artinian rings (16G10) Finite-dimensional division rings (16K20) Finite rings and finite-dimensional associative algebras (16P10) Endomorphism rings; matrix rings (16S50) Computational aspects of associative rings (general theory) (16Z05) Semigroups of transformations, relations, partitions, etc. (20M20) Semigroup rings, multiplicative semigroups of rings (20M25) Representation of semigroups; actions of semigroups on sets (20M30)

Abstract: This is a survey paper on algorithms that have been developed during the last 25 years for the explicit computation of the structure of an associative algebra of finite dimension over either a finite field or an algebraic number field. This constructive approach was initiated in 1985 by Friedl and Ronyai and has since been developed by Cohen, de Graaf, Eberly, Giesbrecht, Ivanyos, Kuronya and Wales. I illustrate these algorithms with the case n = 2 of the rational semigroup algebra of the partial transformation semigroup PT_n on n elements; this generalizes the full transformation semigroup and the symmetric inverse semigroup, and these generalize the symmetric group S_n.

Review text

Let \(A\) be finite-dimensional algebra over either a finite field or an algebraically closed field. The paper under review surveys various algorithms available to do the following:{\parindent=8mm\begin{itemize}\item[(i)] compute a basis for the radical \(R\) of \(A\);\item[(ii)] compute structure constants for the semisimple quotient \(A/R\);\item[(iii)] compute a basis for the center of \(A/R\) consisting of orthogonal idempotents;\item[(iv)] compute the identity matrices in simple ideals of \(A/R\);\item[(v)] compute an isomorphism of each simple ideal of \(A/R\) with a full matrix algebra;\item[(vi)] compute explicit matrices for irreducible representations of \(A\).NEWLINENEWLINE\end{itemize}} The author illustrates these algorithms on the example of the semigroup algebra of the full partial transformation semigroup \(PT_2\) on a \(2\)-element set.

Recommendations

• scientific article; zbMATH DE number 1254290
• scientific article; zbMATH DE number 475366
• Efficient decomposition of associative algebras over finite fields
• scientific article; zbMATH DE number 1276816
• An algorithm to compute the Wedderburn decomposition of semisimple group algebras implemented in the GAP package \texttt{wedderga}.

Cites work

• Complex Representations of Finite Monoids
• Decomposition of algebras over finite fields and number fields
• Decompositions of algebras over \(\mathbb{R}\) and \(\mathbb{C}\)
• Efficient decomposition of associative algebras over finite fields
• Finding the radical of an algebra of linear transformations
• Joseph H. M. Wedderburn and the structure theory of algebras
• On the irreducible representations of a finite semigroup

Cited in

(18)

• An algorithm to compute the Wedderburn decomposition of semisimple group algebras implemented in the GAP package \texttt{wedderga}.
• Efficient decomposition of associative algebras over finite fields
• Computing with matrix and basic algebras
• Cryptographic algorithms on groups and algebras
• Structure of the rational monoid algebra for Boolean matrices of order 3
• Computing the Wedderburn decomposition of group algebras by the Brauer–Witt theorem
• Jordan quadruple systems
• Primitive orthogonal idempotents for R-trivial monoids.
• scientific article; zbMATH DE number 1254290 (Why is no real title available?)
• scientific article; zbMATH DE number 1276816 (Why is no real title available?)
• scientific article; zbMATH DE number 475366 (Why is no real title available?)
• Splitting full matrix algebras over algebraic number fields.
• Special identities for comtrans algebras
• Universal associative envelopes of nonassociative triple systems
• Exact hierarchical reductions of dynamical models via linear transformations
• Decomposing finite \(\mathbb{Z}\)-algebras
• On a deformed Jordan triple system
• Recognition of division algebras.

This page was built for publication: How to compute the Wedderburn decomposition of a finite-dimensional associative algebra.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2882824)