Smarandache n-Structure on CI-Algebras

In this paper, the notions of CI-algebras, Smarandache CI-algebra, Q-Smarandache filters and Q-Smarandache ideals are introduced. We show that a nonempty subset F of a CI-algebra X is a Q-Smarandache filter if and only if ${A(x,y) \subseteq F}$ , which A(x, y) is a Q-Smarandache upper set. Finally, we introduced the concepts of Smarandache BE-algebra, Smarandache dual BCK-algebra and Smarandache n-structure on CI-algebra.     

Strong NMV-algebras, commutative basic algebras and naBL-algebras

The aim of the paper is to investigate the relationship among NMV-algebras, commutative basic algebras and naBL-algebras (i.e., non-associative BL-algebras). First, we introduce the notion of strong NMV-algebra and prove that

1. a strong NMV-algebra is a residuated l-groupoid (i.e., a bounded integral commutative residuated lattice-ordered groupoid)
2. a residuated l-groupoid is commutative basic algebra if and only if it is a strong NMV-algebra.

Secondly, we introduce the notion of NMV-filter and prove that a residuated l-groupoid is a strong NMV-algebra (commutative basic algebra) if and only if its every filter is an NMV-filter. Finally, we introduce the notion of weak naBL-algebra, and show that any strong NMV-algebra (commutative basic algebra) is weak naBL-algebra and give some counterexamples.     

On BO-algebras

In this paper, we introduce the notion of a BO-algebra, and we prove that every BO-algebra is 0-commutative, and we show that BO-algebras, 0-commutative B-algebras, BM-algebras, p-semisimple BCI-algebras and abelian groups are logically equivalent.     

CI-algebra is equivalent to dual Q-algebra

In this paper, we introduce the notion of dual Q-algebras and we show that the CI-algebras are equivalent to the dual Q-algebras.     

Boolean deductive systems of BL-algebras

BL-algebras rise as Lindenbaum algebras from many valued logic introduced by Hájek [2]. In this paper Boolean ds and implicative ds of BL-algebras are defined and studied. The following is proved to be equivalent: (i) a ds D is implicative, (ii) D is Boolean, (iii) L/D is a Boolean algebra. Moreover, a BL-algebra L contains a proper Boolean ds iff L is bipartite. Local BL-algebras, too, are characterized. These results generalize some theorems presented in [4], [5], [6] for MV-algebras which are BL-algebras fulfiling an additional double negation law x = x ^**. Received: 22 June 1998 /?Published online: 18 May 2001     

Topological algebras with ascending or descending chain condition

We examine some topological algebras with ascending or descending chain condition. We prove that a commutative noetherian F-algebra is necessarily a Q-algebra. We characterize noetherian F-algebras which are Q-algebras among those whose left ideals are closed. We show that any commutative artinian m-convex algebra is finite dimensional.     

On the homomorphisms of power-set <Emphasis Type="Italic">Q</Emphasis>-algebras

We continue the study of homomorphisms between power-set Q-algebras. First, by means of decomposed ul-Q-relations between ordered semigroups we give a general characterization for the homomorphisms between power-set Q-algebras. Also, we consider a new category OSGRP whose objects are ordered semigroups and whose morphisms are decomposed ul-Q-relations, and discuss the relationship between the category OSGRP and the category Q-Alg of Q-algebras.     

Derived equivalences and Gorenstein algebras

We introduce a notion of Gorenstein R-algebras over a commutative Gorenstein ring R. Then we provide a necessary and sufficient condition for a tilting complex over a Gorenstein R-algebra A to have a Gorenstein R-algebra B as the endomorphism algebra and a construction of such a tilting complex. Furthermore, we provide an example of a tilting complex over a Gorenstein R-algebra A whose endomorphism algebra is not a Gorenstein R-algebra.     

On Two-sided Locally Convex H*-algebras

We introduce (left, right, two-sided) locally convex H*-algebras, and we give conditions under which an one-sided locally convex H*-algebra turns to be a two-sided one (actually, a locally convex H*-algebra). We also give an example of a proper right locally convex H*-algebra with a (right) involution, which is not a left involution and an example of a proper two-sided locally convex H*-algebra, which is not a locally convex H*-algebra. Moreover, we connect (via an Arens-Michael decomposition) a two-sided locally m-convex H*-algebra with the classical (Banach) two-sided H*-algebras. Further, we present conditions so that the left, right involutions be continuous, and we see when a twosided locally convex H*-algebra is a dual one. Finally, we present some properties of invariant ideals which play an important rôle in structure theory of two-sided locally convex H*-algebras.     

Quotient-bounded elements in locally convex algebras. II

Consideration of quotient-bounded elements in a locally convexGB ^*-algebra leads to the study of properGB ^*-algebras viz those that admit nontrivial quotient-bounded elements. The construction and structure of such algebras are discussed. A representation theorem for a properGB ^*-algebra representing it as an algebra of unbounded Hilbert space operators is obtained in a form that unifies the well-known Gelfand-Naimark representation theorem forC ^*-algebra and two other representation theorems forb ^*-algebras (also calledlmc ^*-algebras), one representinga b ^*-algebra as an algebra of quotient bounded operators and the other as a weakly unbounded operator algebra. A number of examples are discussed to illustrate quotient-bounded operators. An algebra of unbounded operators constructed out of noncommutativeL ^p-spaces on a regular probability gauge space and the convolution algebra of periodic distributions are analyzed in detail; whereas unbounded Hilbert algebras andL ^w-integral of a measurable field ofC ^*-algebras are discussed briefly.     

Commutative quotients of finite W-algebras

In this paper we reduce the problem of 1-dimensional representations for the finite W-algebras and Humphreys' conjecture on small representations of reduced enveloping algebras to the case of rigid nilpotent elements in exceptional Lie algebras. We use Katsylo's results on sections of sheets to determine the Krull dimension of the largest commutative quotient of the finite W-algebra U(g,e).     

Skew-products of higher-rank graphs and crossed products by semigroups

We consider a free action of an Ore semigroup on a higher-rank graph, and the induced action by endomorphisms of the C ^?-algebra of the graph. We show that the crossed product by this action is stably isomorphic to the C ^?-algebra of a quotient graph. Our main tool is Laca’s dilation theory for endomorphic actions of Ore semigroups on C ^?-algebras, which embeds such an action in an automorphic action of the enveloping group on a larger C ^?-algebra.     

Equational type characterization for σ-complete MV-algebras

In the framework of algebras with infinitary operations, an equational base for the category of σ-complete MV-algebras is given. In this way, we study some particular objects as simple algebras, directly irreducible algebras, injectives, etc. A completeness theorem with respect to the standard MV-algebra, considered as σ-complete MV-algebra, is obtained. Finally, we apply this result to the study of σ-complete Boolean algebras and σ-complete product MV-algebras.     

Some Types of Filters in BE-algebras

In this paper, we introduce some types of filters in BE-algebras and state some theorems which determine the relationship between these filters and other filters of a BE-algebra and by some examples we show that these notions are different.     

On algebras with a generalized implication

We introduce the notion of gi-algebra as a generalization of dual BCK-algebra, and define the notions of strong, commutative and transitive gi-algebra, and then we show that an interval ↑l = {a ∈ P | l ≤ a} in a strong and commutative gi-algebra P is a lattice. Also, we define a congruence relation ～ _D on a transitive gi-algebra P and show that the quotient set P/～ _D is a gi-algebra and a dual BCK-algebra.     

BCC-algebras and residuated partially-ordered groupoid

The aim of the paper is to investigate the relationship between BCC-algebras and residuated partially-ordered groupoids. We prove that an integral residuated partially-ordered groupoid is an integral residuated pomonoid if and only if it is a double BCC-algebra. Moreover, we introduce the notion of weakly integral residuated pomonoid, and give a characterization by the notion of pseudo-BCI algebra. Finally, we give a method to construct a weakly integral residuated pomonoid (pseudo-BCI algebra) from any bounded pseudo-BCK algebra with pseudo product and any group.     

LocalMV-algebras

In this paper we examine and classify the class of localMV-algebras, pointing out some topological properties of them. Particulary we study theMV-algebras generated by radical: some of these algebras are non-linear generalizations of theMV-algebra C defined by C. C. Chang [4].     

The Haagerup problem on subadditive weights on W*-algebras. II

In 1975 U. Haagerup has posed the following question: Whether every normal subadditive weight on a W*-algebra is σ-weakly lower semicontinuous? In 2011 the author has positively answered this question in the particular case of abelian W*-algebras and has presented a general form of normal subadditive weights on these algebras. Here we positively answer this question in the case of finite-dimensional W*-algebras. As a corollary, we give a positive answer for subadditive weights with some natural additional condition on atomic W*-algebras. We also obtain the general form of such normal subadditive weights and norms for wide class of normed solid spaces on atomic W*-algebras.     

Dual Pairs of Hopf *-Algebras

If A is a Hopf *-algebra, the dual space A' is again a *-algebra.There is a natural subalgebra A° of A' that is again a Hopf*-algebra. In many interesting examples, A° will be largeenough (to separate points of A). More generally, one can considera pair (A, B) of Hopf *-algebras and a bilinear form on A xB with conditions such that, if the pairing is non-degenerate,one algebra can be considered as a subalgebra of the dual ofthe other. In these notes, we study such pairs of Hopf *-algebras. We startfrom the notion of a Hopf *-algebra A and its reduced dual A°.We give examples of pairs of Hopf *-algebras, and discuss theproblem of non-degeneracy. The first example is an algebra pairedwith itself. The second example is the pairing of a Hopf *-algebra(due to Jimbo) and the twisted SU(n) of Woronowicz. We alsodiscuss the notion of the quantum double of Drinfeld in thisframework of dual pairs.     

Property T＊＊ for C＊-algebras

Extending the notion of property T of finite von Neumann algebras to general von Neumann algebras, we define and study in this paper property T** for (possibly non-unital) C* -algebras. We obtain several results of property T** parallel to those of property T for unital C* -algebras. Moreover, we show that a discrete group Γ has property T if and only if the group C* -algebra Cr* (Γ) (or equivalently, the reduced group C* -algebra Cr* (Γ)) has property T**. We also show that the compact operators K(l2 ) has property T** but c0 does not have property T**.