The Noetherian property in some quadratic algebras
Author:
Xenia H. Kramer
Journal:
Trans. Amer. Math. Soc. 352 (2000), 42954323
MSC (2000):
Primary 16P40; Secondary 16S15, 16S37
Published electronically:
May 23, 2000
MathSciNet review:
1665334
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: We introduce a new class of noncommutative rings called pseudopolynomial rings and give sufficient conditions for such a ring to be Noetherian. Pseudopolynomial rings are standard finitely presented algebras over a field with some additional restrictions on their defining relationsnamely that the polynomials in a Gröbner basis for the ideal of relations must be homogeneous of degree 2and on the Ufnarovskii graph . The class of pseudopolynomial rings properly includes the generalized skew polynomial rings introduced by M. Artin and W. Schelter. We use the graph to define a weaker notion of almost commutative, which we call almost commutative on cycles. We show as our main result that a pseudopolynomial ring which is almost commutative on cycles is Noetherian. A counterexample shows that a Noetherian pseudopolynomial ring need not be almost commutative on cycles.
 [A]
Joachim
Apel, A relationship between Gröbner bases of ideals and
vector modules of 𝐺algebras, Proceedings of the International
Conference on Algebra, Part 2 (Novosibirsk, 1989) Contemp. Math.,
vol. 131, Amer. Math. Soc., Providence, RI, 1992,
pp. 195–204. MR 1175832
(94f:68102)
 [AS]
Michael
Artin and William
F. Schelter, Graded algebras of global dimension 3, Adv. in
Math. 66 (1987), no. 2, 171–216. MR 917738
(88k:16003), http://dx.doi.org/10.1016/00018708(87)90034X
 [ATV]
M.
Artin, J.
Tate, and M.
Van den Bergh, Some algebras associated to automorphisms of
elliptic curves, The Grothendieck Festschrift, Vol.\ I, Progr. Math.,
vol. 86, Birkhäuser Boston, Boston, MA, 1990,
pp. 33–85. MR 1086882
(92e:14002)
 [B]
George
M. Bergman, The diamond lemma for ring theory, Adv. in Math.
29 (1978), no. 2, 178–218. MR 506890
(81b:16001), http://dx.doi.org/10.1016/00018708(78)900105
 [Bu]
B. Buchberger, An algorithm for finding a basis for the residue class ring of a zerodimensional polynomial ideal, Ph.D. Thesis, Univ. Innsbruck (Austria), 1965.
 [D]
L. Dickson, Finiteness of the odd perfect and primitive abundant numbers with distinct prime factors, Amer. J. Math. 35 (1913), 413422.
 [GI1]
Tatiana
GatevaIvanova, On the Noetherianity of some associative finitely
presented algebras, J. Algebra 138 (1991),
no. 1, 13–35. MR 1102566
(92g:16031), http://dx.doi.org/10.1016/00218693(91)90189F
 [GI2]
Tatiana
GatevaIvanova, Noetherian properties and growth of some
associative algebras, Effective methods in algebraic geometry
(Castiglioncello, 1990) Progr. Math., vol. 94, Birkhäuser
Boston, Boston, MA, 1991, pp. 143–158. MR 1106419
(92c:16025)
 [GI3]
Tatiana
GatevaIvanova, Noetherian properties of skew
polynomial rings with binomial relations, Trans. Amer. Math. Soc. 343 (1994), no. 1, 203–219. MR 1173854
(94g:16029), http://dx.doi.org/10.1090/S00029947199411738543
 [GI4]
Tatiana
GatevaIvanova, Skew polynomial rings with binomial relations,
J. Algebra 185 (1996), no. 3, 710–753. MR 1419721
(97m:16047), http://dx.doi.org/10.1006/jabr.1996.0348
 [KRW]
A.
KandriRody and V.
Weispfenning, Noncommutative Gröbner bases in algebras of
solvable type, J. Symbolic Comput. 9 (1990),
no. 1, 1–26. MR 1044911
(91e:13025), http://dx.doi.org/10.1016/S07477171(08)80003X
 [KL]
G.
R. Krause and T.
H. Lenagan, Growth of algebras and Gel′fandKirillov
dimension, Research Notes in Mathematics, vol. 116, Pitman
(Advanced Publishing Program), Boston, MA, 1985. MR 781129
(86g:16001)
 [MR]
J.
C. McConnell and J.
C. Robson, Noncommutative Noetherian rings, Pure and Applied
Mathematics (New York), John Wiley & Sons, Ltd., Chichester, 1987. With
the cooperation of L. W. Small; A WileyInterscience Publication. MR 934572
(89j:16023)
 [M1]
F. Mora, Groebner bases for noncommutative polynomial rings, Proc. AAECC3, Lecture Notes in Computer Science, vol. 229, 1986, pp. 353362. CMP 19:04
 [M2]
Teo
Mora, Groebner bases in noncommutative algebras, Symbolic and
algebraic computation (Rome, 1988) Lecture Notes in Comput. Sci.,
vol. 358, Springer, Berlin, 1989, pp. 150–161. MR 1034727
(90k:68082), http://dx.doi.org/10.1007/3540510842_14
 [M3]
, Seven variations on standard bases, preprint, Università di Genova, Dipartimento di Matematica, 1988.
 [M4]
Teo
Mora, An introduction to commutative and noncommutative
Gröbner bases, Theoret. Comput. Sci. 134 (1994),
no. 1, 131–173. Second International Colloquium on Words,
Languages and Combinatorics (Kyoto, 1992). MR 1299371
(95i:13027), http://dx.doi.org/10.1016/03043975(94)902836
 [O]
Jan
Okniński, On monomial algebras, Arch. Math. (Basel)
50 (1988), no. 5, 417–423. MR 942537
(89d:16036), http://dx.doi.org/10.1007/BF01196501
 [SmSt]
S.
P. Smith and J.
T. Stafford, Regularity of the fourdimensional Sklyanin
algebra, Compositio Math. 83 (1992), no. 3,
259–289. MR 1175941
(93h:16037)
 [U1]
V. Ufnarovskii, A growth criterion for graphs and algebras defined by words, Math. Notes 31 (1982), 238241.
 [U2]
, On the use of graphs for computing a basis, growth and Hilbert series of associative algebras, Math. USSR, Sb. 68 (2) (1991), 417428.
 [A]
 J. Apel, A relationship between Gröbner bases of ideals and vector modules of algebras, Comtemporary Mathematics, vol. 131 (Part 2), Amer. Math. Soc., Providence, Rhode Island, 1992, pp. 195204. MR 94f:68102
 [AS]
 M. Artin and W. Schelter, Graded algebras of global dimension 3, Advances in Mathematics 66 (1987), 171216. MR 88k:16003
 [ATV]
 M. Artin, J. Tate, and M. Van Den Bergh, Some algebras associated to automorphisms of elliptic curves, The Grothendieck Festschrift, Progress in Mathematics, vol. 86, Birkhäuser, Boston, 1990, pp. 3385. MR 92e:14002
 [B]
 G. Bergman, The diamond lemma for ring theory, Advances in Mathematics 29 (1978), 178218. MR 81b:16001
 [Bu]
 B. Buchberger, An algorithm for finding a basis for the residue class ring of a zerodimensional polynomial ideal, Ph.D. Thesis, Univ. Innsbruck (Austria), 1965.
 [D]
 L. Dickson, Finiteness of the odd perfect and primitive abundant numbers with distinct prime factors, Amer. J. Math. 35 (1913), 413422.
 [GI1]
 T. GatevaIvanova, On the Noetherianity of some associative finitely presented algebras, J. Algebra 138 (1991), 1335. MR 92g:16031
 [GI2]
 , Noetherian properties and growth of some associative algebras, Effective Methods in Algebraic Geometry, Progress in Mathematics, vol. 94, Birkhäuser, Boston, 1991, pp. 143158. MR 92c:16025
 [GI3]
 , Noetherian properties of skew polynomial rings with binomial relations, Trans. Amer. Math. Soc. 343 (1994), 203219. MR 94g:16029
 [GI4]
 , Skew Polynomial Rings with Binomial Relations, J. Algebra 185 (1996), 710753. MR 97m:16047
 [KRW]
 A. KandriRody and V. Weispfenning, Noncommutative Gröbner bases in algebras of solvable type, J. Symbolic Computation 9 (1990), 126. MR 91e:13025
 [KL]
 G. Krause and T. Lenagan, Growth of algebras and the GelfandKirillov dimension, Research Notes in Mathematics, vol. 116, Pitman Publishing Inc., Marshfield, Massachusetts, 1985. MR 86g:16001
 [MR]
 J. McConnell and J. Robson, Noncommutative Noetherian Rings, John Wiley & Sons, New York, 1987. MR 89j:16023
 [M1]
 F. Mora, Groebner bases for noncommutative polynomial rings, Proc. AAECC3, Lecture Notes in Computer Science, vol. 229, 1986, pp. 353362. CMP 19:04
 [M2]
 T. Mora, Groebner bases in noncommutative algebras, Proc. ISSAC 88, Lecture Notes in Computer Science, vol. 358, 1988, pp. 150161. MR 90k:68082
 [M3]
 , Seven variations on standard bases, preprint, Università di Genova, Dipartimento di Matematica, 1988.
 [M4]
 , An introduction to commutative and noncommutative Gröbner bases, Theoretical Computer Science 134 (1994), 131173. MR 95i:13027
 [O]
 J. Okninski, On monomial algebras, Archiv der Mathematik 50 (1988), 417423. MR 89d:16036
 [SmSt]
 S. Smith and J. Stafford, Regularity of the four dimensional Sklyanin algebra, Compositio Mathematica 83 (1992), 259289. MR 93h:16037
 [U1]
 V. Ufnarovskii, A growth criterion for graphs and algebras defined by words, Math. Notes 31 (1982), 238241.
 [U2]
 , On the use of graphs for computing a basis, growth and Hilbert series of associative algebras, Math. USSR, Sb. 68 (2) (1991), 417428.
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC (2000):
16P40,
16S15,
16S37
Retrieve articles in all journals
with MSC (2000):
16P40,
16S15,
16S37
Additional Information
Xenia H. Kramer
Affiliation:
Department of Mathematical Sciences, New Mexico State University, Las Cruces, New Mexico 88003
Address at time of publication:
Department of Mathematics and Computer Science, Dickinson College, Carlisle, Pennsylvania 17013
Email:
xkramer@member.ams.org
DOI:
http://dx.doi.org/10.1090/S0002994700024934
PII:
S 00029947(00)024934
Keywords:
Noncommutative Noetherian ring,
standard finitely presented algebra,
noncommutative Gr\"{o}bner basis,
quadratic algebra
Received by editor(s):
October 8, 1997
Published electronically:
May 23, 2000
Additional Notes:
This paper was written as partial fulfillment of the requirements for the Ph.D. degree at New Mexico State University under the direction of R. Laubenbacher, who has the author’s warmest gratitude.
Article copyright:
© Copyright 2000
American Mathematical Society
