Tensor isomorphism by conjugacy of Lie algebras

DOI10.1016/J.JALGEBRA.2022.04.014MaRDI QIDQ2136932zbMATH OpenOpenAlexWikidataFDO

Authors Joshua Maglione, James B. Wilson, Peter A. Brooksbank

Publication date 16 May 2022

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

derivation algebraLie algebratensor isomorphism

Mathematics Subject Classification ID

Multilinear algebra, tensor calculus (15A69) Computational methods for problems pertaining to nonassociative rings and algebras (17-08) Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10)

Abstract: We introduce an algorithm to decide isomorphism between tensors. The algorithm uses the Lie algebra of derivations of a tensor to compress the space in which the search takes place to a so-called densor space. To make the method practicable we give a polynomial-time algorithm to solve a generalization of module isomorphism for a common class of Lie modules. As a consequence, we show that isomorphism testing is in polynomial time for tensors whose derivation algebras are classical Lie algebras and whose densor spaces are 1-dimensional. The method has been implemented in the Magma computer algebra system.

Recommendations

• Testing isomorphism of graded algebras
• Testing isomorphism of modules.
• Recognising Tensor Products of Matrix Groups
• scientific article; zbMATH DE number 1253966
• Computing tensor decompositions of finite matrix groups

Cites work

• A fast isomorphism test for groups whose Lie algebra has genus 2
• Algorithmic construction of Chevalley bases
• Algorithms based on \(*\)-algebras, and their applications to isomorphism of polynomials with one secret, group isomorphism, and polynomial identity testing
• Computer construction of split Cartan subalgebras
• Computing isometry groups of Hermitian maps
• CONSTRUCTING AUTOMORPHISM GROUPS OF p-GROUPS
• Duality between \(p\)-groups with three characteristic subgroups and semisimple anti-commutative algebras
• Exact sequences of inner automorphisms of tensors
• Filters compatible with isomorphism testing
• Groups acting on tensor products.
• scientific article; zbMATH DE number 3699132 (Why is no real title available?)
• scientific article; zbMATH DE number 475366 (Why is no real title available?)
• scientific article; zbMATH DE number 682071 (Why is no real title available?)
• scientific article; zbMATH DE number 1757924 (Why is no real title available?)
• scientific article; zbMATH DE number 1418992 (Why is no real title available?)
• Improved Algorithms for Alternating Matrix Space Isometry: From Theory to Practice
• Isomorphism in expanding families of indistinguishable groups.
• Isomorphism testing for \(p\)-groups
• Maximal linear groups induced on the Frattini quotient of a \(p\)-group
• More characteristic subgroups, Lie rings, and isomorphism tests for p-groups.
• On \(p\)-groups with automorphism groups related to the exceptional Chevalley groups
• On automorphisms of groups, rings, and algebras
• Splitting full matrix algebras over algebraic number fields.
• Testing isomorphism of graded algebras
• Testing isomorphism of modules.
• The Magma algebra system. I: The user language
• The module isomorphism problem reconsidered.

Cited in

(4)

• The isomorphism problem for tensor algebras of multivariable dynamical systems
• Testing isomorphism of graded algebras
• On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials I: Tensor Isomorphism-Completeness
• Tensor roots of isomorphisms and weak limits of transformations

Describes a project that uses

Uses Software

• Magma
• TensorSpace

This page was built for publication: Tensor isomorphism by conjugacy of Lie algebras

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