On real one-sided ideals in a free algebra

Journal of Pure and Applied Algebra - Tập 218 Số 2 - Trang 269-284 - 2014
Jaka Cimprič1, J. William Helton2, Igor Klep3, Scott McCullough4, Chris Nelson2
1Department of Mathematics, University of Ljubljana, Slovenia#TAB#
2Dept. of Mathematics, University of California, San Diego, United States
3Department of Mathematics The University of Auckland, New Zealand#TAB#
4Department of Mathematics University of Florida Gainesville, United States

Tóm tắt

Từ khóa


Tài liệu tham khảo

Basu, 2006

Bochnack, 1998

Brešar, 2011, Tracial Nullstellensätze, 79

F. Caruso, Factorization of non-commutative polynomials, preprint http://arxiv.org/abs/1002.3180.

Cafuta, 2011, NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials, Optim. Methods Softw., 26, 363, 10.1080/10556788.2010.544312

J. Cimprič, J.W. Helton, S. McCullough, C. Nelson, A Non-commutative Real Nullstellensatz Corresponds to a Non-commutative Real Ideal; Algorithms, Proc. Lond. Math. Soc., http://arxiv.org/abs/1105.4150 (in press).

Cohn, 1963, Noncommutative unique factorization domains, Trans. Amer. Math. Soc., 109, 313, 10.1090/S0002-9947-1963-0155851-X

Cohn, 2006

Gelfand, 2005, Quasideterminants, Adv. Math., 193, 56, 10.1016/j.aim.2004.03.018

Green, 2000, Multiplicative bases, Gröbner bases, and right Gröbner bases, J. Symbolic Comput., 29, 601, 10.1006/jsco.1999.0324

Harrison, 2012, Pfister’s theorem fails in the free case, 189

Helton, 2002, Positive noncommutative polynomials are sums of squares, Ann. of Math. (2), 156, 675, 10.2307/3597203

Helton, 2004, A Positivstellensatz for noncommutative polynomials, Trans. Amer. Math. Soc., 356, 3721, 10.1090/S0002-9947-04-03433-6

Helton, 2012, Every free basic convex semi-algebraic set has an LMI representation, Ann. of Math. (2), 176, 979, 10.4007/annals.2012.176.2.6

Helton, 2007, Strong majorization in a free ∗-algebra, Math. Z., 255, 579, 10.1007/s00209-006-0032-0

J.W. Helton, M.C. de Oliveira, M. Stankus, R.L. Miller, NCAlgebra, 2012 release edition. Available from http://math.ucsd.edu/~ncalg.

Heyworth, 2001, One-sided noncommutative Gröbner bases with applications to computing Green’s relations, J. Algebra, 242, 401, 10.1006/jabr.2001.8801

Kazuyoshi, 1993, Factorization of noncommutative polynomials, IPSJ J., 34, 2431

B. Keller, Algorithms and Orders for Finding Noncommutative Gröbner Bases, Ph.D. Thesis at the Virginia Polytechnic Institute and State University, USA, 1997. Available at http://scholar.lib.vt.edu/theses/available/etd-405814212975790/.

Klep, 2010, Semidefinite programming and sums of hermitian squares of noncommutative polynomials, J. Pure Appl. Algebra, 214, 740, 10.1016/j.jpaa.2009.07.003

Lance, 1997, Finitely-presented C∗-algebras, vol. 495, 255

V. Levandovskyy, Non-commutative Computer Algebra for polynomial algebras: Gröbner bases, applications and implementation, Ph.D. Thesis at Universität Kaiserslautern, Germany, 2005. Available at http://kluedo.ub.uni-kl.de/volltexte/2005/1883/.

Marshall, 2008, Positive polynomials and sums of squares, Amer. Math. Soc.

McCullough, 2001, Factorization of operator-valued polynomials in several noncommuting variables, Linear Algebra Appl., 326, 193, 10.1016/S0024-3795(00)00285-8

McCullough, 2005, Noncommutative sums of squares, Pacific J. Math., 218, 167, 10.2140/pjm.2005.218.167

Mora, 1994, An introduction to commutative and noncommutative Gröbner bases, Theoret. Comput. Sci., 134, 131, 10.1016/0304-3975(94)90283-6

Prestel, 2001

Powers, 1998, An algorithm for sums of squares of real polynomials, J. Pure Appl. Algebra, 127, 99, 10.1016/S0022-4049(97)83827-3

B. Reinert, On Gröbner Bases in Monoid and Group Rings, Ph.D. Thesis at Universität Kaiserslautern, Germany, 1995. Available at http://www-madlener.informatik.uni-kl.de/staff/reinert/Privat/diss.long_en.html.

Scheiderer, 2009, Positivity and sums of squares: a guide to recent results, vol. 149, 271

Tapper, 1999, Embedding ∗-algebras into C∗-algebras and C∗-ideals generated by words, J. Oper. Theory, 41, 351

2000