On noncommutative finite factorization domains
HTML articles powered by AMS MathViewer
- by Jason P. Bell, Albert Heinle and Viktor Levandovskyy PDF
- Trans. Amer. Math. Soc. 369 (2017), 2675-2695 Request permission
Abstract:
A domain $R$ is said to have the finite factorization property if every nonzero nonunit element of $R$ has at least one and at most finitely many distinct factorizations up to multiplication of irreducible factors by central units. Let $k$ be an algebraically closed field and let $A$ be a $k$-algebra. We show that if $A$ has an associated graded ring that is a domain with the property that the dimension of each homogeneous component is finite, then $A$ is a finite factorization domain. As a corollary, we show that many classes of algebras have the finite factorization property, including Weyl algebras, enveloping algebras of finite-dimensional Lie algebras, quantum affine spaces and shift algebras. This provides a termination criterion for factorization procedures over these algebras. In addition, we give explicit upper bounds on the number of distinct factorizations of an element in terms of data from the filtration.References
- Daniel D. Anderson (ed.), Factorization in integral domains, Lecture Notes in Pure and Applied Mathematics, vol. 189, Marcel Dekker, Inc., New York, 1997. MR 1460766
- D. D. Anderson and David F. Anderson, Elasticity of factorizations in integral domains, J. Pure Appl. Algebra 80 (1992), no. 3, 217–235. MR 1170712, DOI 10.1016/0022-4049(92)90144-5
- D. D. Anderson, David F. Anderson, and Muhammad Zafrullah, Factorization in integral domains, J. Pure Appl. Algebra 69 (1990), no. 1, 1–19. MR 1082441, DOI 10.1016/0022-4049(90)90074-R
- D. D. Anderson and Bernadette Mullins, Finite factorization domains, Proc. Amer. Math. Soc. 124 (1996), no. 2, 389–396. MR 1322910, DOI 10.1090/S0002-9939-96-03284-4
- J. Apel, Gröbnerbasen in nichtkommutativen Algebren und ihre Anwendung, Dissertation, Universität Leipzig (1988).
- Nicholas R. Baeth and Daniel Smertnig, Factorization theory: from commutative to noncommutative settings, J. Algebra 441 (2015), 475–551. MR 3391936, DOI 10.1016/j.jalgebra.2015.06.007
- B. Buchberger, A criterion for detecting unnecessary reductions in the construction of Gröbner-bases, Symbolic and algebraic computation (EUROSAM ’79, Internat. Sympos., Marseille, 1979) Lecture Notes in Comput. Sci., vol. 72, Springer, Berlin-New York, 1979, pp. 3–21. MR 575678
- J. L. Bueso, J. Gómez-Torrecillas, and F. J. Lobillo, Re-filtering and exactness of the Gelfand-Kirillov dimension, Bull. Sci. Math. 125 (2001), no. 8, 689–715. MR 1872601, DOI 10.1016/S0007-4497(01)01090-9
- José Bueso, José Gómez-Torrecillas, and Alain Verschoren, Algorithmic methods in non-commutative algebra, Mathematical Modelling: Theory and Applications, vol. 17, Kluwer Academic Publishers, Dordrecht, 2003. Applications to quantum groups. MR 2006329, DOI 10.1007/978-94-017-0285-0
- P. M. Cohn, Noncommutative unique factorization domains, Trans. Amer. Math. Soc. 109 (1963), 313–331. MR 155851, DOI 10.1090/S0002-9947-1963-0155851-X
- David Cox, John Little, and Donal O’Shea, Ideals, varieties, and algorithms, Undergraduate Texts in Mathematics, Springer-Verlag, New York, 1992. An introduction to computational algebraic geometry and commutative algebra. MR 1189133, DOI 10.1007/978-1-4757-2181-2
- David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995. With a view toward algebraic geometry. MR 1322960, DOI 10.1007/978-1-4612-5350-1
- Mark Giesbrecht, Albert Heinle, and Viktor Levandovskyy, Factoring linear differential operators in $n$ variables, ISSAC 2014—Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2014, pp. 194–201. MR 3239926, DOI 10.1145/2608628.2608667
- José Gómez-Torrecillas, Basic module theory over non-commutative rings with computational aspects of operator algebras, Algebraic and algorithmic aspects of differential and integral operators, Lecture Notes in Comput. Sci., vol. 8372, Springer, Heidelberg, 2014, pp. 23–82. With an appendix by V. Levandovskyy. MR 3188538, DOI 10.1007/978-3-642-54479-8_{2}
- J. Gómez-Torrecillas and F. J. Lobillo, Auslander-regular and Cohen-Macaulay quantum groups, Algebr. Represent. Theory 7 (2004), no. 1, 35–42. MR 2046952, DOI 10.1023/B:ALGE.0000019384.36800.fa
- Gert-Martin Greuel and Gerhard Pfister, A Singular introduction to commutative algebra, Second, extended edition, Springer, Berlin, 2008. With contributions by Olaf Bachmann, Christoph Lossen and Hans Schönemann; With 1 CD-ROM (Windows, Macintosh and UNIX). MR 2363237
- D. Grigoriev and F. Schwarz, Loewy and primary decompositions of $\scr D$-modules, Adv. in Appl. Math. 38 (2007), no. 4, 526–541. MR 2311050, DOI 10.1016/j.aam.2005.12.004
- Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR 0463157
- A. Kandri-Rody and V. Weispfenning, Noncommutative Gröbner bases in algebras of solvable type, J. Symbolic Comput. 9 (1990), no. 1, 1–26. MR 1044911, DOI 10.1016/S0747-7171(08)80003-X
- Viktor Levandovskyy, Non-commutative computer algebra for polynomial algebras: Gröbner bases, applications and implementation, Doctoral Thesis, Universität Kaiserslautern, 2005, http://kluedo.ub.uni-kl.de/volltexte/2005/1883/.
- Viktor Levandovskyy and Hans Schönemann, PLURAL—a computer algebra system for noncommutative polynomial algebras, Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2003, pp. 176–183. MR 2035210, DOI 10.1145/860854.860895
- Huishi Li, Noncommutative Gröbner bases and filtered-graded transfer, Lecture Notes in Mathematics, vol. 1795, Springer-Verlag, Berlin, 2002. MR 1947291, DOI 10.1007/b84211
- J. C. McConnell and J. C. Robson, Noncommutative Noetherian rings, Revised edition, Graduate Studies in Mathematics, vol. 30, American Mathematical Society, Providence, RI, 2001. With the cooperation of L. W. Small. MR 1811901, DOI 10.1090/gsm/030
- Oystein Ore, Theory of non-commutative polynomials, Ann. of Math. (2) 34 (1933), no. 3, 480–508. MR 1503119, DOI 10.2307/1968173
- Louis Rowen and David J. Saltman, Tensor products of division algebras and fields, J. Algebra 394 (2013), 296–309. MR 3092723, DOI 10.1016/j.jalgebra.2013.07.019
- Joachim Schmid, On the affine Bezout inequality, Manuscripta Math. 88 (1995), no. 2, 225–232. MR 1354108, DOI 10.1007/BF02567819
- Serguei P. Tsarev, An algorithm for complete enumeration of all factorizations of a linear ordinary differential operator, Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 1996, pp. 226–231.
Additional Information
- Jason P. Bell
- Affiliation: Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada
- MR Author ID: 632303
- Email: jpbell@uwaterloo.ca
- Albert Heinle
- Affiliation: David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada
- Email: aheinle@uwaterloo.ca
- Viktor Levandovskyy
- Affiliation: Lehrstuhl D für Mathematik, RWTH Aachen University, 52062 Aachen, Germany
- Email: viktor.levandovskyy@math.rwth-aachen.de
- Received by editor(s): November 4, 2014
- Received by editor(s) in revised form: April 9, 2015, and April 16, 2015
- Published electronically: August 3, 2016
- Additional Notes: The first two authors thank NSERC for its generous support
- © Copyright 2016 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 369 (2017), 2675-2695
- MSC (2010): Primary 16U10, 16U30, 16W70
- DOI: https://doi.org/10.1090/tran/6727
- MathSciNet review: 3592524