Hostname: page-component-7479d7b7d-qs9v7 Total loading time: 0 Render date: 2024-07-11T23:28:26.160Z Has data issue: false hasContentIssue false

On some infinitely presented associative algebras

Published online by Cambridge University Press:  09 April 2009

Jacques Lewin
Affiliation:
Syracuse UniversitySyracuse, NY, 13210, USA
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We prove here that if F is a finitely generated free associative algebra over the field and R is an ideal of F, then F/R2 is finitely presented if and only if F/R has finite dimension. Amitsur, [1, p. 136] asked whether a finitely generated algebra which is embeddable in matrices over a commutative f algebra is necessarily finitely presented. Let R = F′, the commutator ideal of F, then [4, theorem 6], F/F2 is embeddable and thus provides a negative answer to his question. Another such example can be found in Small [6]. We also show that there are uncountably many two generator I algebras which satisfy a polynomial identity yet are not embeddable in any algebra of n xn matrices over a commutative algebra.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1973

References

[1]Amitsur, S. A., ‘A noncommutative Hilbert basis theorem and subrings of matrices’, Trans. Amer. Math. Soc. 149 (1970), 133142.CrossRefGoogle Scholar
[2]Cohn, P. M, ‘On a generalization of the Euclidean algorithm’, Proc. Cambridge Phil. Soc., 57 (1961), 1830.CrossRefGoogle Scholar
[3]Lewin, J., ‘Free modules over free algebras and free group algebras: The Schreier technique’, Trans. Amer. Math. Soc. 145, (1969) 455465.CrossRefGoogle Scholar
[4]Lewin, J., ‘A matrix representation for associated algevras I.’, (to appear in Trans. Amer. Math. Soc.).Google Scholar
[5]Small, L., ‘An example in P. I. rings’, J. Algebra 17, (1971) 434436.Google Scholar
[6]Small, L., ‘Ideals in finietly generated PI-Algebras’, Ring theory (Academic press) 1972, 347352.Google Scholar