Linearizing the word problem in (some) free fields

DOI10.1142/S0218196718500546zbMATH Open1400.16010arXiv1701.03378WikidataQ129484312 ScholiaQ129484312MaRDI QIDQ4554885FDOQ4554885

Authors: Konrad Schrempf 

Publication date: 12 November 2018

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Abstract: We describe a solution of the word problem in free fields (coming from non-commutative polynomials over a commutative field) using elementary linear algebra, provided that the elements are given by minimal linear representations. It relies on the normal form of Cohn and Reutenauer and can be used more generally to (positively) test rational identities. Moreover we provide a construction of minimal linear representations for the inverse of non-zero elements.

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

Recommendations

• ON THE CONSTRUCTION OF THE FREE FIELD
• A standard form in (some) free fields: how to construct minimal linear representations
• A factorization theory for some free fields
• Rational series in the free group and the Connes operator
• A Normal Form in Free Fields

zbMATH Keywords

linearizationrealizationword problemrational seriesadmissible linear systemminimal linear representation

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Matrix pencils (15A22) Infinite-dimensional and general division rings (16K40) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10)

Cites Work

• The diamond lemma for ring theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Noncommutative rational series with applications
• Minimal Identities for Algebras
• Matrices de Hankel
• On the definition of a family of automata
• Title not available (Why is that?)
• Quasideterminants
• Title not available (Why is that?)
• Noncommutative convexity arises from linear matrix inequalities
• Convergence of the largest singular value of a polynomial in independent Wigner matrices
• Analytic subordination theory of operator-valued free additive convolution and the solution of a general random matrix problem
• On the Problems of Constructing Minimal Realizations for Two-Dimensional Filters
• Inversion height in free fields
• Matrix coefficient realization theory of noncommutative rational functions
• Rational identities and applications to algebra and geometry
• ON THE CONSTRUCTION OF THE FREE FIELD
• Title not available (Why is that?)
• A Normal Form in Free Fields
• Commutative/noncommutative rank of linear matrices and subspaces of matrices of low rank
• Title not available (Why is that?)
• Endomorphism Rings of Finitely Presented Modules over Free Algebras

Cited In (8)

• Realizations of non-commutative rational functions around a matrix centre. I: synthesis, minimal realizations and evaluation on stably finite algebras
• Realizations of non-commutative rational functions around a matrix centre. II: The lost-abbey conditions
• The word problem of \(\mathbb{Z}^n\) is a multiple context-free language
• Rational series in the free group and the Connes operator
• Free (rational) derivation
• A standard form in (some) free fields: how to construct minimal linear representations
• On the factorization of non-commutative polynomials (in free associative algebras)
• A factorization theory for some free fields

This page was built for publication: Linearizing the word problem in (some) free fields

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