Perfect extensions and derived algebras

1995 ◽  
Vol 60 (3) ◽  
pp. 775-796 ◽  
Author(s):  
Hajnal Andréka ◽  
Steven Givant ◽  
István Németi
Keyword(s):  
Boolean Algebra ◽  
Direct Product ◽  
Homomorphic Image ◽  
Algebraic Logic ◽  
Negative Answer ◽  
Direct Products ◽  
Cylindric Algebra ◽  
Relation Algebras ◽  
Multiplicative Operator ◽  
Derived Algebras

Jónsson and Tarski [1951] introduced the notion of a Boolean algebra with (additive) operators (for short, a Bo). They showed that every Bo can be extended to a complete and atomic Bo satisfying certain additional conditions, and that any two complete, atomic extensions of satisfying these conditions are isomorphic over . Henkin [1970] extended these results to Boolean algebras with generalized (i.e., weakly additive) operators. The particular complete, atomic extension of studied by Jónsson and Tarski is called the perfect extension of , and is denoted by +. It is very useful in algebraic investigations of classes of algebras that are associated with logics.Interesting examples of Bos abound in algebraic logic, and include relation algebras, cylindric algebras, and polyadic and quasi-polyadic algebras (with or without equality). Moreover, there are several important constructions that, when applied to certain Bos, lead to other, derived Bos. Obvious examples include the formation of subalgebras, homomorphic images, relativizations, and direct products. Other examples include the Boolean algebra of ideal elements of a Bo, the neat β;-reduct of an α-dimensional cylindric algebra (β; < α), and the relation algebraic reduct of a cylindric algebra (of dimension at least 3). It is natural to ask about the relationship between the perfect extension of a Bo and the perfect extension of one of its derived algebras ′: Is the perfect extension of the derived algebra just the derived algebra of the perfect extension? In symbols, is (′)+ = (+)′? For example, is the perfect extension of a subalgebra, homomorphic image, relativization, or direct product, just the corresponding subalgebra, homomorphic image, relativization, or direct product of the perfect extension (up to isomorphisms)? Is the perfect extension of the Boolean algebra of ideal elements, or the neat reduct of a cylindric algebra, or the relation algebraic reduct of a cylindric algebra just the Boolean algebra of ideal elements, or the neat β;-reduct, or the relation algebraic reduct, of the perfect extension? We shall prove a general result in this direction; namely, if the derived algebra is constructed as the range of a relatively multiplicative operator, then the answer to our question is “yes”. We shall also give examples to show that in “infinitary” constructions, our question can have a spectacularly negative answer.

Non-finite-axiomatizability results in algebraic logic

1992 ◽  
Vol 57 (3) ◽  
pp. 832-843 ◽  
Author(s):  
Balázs Biró
Keyword(s):  
Algebraic Logic ◽  
Relation Algebra ◽  
Equational Theory ◽  
Negative Answer ◽  
Relation Algebras ◽  
Representable Relation Algebra ◽  
Finite Set ◽  
Variable Symbol ◽  
Axiom Systems ◽  
Representable Relation

This paper deals with relation, cylindric and polyadic equality algebras. First of all it addresses a problem of B. Jónsson. He asked whether relation set algebras can be expanded by finitely many new operations in a “reasonable” way so that the class of these expansions would possess a finite equational base. The present paper gives a negative answer to this problem: Our main theorem states that whenever Rs+ is a class that consists of expansions of relation set algebras such that each operation of Rs+ is logical in Jónsson's sense, i.e., is the algebraic counterpart of some (derived) connective of first-order logic, then the equational theory of Rs+ has no finite axiom systems. Similar results are stated for the other classes mentioned above. As a corollary to this theorem we can solve a problem of Tarski and Givant [87], Namely, we claim that the valid formulas of certain languages cannot be axiomatized by a finite set of logical axiom schemes. At the same time we give a negative solution for a version of a problem of Henkin and Monk [74] (cf. also Monk [70] and Németi [89]).Throughout we use the terminology, notation and results of Henkin, Monk, Tarski [71] and [85]. We also use results of Maddux [89a].Notation. RA denotes the class of relation algebras, Rs denotes the class of relation set algebras and RRA is the class of representable relation algebras, i.e. the class of subdirect products of relation set algebras. The symbols RA, Rs and RRA abbreviate also the expressions relation algebra, relation set algebra and representable relation algebra, respectively.For any class C of similar algebras EqC is the set of identities that hold in C, while Eq1C is the set of those identities in EqC that contain at most one variable symbol. (We note that Henkin et al. [85] uses the symbol EqC in another sense.)

Complete representations in algebraic logic

1997 ◽  
Vol 62 (3) ◽  
pp. 816-847 ◽  
Author(s):  
Robin Hirsch ◽  
Ian Hodkinson
Keyword(s):  
Boolean Algebra ◽  
Algebraic Logic ◽  
Relation Algebras ◽  
Cylindric Algebras ◽  
Fixed Dimension ◽  
Complete Representations ◽  
Representable Relation

AbstractA boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any fixed dimension (at least 3) are elementary.

scholarly journals Regular semigroups, fundamental semigroups and groups

1980 ◽  
Vol 29 (4) ◽  
pp. 475-503 ◽  
Author(s):  
D. B. McAlister
Keyword(s):  
Regular Semigroup ◽  
Partial Order ◽  
Direct Product ◽  
Homomorphic Image ◽  
Sufficient Conditions ◽  
Main Tool ◽  
Natural Partial Order ◽  
Regular Semigroups ◽  
Necessary And Sufficient ◽  
Fundamental Semigroups

AbstractIn this paper we obtain necessary and sufficient conditions on a regular semigroup in order that it should be an idempotent separating homomorphic image of a full subsemigroup of the direct product of a group and a fundamental or combinatorial regular semigroup. The main tool used is the concept of a prehomomrphism θ: S → T between regular semigroups. This is a mapping such that (ab) θ ≦ aθ bθ in the natural partial order on T.

scholarly journals ON NEAR-RING IDEMPOTENTS AND POLYNOMIALS ON DIRECT PRODUCTS OF Ω-GROUPS

2001 ◽  
Vol 44 (2) ◽  
pp. 379-388 ◽  
Author(s):  
Erhard Aichinger
Keyword(s):  
Direct Product ◽  
Subject Classification ◽  
Idempotent Element ◽  
Direct Products ◽  
Primary 16Y30 ◽  
Secondary 08A40

AbstractLet $N$ be a zero-symmetric near-ring with identity, and let $\sGa$ be a faithful tame $N$-group. We characterize those ideals of $\sGa$ that are the range of some idempotent element of $N$. Using these idempotents, we show that the polynomials on the direct product of the finite $\sOm$-groups $V_1,V_2,\dots,V_n$ can be studied componentwise if and only if $\prod_{i=1}^nV_i$ has no skew congruences.AMS 2000 Mathematics subject classification: Primary 16Y30. Secondary 08A40

Additive Maps on Units of Rings

2018 ◽  
Vol 61 (1) ◽  
pp. 130-141
Author(s):  
Tamer Košan ◽  
Serap Sahinkaya ◽  
Yiqiang Zhou
Keyword(s):  
Recent Result ◽  
Direct Product ◽  
Homomorphic Image ◽  
Semilocal Ring ◽  
Additive Map ◽  
Exchange Rings ◽  
Additive Maps

AbstractLet R be a ring. A map f: R → R is additive if f(a + b) = f(a) + f(b) for all elements a and b of R. Here, a map f: R → R is called unit-additive if f(u + v) = f(u) + f(v) for all units u and v of R. Motivated by a recent result of Xu, Pei and Yi showing that, for any field F, every unit-additive map of (F) is additive for all n ≥ z, this paper is about the question of when every unit-additivemap of a ring is additive. It is proved that every unit-additivemap of a semilocal ring R is additive if and only if either R has no homomorphic image isomorphic to or R/J(R) ≅ with 2 = 0 in R. Consequently, for any semilocal ring R, every unit-additive map of (R) is additive for all n ≥ 2. These results are further extended to rings R such that R/J(R) is a direct product of exchange rings with primitive factors Artinian. A unit-additive map f of a ring R is called unithomomorphic if f(uv) = f(u)f(v) for all units u, v of R. As an application, the question of when every unit-homomorphic map of a ring is an endomorphism is addressed.

scholarly journals Vertex-Transitive Direct Products of Graphs

10.37236/6999 ◽  
2018 ◽  
Vol 25 (2) ◽  
Author(s):  
Richard H. Hammack ◽  
Wilfried Imrich
Keyword(s):  
Direct Product ◽  
Direct Products ◽  
Odd Cycle ◽  
Vertex Transitive ◽  
Odd Cycles

It is known that for graphs $A$ and $B$ with odd cycles, the direct product $A\times B$ is vertex-transitive if and only if both $A$ and $B$ are vertex-transitive. But this is not necessarily true if one of $A$ or $B$ is bipartite, and until now there has been no characterization of such vertex-transitive direct products. We prove that if $A$ and $B$ are both bipartite, or both non-bipartite, then $A\times B$ is vertex-transitive if and only if both $A$ and $B$ are vertex-transitive. Also, if $A$ has an odd cycle and $B$ is bipartite, then $A\times B$ is vertex-transitive if and only if both $A\times K_2$ and $B$ are vertex-transitive.

Topologies of Lattice Products

1966 ◽  
Vol 18 ◽  
pp. 1004-1014 ◽  
Author(s):  
Richard A. Alo ◽  
Orrin Frink
Keyword(s):  
Direct Product ◽  
Partially Ordered Set ◽  
Ordered Set ◽  
Order Relation ◽  
Direct Products ◽  
Ordered Sets ◽  
Partially Ordered

A number of different ways of defining topologies in a lattice or partially ordered set in terms of the order relation are known. Three of these methods have proved to be useful and convenient for lattices of special types, namely the ideal topology, the interval topology, and the new interval topology of Garrett Birkhoff. In another paper (2) we have shown that these three topologies are equivalent for chains (totally ordered sets), where they reduce to the usual intrinsic topology of the chain.Since many important lattices are either direct products of chains or sublattices of such products, it is natural to ask what relationships exist between the various order topologies of a direct product of lattices and those of the lattices themselves.

Semigroup Compactifications of Direct and Semidirect Products

1983 ◽  
Vol 26 (2) ◽  
pp. 233-240 ◽  
Author(s):  
Paul Milnes
Keyword(s):  
Direct Product ◽  
Semidirect Product ◽  
Classical Result ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Direct Products ◽  
Almost Periodic ◽  
Semidirect Products ◽  
Semigroup Compactifications ◽  
Necessary And Sufficient

AbstractA classical result of I. Glicksberg and K. de Leeuw asserts that the almost periodic compactification of a direct product S × T of abelian semigroups with identity is (canonically isomorphic to) the direct product of the almost periodic compactiflcations of S and T. Some efforts have been made to generalize this result and recently H. D. Junghenn and B. T. Lerner have proved a theorem giving necessary and sufficient conditions for an F-compactification of a semidirect product S⊗σT to be a semidirect product of compactiflcations of S and T. A different such theorem is presented here along with a number of corollaries and examples which illustrate its scope and limitations. Some behaviour that can occur for semidirect products, but not for direct products, is exposed

On Nilpotent Products of Cyclic Groups

1960 ◽  
Vol 12 ◽  
pp. 447-462 ◽  
Author(s):  
Ruth Rebekka Struik
Keyword(s):  
Abelian Group ◽  
Direct Product ◽  
Finite Abelian Group ◽  
Nilpotent Groups ◽  
Multiplication Table ◽  
Direct Products ◽  
Free Products ◽  
Cyclic Groups ◽  
Special Cases ◽  
Product Of Groups

In this paper G = F/Fn is studied for F a free product of a finite number of cyclic groups, and Fn the normal subgroup generated by commutators of weight n. The case of n = 4 is completely treated (F/F2 is well known; F/F3 is completely treated in (2)); special cases of n > 4 are studied; a partial conjecture is offered in regard to the unsolved cases. For n = 4 a multiplication table and other properties are given.The problem arose from Golovin's work on nilpotent products ((1), (2), (3)) which are of interest because they are generalizations of the free and direct product of groups: all nilpotent groups are factor groups of nilpotent products in the same sense that all groups are factor groups of free products, and all Abelian groups are factor groups of direct products. In particular (as is well known) every finite Abelian group is a direct product of cyclic groups. Hence it becomes of interest to investigate nilpotent products of finite cyclic groups.

Direct product decomposition of theories of modules

1979 ◽  
Vol 44 (1) ◽  
pp. 77-88 ◽  
Author(s):  
Steven Garavaglia
Keyword(s):  
Direct Product ◽  
Regular Ring ◽  
Decomposition Theorem ◽  
Direct Products ◽  
Product Decomposition ◽  
Von Neumann Regular Ring ◽  
Von Neumann ◽  
Direct Product Decomposition ◽  
Von Neumann Regular ◽  
Complete Theories

This paper is mainly concerned with describing complete theories of modules by decomposing them (up to elementary equivalence) into direct products of simpler modules. In §1, I give a decomposition theorem which works for arbitrary direct product theories T. Given such a T, I define T-indecomposable structures and show that every model of T is elementarily equivalent to a direct product of T-indecomposable models of T. In §2, I show that if R is a commutative ring then every R-module is elementarily equivalent to ΠMM where M ranges over the maximal ideals of R and M is the localization of at M. This is applied to prove that if R is a commutative von Neumann regular ring and TR is the theory of R-modules then the TR-indecomposables are precisely the cyclic modules of the form R/M where M is a maximal ideal. In §3, I use the decomposition established in §2 to characterize the ω1-categorical and ω-stable modules over a countable commutative von Neumann regular ring and the superstable modules over a commutative von Neumann regular ring of arbitrary cardinality. In the process, I also prove several general characterizations of ω-stable and superstable modules; e.g., if R is any countable ring, then an R-moduIe is ω-stable if and only if every R-module elementarily equivalent to it is equationally compact.

Sign in / Sign up

Export Citation Format

Share Document