Modal operators on bounded commutative residuated <Emphasis Type="Italic">ℓ</Emphasis>-monoids

Bounded commutative residuated lattice ordered monoids (Rℓ-monoids) are a common generalization of, e.g., Heyting algebras and BL-algebras, i.e., algebras of intuitionistic logic and basic fuzzy logic, respectively. Modal operators (special cases of closure operators) on Heyting algebras were studied in [MacNAB, D. S.: Modal operators on Heyting algebras, Algebra Universalis 12 (1981), 5–29] and on MV-algebras in [HARLENDEROVá,M.—RACHŮNEK, J.: Modal operators on MV-algebras, Math. Bohem. 131 (2006), 39–48]. In the paper we generalize the notion of a modal operator for general bounded commutative Rℓ-monoids and investigate their properties also for certain derived algebras. The first author was supported by the Council of Czech Government, MSM 6198959214.     

Modal operators on commutative residuated lattices

We prove some fundamental properties of monotone modal operators on bounded commutative integral residuated lattices (CRL). Moreover we give a positive answer to the problem left open in [RACHŮNEK, J.—ŠALOUNOV á, D.: Modal operators on bounded commutative residuated Rℓ-monoids, Math. Slovaca 57 (2007), 321–332].     

Complex algebras of subalgebras

Let V be a variety of algebras. We specify a condition (the so-called generalized entropic property), which is equivalent to the fact that for every algebra A ∈ V, the set of all subalgebras of A is a subuniverse of the complex algebra of the subalgebras of A. The relationship between the generalized entropic property and the entropic law is investigated. Also, for varieties with the generalized entropic property, we consider identities that are satisfied by complex algebras of subalgebras. Dedicated to George Gr?tzer on the occasion of his 70th birthday Supported by INTAS grant No. 03-51-4110. Supported by MŠMTČR (project MSM 0021620839) and by the Grant Agency of the Czech Republic (grant No. 201/05/0002). Translated from Algebra i Logika, Vol. 47, No. 6, pp. 655–686, November–December, 2008.     

Non-embeddable simple relation algebras

This paper presents solutions or partial solutions for several problems in the theory of relation algebras. In a simple relation algebra an element x satisfying the condition (a) must be an atom of . It follows that x must also be an atom in every simple extension of . Andréka, Jónsson and Németi [1, Problem 4] (see [12, Problem P5]) asked whether the converse holds: if x is an atom in every simple extension of a simple relation algebra, must it satisfy (a)? We show that the answer is “no”.? The only known examples of simple relation algebras without simple proper extensions are the algebras of all binary relations on a finite set. Jónsson proposed finding all finite simple relation algebras without simple proper extensions [12, Problem P6]. We show how to construct many new examples of finite simple relation algebras that have no simple proper extensions, thus providing a partial answer for this second problem. These algebras are also integral and nonrepresentable.? Andréka, Jónsson, Németi [1, Problem 2] (see [12, Problem P7]) asked whether there is a countable simple relation algebra that cannot be embedded in a one-generated relation algebra. The answer is “yes”. Givant [3, Problem 9] asked whether there is some k such that every finitely generated simple relation algebra can be embedded in a k-generated simple relation algebra. The answer is “no”. Received November 27, 1996; accepted in final form July 3, 1997.     

Isomorphism classes and automorphism groups of algebras of Weyl type

In one of our recent papers, the associative and the Lie algebras of Weyl typeA[D]=A⊗F[D] were defined and studied, whereA is a commutative associative algebra with an identity element over a field F of any characteristic, and F[D] is the polynomial algebra of a commutative derivation subalgebraD ofA. In the present paper, a class of the above associative and Lie algebrasA[D] with F being a field of characteristic 0,D consisting of locally finite but not locally nilpotent derivations ofA, are studied. The isomorphism classes and automorphism groups of these associative and Lie algebras are determined     

Implicative commutative semigroups are equivalent to a class of BCK algebras

Chan and Shum [2] introduced the notion of implicative semigroups and obtained some of its important properties. BCK algebras with condition (S) were introduced by Iséki [4] and extensively investigated by several authors. In this note, we prove that implicative commutative semigroups are equivalent to BCK algebras with condition (S), that is, given an algebra <S;≤,·,*,1> of type (2,2,0), define ⊗ by stipulatingx⊗y=y*x and ≺ by puttingx≺y if and only ify≤x, then <S≤,·,*,1> is an implicative commutative semigroup if and only if <S;≺,·,⊗, 1> is a BCK algebra with condition (S); a nonempty subsetF ofS is an ordered filter of <S;≤,·,*, 1> if and only ifF is an ideal of <S;≺,·, ⊗, 1>. The author would like to thank the referee for his valuable comments which helped in the modification of this paper.     

Sur l’annulation du deuxième foncteur de (co)homologie d’André-Quillen

For a given idealI of a commutative ringA, B=A/I, the vanishing of the second André-Quillen (co)homology functorH ₂ (A, B, δ) is characterized in terms of the canonical homomorphism α:S(I)→R(I) from the symmetric algebra of the idealI onto its Rees algebra. This is done by introducing a Koszul complex that characterizes commutative graded algebras which are symmetric algebras.

---

---

This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag.     

On quantum mechanics and generalized Clifford algebras

In this note we give elementary examples of the naturalness of generalized Clifford algebras appearance, in some particular quantum mechanical models. First Weyl’s program [1] for quantum kinematics for the case of simplest Galois fieldsZ _n is realized in terms of generalized Clifford algebras. Dynamics might then be introduced, following the ideas of Hanney and Berry [2], as shown in [3]. Second the coherent state picture of the finite dimensional “Z _n — Quantum Mechanics” is presented. In the last part the known coherent states ofq-deformed quantum oscillators (q≡ω) are explicitly shown in the generalized Grassman algebras and the generalized Clifford algebras settings. Presented atThe Polish-Mexican Seminar, Kazimierz Dolny, August 1998 — Poland. 176     

Higher Order Peak Algebras

Using the theory of noncommutative symmetric functions, we introduce the higher order peak algebras (Sym(N))_N≥1, a sequence of graded Hopf algebras which contain the descent algebra and the usual peak algebra as initial cases (N=1 and N=2). We compute their Hilbert series, introduce and study several combinatorial bases, and establish various algebraic identities related to the multisection of formal power series with noncommutative coefficients. Received November 19, 2004     

On quasi-prime,weakly quasi-prime left ideals in ordered-Γ-semigroups

In this paper we obtain and establish some important results in ordered Γ-semigroups extending and generalizing those for semigroups given in [PETRICH, M.: Introduction to Semigroups, Merill, Columbus, 1973] and for ordered semigroups from [KEHAYOPULU, N.: On weakly prime ideals of ordered semigroups, Math. Japon. 35 (1990), 1051–1056], [KEHAYOPULU, N.: On prime, weakly prime ideals in ordered semigroups, Semigroup Forum 44 (1992), 341–346] and [XIE, X. Y.—WU, M. F.: On quasi-prime, weakly quasi-prime left ideals in ordered semigroups, PU.M.A. 6 (1995), 105–120]. We introduce and give some characterizations about the quasi-prime and weakly quasi-prime left ideals of ordered-Γ-semigroups. We also introduce the concept of weakly m-systems in ordered Γ-semigroups and give some characterizations of the quasi-prime and weakly quasi-prime left ideals by weakly m-systems.     

Pairs of II1 factors

A class of objects—that are best described as being actions ofgroup-like objects of von Neumann algebras—is axiomatised and it is shown that there exists a bijective correspondence between isomorphism classes of suchcovariant systems and isomorphism classes of pairs of II₁ factors (M, N) satisfyingN⊂M, [M:N]<∞ andM∮N′=C.     

A note on slant submanifolds of nearly trans-Sasakian manifolds

The geometry of slant submanifolds of a nearly trans-Sasakian manifold is studied when the tensor field Q is parallel. It is proved that Q is not parallel on the submanifold unless it is anti-invariant and thus the result of [CABRERIZO, J. L.—CARRIAZO, A.—FERNANDEZ, L. M.—FERNANDEZ, M.: Slant submanifolds in Sasakian manifolds, Glasg. Math. J. 42 (2000), 125–138] and [GUPTA, R. S.—KHURSHEED HAIDER, S. M.—SHARFUDIN, A.: Slant submanifolds of a trans-Sasakian manifold, Bull. Math. Soc. Sci. Math. Roumanie (N.S.) 47 (2004), 45–57] are generalized.     

Lie Algops and Simple Lie Algebras

ABSTRACT

Pairs (A, L) with A a commutative algebra and L a Lie algebra acting on A by derivations, called Lie algops, are studied as algebraic structures over arbitrary fields of arbitrary characteristic. Lie algops possess modules and tensor products—and are considered with respect to a central simple theory.

The simplicity problem of determining the faithful unital simple Lie algops ( A, L ) is of interest since the corresponding Lie algebras AL are usually simple (Jordan, 2000 Jordan , D. A. ( 2000 ). On the simplicity of Lie algebras of derivations of commutative algebras . J. Algebra 228 : 580 – 585 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]). For locally finite Lie algops, and up to purely inseparable descent, this problem reduces by way of closures to the closed central simplicity problem of determining those which are closed central simple.

The simplicity and representation theories for locally nilpotent separably triangulable unital Lie algops are of particular interest because they relate to the problems of classifying simple Lie algebras of Witt type and their representations. Of these, the simplicity theory reduces to that of Jordan Lie algops.

The main Theorems 7.3 and 7.4 reduce the simplicity and representation theories for Jordan Lie algops to the simplicity and representation theories for simple nil and toral Lie algops.     

Gröbner-Shirshov bases for Rota-Baxter algebras

We establish the composition-diamond lemma for associative nonunitary Rota-Baxter algebras of weight λ. To give an application, we construct a linear basis for a free commutative and nonunitary Rota-Baxter algebra, show that every countably generated Rota-Baxter algebra of weight 0 can be embedded into a two-generated Rota—Baxter algebra, and prove the 1-PBW theorems for dendriform dialgebras and trialgebras.     

Join-semilattices whose sections are residuated PO-monoids

We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a sectionally residuated semilattice. Natural examples come from propositional logic. For instance, implication algebras (also known as Tarski algebras), which are the algebraic models of the implication fragment of the classical logic, are sectionally residuated semilattices such that every section is even a Boolean algebra. A similar situation rises in case of the Lukasiewicz multiple-valued logic where sections are bounded commutative BCK-algebras, hence MV-algebras. Likewise, every integral residuated (semi)lattice is sectionally residuated in a natural way. We show that sectionally residuated semilattices can be axiomatized as algebras (A, r, →, ⇝, 1) of type 〈3, 2, 2, 0〉 where (A, →, ⇝, 1) is a {→, ⇝, 1}-subreduct of an integral residuated lattice. We prove that every sectionally residuated lattice can be isomorphically embedded into a residuated lattice in which the ternary operation r is given by r(x, y, z) = (x · y) ∨ z. Finally, we describe mutual connections between involutive sectionally residuated semilattices and certain biresiduation algebras. This work was supported by the Czech Government via the project MSM6198959214.     

MV-ALGEBRA VALUED FILTER THEORY

Abstract

Let M be a complete MV-algebra with square roots. Then every M-valued filter can be represented as “intersection” of an appropriate family of maximal M-valued filters. In the case of M = [0,1] maximal [0,1]-valued filters and finitely additive probability measures come to the same thing.     

Amenability constants for semilattice algebras

For any finite commutative idempotent semigroup S, a semilattice, we show how to compute the amenability constant of its semigroup algebra ℓ ¹(S). This amenability constant is always of the form 4n+1. We then show that these give lower bounds to amenability constants of certain Banach algebras graded over semilattices. We also give example of a commutative Clifford semigroups G _n whose semigroup algebras ℓ ¹(G _n ) admit amenability constants of the form 41+4(n−1)/n. We also show there is no commutative semigroup whose semigroup algebra has an amenability constant between 5 and 9. N. Spronk’s research was supported by NSERC Grant 312515-05.     

Some argument inequalities for certain analytic functions

For analytic functions f(z) in the open unit disk U and convex functions g(z) in U, Nunokawa et al. [NUNOKAWA, M.—OWA, S.—NISHIWAKI, J.—KUROKI, K.—HAYAMI, T: Differential subordination and argumental property, Comput. Math. Appl. 56 (2008), 2733–2736] have proved one theorem which is a generalization of the result [POMMERENKE, CH.: On close-toconvex analytic functions, Trans. Amer. Math. Soc. 114 (1965), 176–186]. The object of the present paper is to generalize the theorem due to Nunokawa et al..     

Support Varieties for Modules Over Stacked Monomial Algebras

Let Λ be a finite-dimensional (D, A)-stacked monomial algebra. In this article, we give necessary and sufficient conditions for the variety of a simple Λ-module to be nontrivial. This is then used to give structural information on the algebra Λ, as it is shown that if the variety of every simple module is nontrivial, then Λ is a D-Koszul monomial algebra. We also provide examples of (D, A)-stacked monomial algebras which are not self-injective but nevertheless satisfy the finite generation conditions (Fg1) and (Fg2) of [4 Erdmann , K. , Holloway , M. , Snashall , N. , Solberg , Ø. , Taillefer , R. ( 2004 ). Support varieties for selfinjective algebras . K-Theory 33 : 67 – 87 .[Crossref] , [Google Scholar]], from which we can characterize all modules with trivial variety.