Hyperarithmetical Boolean Algebras with a Distinguished Ideal

We prove a general theorem that allows us to pass from a hyperarithmetical Boolean algebra with a distinguished ideal to some computable Boolean algebra connected with the former by natural algebraic operations. Some examples are given.     

套代数理想中的有限秩算子

本文研究了套代数理想中有限秩算子的性质，然后用这些性质去刻划理想．     

Sequential Convergences on Boolean Algebras Defined by Systems of Maximal Filters

We study sequential convergences defined on a Boolean algebra by systems of maximal filters. We describe the order properties of the system of all such convergences. We introduce the category of 2-generated convergence Boolean algebras and generalize the construction of Novak sequential envelope to such algebras.     

Boolean Algebras with Finite Families of Computable Automorphisms

We prove that each computable Boolean algebra has a computable presentation in which for every computable family of automorphisms the set of atoms moved by at least one of its members is finite. This implies that each computable atomic Boolean algebra has a computable presentation in which its every computable family of automorphisms is finite. The priority argument is not used in the proof.     

布尔代数的直觉T-S模糊子代数及理想

在布尔代数中引入了的直觉T-S模糊子代数和直觉T-S模糊理想的概念,给出了布尔代数的直觉T-S模糊子代数的两个等价定义,进一步讨论了它们的性质.证明了布尔代数的两个直觉T-S模糊子代数(理想)的模交与直积也是直觉T-S模糊子代数(理想).     

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.     

The Degree Spectra of Definable Relations on Boolean Algebras

We study some questions concerning the structure of the spectra of the sets of atoms and atomless elements in a computable Boolean algebra. We prove that if the spectrum of the set of atoms contains a 1-low degree then it contains a computable degree. We show also that in a computable Boolean algebra of characteristic (1, 1, 0) whose set of atoms is computable the spectrum of the atomless ideal consists of all Π ₀ ² degrees.Original Russian Text Copyright © 2005 Semukhin P. M.The author was supported by the Russian Foundation for Basic Research (Grant 02-01-00593), the Leading Scientific Schools of the Russian Federation (Grant NSh-2112.2003.1), and the Program “Universities of Russia” (Grant UR.04.01.013).__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 4, pp. 928–941, July–August, 2005.     

Closed Prime Ideals in Algebras with Semiprime Multiplication Algebra

Let A be an algebra whose multiplication algebra M(A) is semiprime. We prove that, except in an exceptional case, the proper closed prime ideals of A are the maximal closed ideals of A, for the closure operations π and ?. In fact, these sets agree for both closures. The same can be said in M(A) for the closure operations π and ?′. Moreover, we establish the relationships between the proper closed prime ideals of A and the ones of the algebras M(A),U and A/U, for a given ideal U of A.     

A Note on Boolean Algebras with Few Partitions Modulo some Filter

We show that for every uncountable regular κ and every κ-complete Boolean algebra B of density ≤ κ there is a filter F ? B such that the number of partitions of length < modulo κF is ≤2^<κ. We apply this to Boolean algebras of the form P(X)/I, where I is a κ-complete κ-dense ideal on X. Mathematics Subject Classification: 06E05, 03C20.     

Some Forms of Exceptional Lie Algebras

Some forms of Lie algebras of types E ₆, E ₇, and E ₈ are constructed using the exterior cube of a rank 9 finitely generated projective module.     

有限表示型代数的一些刻画

Let A be a finite dimensional, connected, basic algebra over an algebraically closed field. We prove that A is of finite representation type if and only if there is a natural number m such that rad^m（End（M）） = 0, for any indecomposable A-modules M. This gives a partial answer to one of problems posed by Skowrofiski.     

Complex Structures in Real Algebras. I. Two-Dimensional Commutative Case

Abstract

We study complex structures in real two-dimensional commutative algebras and show their connection with homotopy properties of the multiplications. An application to the Riccati equation in rank three algebras is also discussed.     

Actions of Boolean rings on sets

LetB be a Boolean ring (with 1),S a sheaf of sets on the Stone space Spec(B), andS the set of global sections of S. For everya B ands, t S, leta(s, t) denote the element ofS which agrees withs on the support ofa, and witht elsewhere.We set down identities satisfied by this ternary operationB×S×SS (involving also the Boolean operations ofB). For a fixed Boolean ringB, we call a setS given with a ternary operation satisfying these identities aBset. The above construction is shown to give a functorial equivalence between sheaves of setsS on Spec(B) with nonempty sets of global sections, and nonemptyB-setsS. For any setA, the bounded Boolean powerA[B]^* is the freeB-set onA. The varieties ofB-sets, asB ranges over all Boolean rings, constitute (together with one trivial variety) the least nontrivial hypervariety of algebras, in the sense of W. Taylor.This work was done while the author was partly supported by NSF contract DMS 85-02330.Presented by R. S. Pierce.     

On Some Extremal Varieties of Associative Algebras

Suppose that F is a field of prime characteristic p and V _p is the variety of associative algebras over F defined by the identities [[x, y], z] = 0 and x ^p = 0 if p > 2 and by the identities [[x, y], z] = 0 and x ⁴ = 0 if p = 2 (here [x, y] = xy ? yx). As is known, the free algebras of countable rank of the varieties V _p contain non-finitely generated T-spaces. We prove that the varieties V _p are minimal with respect to this property.     

Topological Duality for Boolean Algebras with a Normal <Emphasis Type="Italic">n</Emphasis>-ary Monotonic Operator

In this paper we shall give a topological duality for Boolean algebras endowed with an n-ary monotonic operator (BAMOs). The dual spaces of BAMOs are structures of the form , such that is a Boolean space, and R is a relation between X and a finite sequences of non-empty closed subsets of X. By means of this duality we shall characterize the equivalence relations of the dual space of a BAMO A that correspond biunivocally to subalgebras of A. We shall prove that there exist bijective correspondences between the lattice of congruences, the lattice of closed filters, and the lattice of certain closed subsets of the dual space of a BAMO. These correspondences are used to study the simple and the subdirectly irreducible algebras.      

Co-rectangular bands and cosheaves in categories of algebras

Conditions on a categoryC are studied which imply that every structure of rectangular band on an objectS ofC arises from a unique product decompositionS=S ₁×S ₂, especially in the case whereC is the opposite of a category of algebras.Sheaves on Stone spaces with values in opposites of categories of algebras are examined.The analog of the bounded Boolean power constructionR[B]^* forR an object of a general category is described.This work was done while the author was partly supported by NSF contract DMS 85-02330.Presented by R. S. Pierce.     

A renorming in some Banach spaces with applications to fixed point theory

We consider a Banach space X endowed with a linear topology τ and a family of seminorms {Rk(⋅)} which satisfy some special conditions. We define an equivalent norm ?⋅? on X such that if C is a convex bounded closed subset of (X,?⋅?) which is τ-relatively sequentially compact, then every nonexpansive mapping T:C→C has a fixed point. As a consequence, we prove that, if G is a separable compact group, its Fourier-Stieltjes algebra B(G) can be renormed to satisfy the FPP. In case that G=T, we recover P.K. Lin's renorming in the sequence space ?₁. Moreover, we give new norms in ?₁ with the FPP, we find new classes of nonreflexive Banach spaces with the FPP and we give a sufficient condition so that a nonreflexive subspace of L₁(μ) can be renormed to have the FPP.     

Extensions of operator algebras I

We transcribe a portion of the theory of extensions of C^∗-algebras to general operator algebras. We also include several new general facts about approximately unital ideals in operator algebras and the C^∗-algebras which they generate.