On real one-sided ideals in a free algebra

DOI10.1016/j.jpaa.2013.05.012zbMath1283.14025arXiv1208.4837OpenAlexW2077628615MaRDI QIDQ392410

Igor Klep, J. William Helton, Jakob Cimprič, Christopher S. Nelson, Scott A. McCullough

Publication date: 14 January 2014

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

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

zbMATH Keywords

Nullstellensatzreal radicalFree algebra of noncommutative polynomialsvanishing radical

Mathematics Subject Classification ID

Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Computational aspects of associative rings (general theory) (16Z05) Free algebras (08B20) Real algebraic and real-analytic geometry (14P99) Real algebra (13J30)

Related Items (5)

A Characterization of Perfect Strategies for Mirror Games ⋮ Noncommutative nullstellensätze and perfect games ⋮ Finsler's lemma for matrix polynomials ⋮ Free Pick functions: representations, asymptotic behavior and matrix monotonicity in several noncommuting variables ⋮ Bounded real lemma and structured singular value versus diagonal scaling: the free noncommutative setting

Uses Software

• Plural
• NCSOStools
• NCAlgebra

Cites Work

• Every convex free basic semi-algebraic set has an LMI representation
• Semidefinite programming and sums of Hermitian squares of noncommutative polynomials
• Noncommutative sums of squares
• Strong majorization in a free \(*\)-algebra.
• An algorithm for sums of squares of real polynomials
• An introduction to commutative and noncommutative Gröbner bases
• Multiplicative bases, Gröbner bases, and right Gröbner bases
• Quasideterminants
• ``Positive noncommutative polynomials are sums of squares.
• Random matrices over a DVR and LU factorization
• Pfister’s Theorem Fails in the Free Case
• Tracial Nullstellensätze
• NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials
• A positivstellensatz for non-commutative polynomials
• A noncommutative real nullstellensatz corresponds to a noncommutative real ideal: Algorithms
• Noncommutative Unique Factorization Domains
• Handbook of semidefinite programming. Theory, algorithms, and applications
• Algorithms in real algebraic geometry
• Factorization of operator-valued polynomials in several non-commuting variables
• One-sided noncommutative Gröbner bases with applications to computing Green's relations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On real one-sided ideals in a free algebra