Effective detection of nonsplit module extensions.

DOI10.1016/J.JPAA.2004.10.013zbMATH Open1127.16035arXivmath/0206141OpenAlexW2005185574MaRDI QIDQ1779472FDOQ1779472

Edward S. Letzter

Publication date: 1 June 2005

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is semisimple, and (2) if there exist nonsplit extensions of non-isomorphic irreducible R-modules whose dimensions sum to no greater than n. Our basic strategy is to reduce each of the considered representation theoretic decision problems to the problem of deciding whether a particular set of commutative polynomials has a common zero. Standard methods of computational algebraic geometry can then be applied (in principle).

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

zbMATH Keywords

algorithmssemisimple representationsfinitely presented algebrasextensions of irreducible modulescomputable fields

Mathematics Subject Classification ID

Computational aspects of associative rings (general theory) (16Z05) Representations of orders, lattices, algebras over commutative rings (16G30) Finite rings and finite-dimensional associative algebras (16P10)

Cites Work

• An upper bound for the length of a finite-dimensional algebra
• Graded algebras of global dimension 3
• Sharp Effective Nullstellensatz
• On Azumaya algebras and finite dimensional representations of rings
• Finding the radical of an algebra of linear transformations
• Prime spectra of quantum semisimple groups
• Computing the structure of finite algebras
• On the Representation Theory of Solvable Lie Algebras
• Finite dimensional representations of algebras
• Counting equivalence classes of irreducible representations
• Constructing irreducible representations of finitely presented algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• CONSTRUCTING FULL BLOCK TRIANGULAR REPRESENTATIONS OF ALGEBRAS
• Detecting infinitely many semisimple representations in a fixed finite dimension.
• Testing modules of groups of even order for simplicity

This page was built for publication: Effective detection of nonsplit module extensions.

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