Hostname: page-component-586b7cd67f-rcrh6 Total loading time: 0 Render date: 2024-11-28T05:26:33.145Z Has data issue: false hasContentIssue false
  • English
  • Français

Preservation of elementary equivalence under scalar extension1

Published online by Cambridge University Press:  12 March 2014

Bruce I. Rose
Bruce I. Rose*
Affiliation:
University of Notre Dame, Notre Dame, Indiana 46556
Get access Rights & Permissions [Opens in a new window]

Extract

In this note we show that taking a scalar extension of two elementarily equivalent finite-dimensional algebras over the same field preserves elementary equivalence. The general question of whether or not tensor product preserves elementary equivalence was originally raised in [4]. In [3] Feferman relates an example of Ersov which answers the question negatively. Eklof and Olin [7] also provide a counterexample to the general question in the context of two-sorted structures. Thus the result proved below is a partial positive answer to a general question whose status has been resolved negatively. From the viewpoint of applied model theory it seems desirable to find contexts in which positive statements of preservation can be obtained. Our result does have an application; a corollary to it increases our understanding of what it means for two division algebras to be elementarily equivalent.

All algebras are finite-dimensional algebras over fields. All algebras contain an identity element, but are not necessarily associative.

Recall that the center of a not necessarily associative algebra A is the set of elements which commute and “associate” with all elements of A. The notion of a scalar extension is an important one in algebra. If A is an algebra over F and G is an extension field of F, then the scalar extension of A by G is the algebra A ⊗F G.

Keywords

Elementary equivalencescalar extensionfinite-dimensional algebranonassociative algebradivision algebra
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 47 , Issue 4 , December 1982 , pp. 734 - 738
Copyright
Copyright © Association for Symbolic Logic 1982

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.)

Footnotes

1

These results were presented at the AMS meeting in Providence, R.I., August, 1978, at the special session on problems in logic arising from mathematics.

References

REFERENCES

[1]Albert, A.A., Structure of algebras, American Mathematical Society Colliquium Publications, vol. 24, American Mathematical Society, Providence, R.I., 1961.Google Scholar
[2]Amitsur, S.A., On central division algebras, Israel Journal of Mathematics, vol. 12 (1972), pp. 408–420.CrossRefGoogle Scholar
[3]Feferman, S., Infinitary properties, local functors, and systems of ordinal functions, Conference in Mathematical Logic-London '70, Lecture Notes in Mathematics, vol. 255, Springer-Verlag, Berlin, 1970, pp. 63–97.CrossRefGoogle Scholar
[4]Feferman, S. and Vaught, R.L., The first order properties of products of algebraic systems, Fundamenta Mathamaticae, vol. 47 (1959), pp. 57–103.CrossRefGoogle Scholar
[5]Herstein, I.N., Topics in ring theory, University of Chicago Press, Chicago, 1969.Google Scholar
[6]Jacobson, N., Lectures in abstract algebra, vol. III, Van Nostrand, New York, 1964.CrossRefGoogle Scholar
[7]Olin, P., Direct multiples and powers of modules, Fundamenta Mathematicae, vol. 73 (1971), pp. 113–124.CrossRefGoogle Scholar
[8]Rose, B.I., Model completeness and the center extension property in nonassociative central simple algebras, preprint.Google Scholar
[9]Rose, B.I., On the model theory of finite-dimensional algebras, Proceedings of the London Mathematical Society.Google Scholar
[10]Schacher, M., The crossed product problem, Ring theory. II (McDonald, B.R., editor), Marcel Dekker, New York, 1977, pp. 237–245.Google Scholar
[11]Schafer, R.D., An introduction to nonassociative algebras, Academic Press, New York, 1960.Google Scholar