共查询到20条相似文献,搜索用时 15 毫秒
2.
A relation algebra atom structure is said to be strongly representable if all atomic relation algebras with that atom structure are representable. This is equivalent to saying that the complex algebra is a representable relation algebra. We show that the class of all strongly representable relation algebra atom structures is not closed under ultraproducts and is therefore not elementary. This answers a question of Maddux (1982). Our proof is based on the following construction. From an arbitrary undirected, loop-free graph , we construct a relation algebra atom structure and prove, for infinite , that is strongly representable if and only if the chromatic number of is infinite. A construction of Erdös shows that there are graphs () with infinite chromatic number, with a non-principal ultraproduct whose chromatic number is just two. It follows that is strongly representable (each ) but is not. 相似文献
3.
We prove (without G.C.H.) that every two elementarily equivalent models have isomorphic ultrapowers, and some related results.
The preparation of this paper was supported in Part by NSF Grant GP-22937. 相似文献
7.
We give a characterization of groups elementarily equivalent to a free 2-nilpotent group of finite rank.
Translated from Algebra i Logika, Vol. 48, No. 2, pp. 203–244, March–April, 2009. 相似文献
9.
The concept of implicit operation on pseudovarieties of semigroups goes back to Eilenberg and Schutzenberger [1]. The author in [2?C5] generalized this concept to other classes of algebras and established a connection between these operations and positively conditional termal functions in the case of uniform local finiteness of the algebras of the class in question. In this article we put forth the concept of an implicit operation for an arbitrary universal algebra, not necessarily locally finite, and establish a connection between these operations and infinite analogs of positively conditional terms, as well as ??-quasi-identities arising in the algebraic geometry of universal algebras. We also consider conditions for implicit equivalence of algebras to lattices, semilattices, and Boolean algebras. 相似文献
15.
In a recent paper, B. Banaschewski proved that any SP-class of algebras which is category equivalent to a variety (over a possibly different finitary similarity type) is itself a variety. Here we prove the analogous statement obtained by replacing “variety” with “quasivariety”. We also present examples which detail some of the difficulties arising when one tries to strengthen the theorem in various ways. 相似文献
16.
The elementary equivalence of two full relation algebras, partition lattices or function monoids are shown to be equivalent to the second order equivalence of the cardinalities of the corresponding sets. This is shown to be related to elementary equivalence of permutation groups and ordinals. Infinite function monoids are shown to be ultrauniversal.Presented by Walter Taylor.The work of the second author was supported by a grant from the University of Cape Town Research Committee, and by the Topology Research Group from the University of Cape Town and the South African Council for Scientific and Industrial Research. 相似文献
17.
We study ideals of Novikov algebras and Novikov structures on finite-dimensional Lie algebras. We present the first example of a three-step nilpotent Lie algebra which does not admit a Novikov structure. On the other hand we show that any free three-step nilpotent Lie algebra admits a Novikov structure. We study the existence question also for Lie algebras of triangular matrices. Finally we show that there are families of Lie algebras of arbitrary high solvability class which admit Novikov structures. 相似文献
19.
In this paper, we discuss the structures of bi-symmetric algebras and their sub-adjacent Lie algebras. We also give some results on their classification. 相似文献
20.
Let $\mathfrak{g }$ be a Lie algebra, $E$ a vector space containing $\mathfrak{g }$ as a subspace. The paper is devoted to the extending structures problem which asks for the classification of all Lie algebra structures on $E$ such that $\mathfrak{g }$ is a Lie subalgebra of $E$ . A general product, called the unified product, is introduced as a tool for our approach. Let $V$ be a complement of $\mathfrak{g }$ in $E$ : the unified product $\mathfrak{g } \,\natural \, V$ is associated to a system $(\triangleleft , \, \triangleright , \, f, \{-, \, -\})$ consisting of two actions $\triangleleft $ and $\triangleright $ , a generalized cocycle $f$ and a twisted Jacobi bracket $\{-, \, -\}$ on $V$ . There exists a Lie algebra structure $[-,-]$ on $E$ containing $\mathfrak{g }$ as a Lie subalgebra if and only if there exists an isomorphism of Lie algebras $(E, [-,-]) \cong \mathfrak{g } \,\natural \, V$ . All such Lie algebra structures on $E$ are classified by two cohomological type objects which are explicitly constructed. The first one $\mathcal{H }^{2}_{\mathfrak{g }} (V, \mathfrak{g })$ will classify all Lie algebra structures on $E$ up to an isomorphism that stabilizes $\mathfrak{g }$ while the second object $\mathcal{H }^{2} (V, \mathfrak{g })$ provides the classification from the view point of the extension problem. Several examples that compute both classifying objects $\mathcal{H }^{2}_{\mathfrak{g }} (V, \mathfrak{g })$ and $\mathcal{H }^{2} (V, \mathfrak{g })$ are worked out in detail in the case of flag extending structures. 相似文献
|