Hostname: page-component-8448b6f56d-c4f8m Total loading time: 0 Render date: 2024-04-17T09:31:04.759Z Has data issue: false hasContentIssue false

Model theory of strictly upper triangular matrix rings

Published online by Cambridge University Press:  12 March 2014

William H. Wheeler*
Affiliation:
Indiana University, Bloomington, Indiana 47401

Extract

Two questions on rings of strictly upper triangular matrices arising from B. Rose's work [5] are answered in this paper. An n × n matrix (αi, j) is strictly upper triangular if αi, j = 0 whenever ij. The ring of strictly upper triangular n × n matrices with entries from a field F will be denoted by Sn(F). Throughout this paper n will be an integer greater than 2. B. Rose [5] has shown that the complete theory of Sn(F) for an algebraically closed field F is ℵ1categorical. The first main result of this paper is that the rings Sn(F) and Sn(K) for fields F and K are isomorphic or elementarily equivalent if and only if F and K are isomorphic or elementarily equivalent, respectively (Corollary 1.6 and Theorem 2.2). This result shortens the proof of B. Rose's categoricity theorem [5, Theorem 7] by avoiding the co-stability considerations; furthermore, this result yields a proof of the converse of this categoricity theorem. The second main result is that the theory of rings of strictly upper triangular n × n matrices over algebraically closed fields is the model-completion of the theory of rings of strictly upper triangular n × n matrices over arbitrary fields (Theorem 2.5). This answers affirmatively the two conjectures at the end of [5].

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1980

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

[1]Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973.Google Scholar
[2]Jacobson, N., Lectures in abstract algebra. Volume III, Theory of fields and Galois theory, Van Nostrand, Princeton, New Jersey, 1964.Google Scholar
[3]Macintyre, A., On ω1-categorical theories of fields, fundamenta Mathematicae, vol. 71 (1971), pp. 125.CrossRefGoogle Scholar
[4]Robinson, A., Introduction to model theory and to the metamathematlcs of algebra, North-Holland, Amsterdam, 1965.Google Scholar
[5]Rose, B. I., The ℵ1-categoricity of strictly upper triangular matrix rings over algebraically closed fields, this Journal, vol. 43 (1978), pp. 250259.Google Scholar