Typical equivalence of linear groups and other algebraic systems

The paper is devoted to the notion of typical equivalence introduced by B. I. Plotkin. We give some examples of elementarily equivalent objects that are not typically equivalent and show two ways to construct nonisomorphic typically equivalent algebras. We also prove A. I. Maltsev??s theorem on elementary equivalence of linear groups over fields for the case of typical equivalence.     

Associated and Attached Primes of Some Graded Modules Over Semigroup Rings

In this paper, algebras are finite dimensional over an algebraically closed field k, and modules are k-finite dimensional left modules. We prove the stable equivalence conjecture for algebras stably equivalent to algebras A with the following conditions: basic, connected and selfinjective; rad³A = 0 but rad²A ¬ 0; and the separated quiver Q³ _A of the quiver Q_A of A consisting of more than two connected components.     

Some Boolean algebras with finitely many distinguished ideals II

We describe the countably saturated models and prime models (up to isomorphism) of the theory Th_prin of Boolean algebras with a principal ideal, the theory Th_max of Boolean algebras with a maximal ideal, the theory Th_ac of atomic Boolean algebras with an ideal such that the supremum of the ideal exists, and the theory Th_sa of atomless Boolean algebras with an ideal such that the supremum of the ideal exists. We prove that there are infinitely many completions of the theory of Boolean algebras with a distinguished ideal that do not have a countably saturated model. Also, we give a sufficient condition for a model of the theory T_X of Boolean algebras with distinguished ideals to be elementarily equivalent to a countably saturated model of T_X.     

Elementary Regular Rings. II

We extend the well-known result by Burris and Werner on existence of defining sequences for elementary products of models to arbitrary enrichments of Boolean algebras (we obtain a complete analog of the Feferman–Vaught theorem). This enables us to establish decidability of the elementary theory of a classical object of number theory, the ring of adeles.     

A refinement of Stone duality to skew Boolean algebras

We establish two theorems that refine the classical Stone duality between generalized Boolean algebras and locally compact Boolean spaces. In the first theorem, we prove that the category of left-handed skew Boolean algebras whose morphisms are proper skew Boolean algebra homomorphisms is equivalent to the category of étale spaces over locally compact Boolean spaces whose morphisms are étale space cohomomorphisms over continuous proper maps. In the second theorem, we prove that the category of left-handed skew Boolean -algebras whose morphisms are proper skew Boolean -algebra homomorphisms is equivalent to the category of étale spaces with compact clopen equalizers over locally compact Boolean spaces whose morphisms are injective étale space cohomomorphisms over continuous proper maps.     

Cross-Ratios Over Local Alternative Rings

It is shown that the conjugacy relation is an equivalence relation on the alternative field A and on the local alternative ring R = A + Aε of dual numbers over A, but on no other alternative ring of a certain class. On the projective lines over A and R the cross-ratio of four points is defined as a conjugacy class. Its elementary properties and applications to chain geometries are investigated.     

The completeness of the isomorphism relation for countable Boolean algebras

We show that the isomorphism relation for countable Boolean algebras is Borel complete, i.e., the isomorphism relation for arbitrary countable structures is Borel reducible to that for countable Boolean algebras. This implies that Ketonen's classification of countable Boolean algebras is optimal in the sense that the kind of objects used for the complete invariants cannot be improved in an essential way. We also give a stronger form of the Vaught conjecture for Boolean algebras which states that, for any complete first-order theory of Boolean algebras that has more than one countable model up to isomorphism, the class of countable models for the theory is Borel complete. The results are applied to settle many other classification problems related to countable Boolean algebras and separable Boolean spaces. In particular, we will show that the following equivalence relations are Borel complete: the translation equivalence between closed subsets of the Cantor space, the isomorphism relation between ideals of the countable atomless Boolean algebra, the conjugacy equivalence of the autohomeomorphisms of the Cantor space, etc. Another corollary of our results is the Borel completeness of the commutative AF -algebras, which in turn gives rise to similar results for Bratteli diagrams and dimension groups.

     

Morita Equivalence for Rings with Involution

We develop the theory of Morita equivalence for rings with involution, and we show the corresponding fundamental representation theorem. In order to allow applications to operator algebras, we work within the class of idempotent nondegenerate rings. We also prove that two commutative rings with involution are Morita *-equivalent if and only if they are *-isomorphic.     

Two remarks on the first-order theories of Baumslag-Solitar groups

We characterize all finitely generated groups elementarily equivalent to a solvable Baumslag-Solitar group BS(m, 1). It turns out that a finitely generated group G is elementarily equivalent to BS(m, 1) if and only if G is isomorphic to BS(m, 1). Furthermore, we show that two Baumslag-Solitar groups are existentially (universally) equivalent if and only if they are elementarily equivalent if and only if they are isomorphic.     

Elementary equivalent pairs of algebras associated with sets

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.     

Elementary equivalence of semigroups of invertible matrices with nonnegative elements over commutative partially ordered rings

In the paper, we prove that if two semigroups of invertible matrices with nonnegative elements over partially ordered commutative rings are elementarily equivalent, then their dimensions coincide and the corresponding semirings of nonnegative elements are elementarily equivalent.     

Automorphisms of the semigroup of invertible matrices with nonnegative elements over commutative partially ordered rings

In the paper, we prove that if two semigroups of invertible matrices with nonnegative elements over partially ordered commutative rings are elementarily equivalent, then their dimensions coincide and the corresponding semirings of nonnegative elements are elementarily equivalent.     

Derived Equivalence Classification of the Cluster-Tilted Algebras of Dynkin Type E

We obtain a complete derived equivalence classification of the cluster-tilted algebras of Dynkin type E. There are 67, 416, 1574 algebras in types E ₆, E ₇ and E ₈ which turn out to fall into 6, 14, 15 derived equivalence classes, respectively. This classification can be achieved computationally and we outline an algorithm which has been implemented to carry out this task. We also make the classification explicit by giving standard forms for each derived equivalence class as well as complete lists of the algebras contained in each class; as these lists are quite long they are provided as supplementary material to this paper. From a structural point of view the remarkable outcome of our classification is that two cluster-tilted algebras of Dynkin type E are derived equivalent if and only if their Cartan matrices represent equivalent bilinear forms over the integers which in turn happens if and only if the two algebras are connected by a sequence of “good” mutations. This is reminiscent of the derived equivalence classification of cluster-tilted algebras of Dynkin type A, but quite different from the situation in Dynkin type D where a far-reaching classification has been obtained using similar methods as in the present paper but some very subtle questions are still open.     

Stable Groups Over Associative Rings with 1/2. A Description of Isomorphisms of the Stable Linear Groups

In this paper, we consider stable linear groups over associative rings with 1/2 and isomorphisms between them. We describe the action of isomorphisms on the stable elementary subgroup.     

Elementary equivalence of the semigroup of invertible matrices with nonnegative elements

In this paper, we prove that the semigroups of invertible matrices with nonnegative elements over linearly ordered associative rings are elementarily equivalent if and only if the matrices have the same dimension and the rings are elementarily equivalent as ordered rings. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 12, No. 2, pp. 39–53, 2006.     

Elementary equivalence for the lattices of subalgebras and automorphism groups of free algebras

We find an elementary equivalence criterion for the lattices of subalgebras of free algebras in regular varieties. The question is addressed of elementary equivalence for the automorphism groups of algebras of this type.     

What does a group algebra of a free group “know” about the group?

We describe solutions to the problem of elementary classification in the class of group algebras of free groups. We will show that unlike free groups, two group algebras of free groups over infinite fields are elementarily equivalent if and only if the groups are isomorphic and the fields are equivalent in the weak second order logic. We will show that the set of all free bases of a free group F is 0-definable in the group algebra $K(F)$ when K is an infinite field, the set of geodesics is definable, and many geometric properties of F are definable in $K(F)$. Therefore $K(F)$ “knows” some very important information about F. We will show that similar results hold for group algebras of limit groups.     

Active lattices determine AW*-algebras

We prove that operator algebras that have enough projections are completely determined by those projections, their symmetries, and the action of the latter on the former. This includes all von Neumann algebras and all AW*-algebras. We introduce active lattices, which are formed from these three ingredients. More generally, we prove that the category of AW*-algebras is equivalent to a full subcategory of active lattices. Crucial ingredients are an equivalence between the category of piecewise AW*-algebras and that of piecewise complete Boolean algebras, and a refinement of the piecewise algebra structure of an AW*-algebra that enables recovering its total structure.     

Some Boolean Algebras with Finitely Many Distinguished Ideals I

We consider the theory Th_prin of Boolean algebras with a principal ideal, the theory Th_max of Boolean algebras with a maximal ideal, the theory Th_ac of atomic Boolean algebras with an ideal where the supremum of the ideal exists, and the theory Th_sa of atomless Boolean algebras with an ideal where the supremum of the ideal exists. First, we find elementary invariants for Th_prin and Th_sa. If T is a theory in a first order language and α is a linear order with least element, then we let Sentalg(T) be the Lindenbaum-Tarski algebra with respect to T, and we let intalg(α) be the interval algebra of α. Using rank diagrams, we show that Sentalg(Th_prin) ? intalg(ω⁴), Sentalg(Th_max) ? intalg(ω³) ? Sentalg(Th_ac), and Sentalg(Th_sa) ? intalg(ω² + ω²). For Th_max and Th_ac we use Ershov's elementary invariants of these theories. We also show that the algebra of formulas of the theory Tx of Boolean algebras with finitely many ideals is atomic.