Sequential convergences on <Emphasis Type="Italic">MV</Emphasis>-algebras without Urysohn’s axiom

In a previous author’s paper, sequential convergences on an MV-algebra have been studied; the Urysohn’s axiom was assumed to be valid. The system of all such convergences was denoted by Conv . In the present paper we investigate analogous questions without supposing the validity of the Urysohn’s axiom; the corresponding system of convergences is denoted by conv . Both Conv and conv are partially ordered by the set-theoretical inclusion. We deal with the properties of conv 289-6 and the relations between conv and Conv . We prove that each interval of conv is a distributive lattice. The system conv has the least element, but it does not possess any atom. Hence it is either a singleton set or it is infinite. We consider also the relations between conv and conv G, where (G, u) is a unital lattice-ordered group with = Γ (G, u). This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence — Physics of Information, Grant 1/2/2005.     

<Emphasis Type="Italic">K</Emphasis>-Radical classes and product radical classes of <Emphasis Type="Italic">MV</Emphasis>-algebras

For an MV-algebra let J ₀( ) be the system of all closed ideals of ; this system is partially ordered by the set-theoretical inclusion. A radical class X of MV-algebras will be called a K-radical class iff, whenever ∈ X and is an MV-algebra with J ₀( ) ≅ J ₀( ), then ∈ X. An analogous notation for lattice ordered groups was introduced and studied by Conrad. In the present paper we show that there is a one-to-one correspondence between K-radical classes of MV-algebras and K-radical classes of abelian lattice ordered groups. We also prove an analogous result for product radical classes of MV-algebras; product radical classes of lattice ordered groups were studied by Ton. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information, Grant I/2/2005.     

Algebras of polynomials on locally convex spaces of ultradifferentiable functions and generalized derivation

We consider the space      

Cliques in Steiner systems

A partial Steiner (k,l)-system is a k-uniform hypergraph with the property that every l-element subset of V is contained in at most one edge of . In this paper we show that for given k,l and t there exists a partial Steiner (k,l)-system such that whenever an l-element subset from every edge is chosen, the resulting l-uniform hypergraph contains a clique of size t. As the main result of this note, we establish asymptotic lower and upper bounds on the size of such cliques with respect to the order of Steiner systems. Research of the second author partially supported by NSERC grant OGP0025112.     

Evaluation of infinite series involving special products and their algebraic characterization

The aim of the paper is the investigation of special infinite series of the form

Relative MV-algebras and relative homomorphisms

In this paper we define the notion of relative subalgebra of an MV-algebra A. A particular case of this notion is the notion of interval subalgebra of A; this has been already studied in the literature. Applying these notions, two new categories denoted as r      

∞-jets of diffeomorphisms preserving orbits of vector fields

Let F be a C ^∞ vector field defined near the origin O ∈ ℝ ⁿ , F(O) = 0, and (F _t ) be its local flow. Denote by the set of germs of orbit preserving diffeomorphisms h: ℝ ⁿ → ℝ ⁿ at O, and let , (r ≥ 0), be the identity component of with respect to the weak Whitney W ^r topology. Then contains a subset consisting of maps of the form F _α(x)(x), where α: ℝ ⁿ → ℝ runs over the space of all smooth germs at O. It was proved earlier by the author that if F is a linear vector field, then = . In this paper we present a class of examples of vector fields with degenerate singularities at O for which formally coincides with , i.e. on the level of ∞-jets at O. We also establish parameter rigidity of linear vector fields and “reduced” Hamiltonian vector fields of real homogeneous polynomials in two variables.      

Projectability and weak homogeneity of pseudo effect algebras

In this paper we deal with a pseudo effect algebra possessing a certain interpolation property. According to a result of Dvurečenskij and Vettterlein, can be represented as an interval of a unital partially ordered group G. We prove that is projectable (strongly projectable) if and only if G is projectable (strongly projectable). An analogous result concerning weak homogeneity of and of G is shown to be valid. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence—Physics of Information (grant I/2/2005).     

On absolute summability for double triangle matrices

A lower triangular infinite matrix is called a triangle if there are no zeros on the principal diagonal. The main result of this paper gives a minimal set of sufficient conditions for a double triangle T to be a bounded operator on      

Fundamental group of tiles associated to quadratic canonical number systems

If A is a 2 × 2 expanding matrix with integral coefficients, and ⊂ ℤ² a complete set of coset representatives of ℤ²/Aℤ² with |det(A)| elements, then the set ℐ defined by Aℐ = ℐ + is a self-affine plane tile of ℝ², provided that its two-dimensional Lebesgue measure is positive. It was shown by Luo and Thuswaldner that the fundamental group of such a tile is either trivial or uncountable. To a quadratic polynomial x ² + Ax + B, A, B ∈ ℤ such that B ≥ 2 and −1 ≤ A ≤ B, one can attach a tile ℐ. Akiyama and Thuswaldner proved the triviality of the fundamental group of this tile for 2A < B + 3, by showing that a tile of this class is homeomorphic to a closed disk. The case 2A ≥ B + 3 is treated here by using the criterion given by Luo and Thuswaldner. This research was supported by the Austrian Science Fundation (FWF), projects S9610 and S9612, that are part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number theory”.     

Selfinjective Koszul algebras of finite complexity

In this paper, we study selfinjective Koszul algebras of finite complexity. We prove that the complexity is a nonnegative integer when it is finite; and that the category Yt of modules with complexity less or equal to t, is resolving and coresolving. We show that for each 0 ≤ 1 ≤ m there exist a family of modules of complexity 1 parameterized by G（l, m）, the Grassmannian of l-dimensional subspaces of an m-dimensional vector space V, for the exterior algebra of V. Using complexity, we also give a new approach to the representation theory of a tame symmetric algebra with vanishing radical cube over an algebraically closed field of characteristic 0, via skew group algebra of a finite subgroup of SL（2, C） over the exterior algebra of a 2-dimensional vector space.     

Ends of graphed equivalence relations,II

Given a graphing of a countable Borel equivalence relation on a Polish space, we show that if there is a Borel way of selecting a non-empty closed set of countably many ends from each -component, then there is a Borel way of selecting an end or line from each -component. Our method yields also Glimm-Effros style dichotomies which characterize the circumstances under which: (1) there is a Borel way of selecting a point or end from each -component; and (2) there is a Borel way of selecting a point, end or line from each -component. The first author was supported in part by NSF Grant DMS-0140503. The second author was supported in part by NSF VIGRE Grant DMS-0502315.     

Relative separation in distributive congruence lattices

In [5] we defined separable sets in algebraic lattices and showed a close connection between the types of non-separable sets in congruence lattices of algebras in a finitely generated congruence distributive variety and the structure of subdirectly irreducible algebras in Now we generalize these results using the concept of relatively separable sets (with respect to subsets) and apply them to some lattice varieties.In Celebration of the Sixtieth Birthday of Ralph N. McKenzieReceived November 29, 2002; accepted in final form August 19, 2004.     

Formations of lattice ordered groups and of <Emphasis Type="Italic">GMV</Emphasis>-algebras

A class of lattice ordered groups is called a formation if it is closed with respect to homomorphic images and finite subdirect products. Analogously we define the formation of GMV-algebras. Let us denote by ℱ₁ and ℱ₂ the collection of all formations of lattice ordered groups or of GMV-algebras, respectively. Both ℱ₁ and ℱ₂ are partially ordered by the class-theoretical inclusion. We prove that ℱ₁ satisfies the infinite distributivity law and that ℱ₂ is isomorphic to a principal ideal of ℱ₁. This work was supported by VEGA grant 2/7141/27.     

Construct weak Hopf algebras by using Borcherds matrix

We define a new kind quantized enveloping algebra of a generalized Kac-Moody algebra by adding a new generator J satisfying jm = j for some integer m. We denote this algebra by wUqT（A）. This algebra is a weak Hopf algebra if and only if m = 2,3. In general, it is a bialgebra, and contains a Hopf subalgebra. This Hopf subalgebra is isomorphic to the usual quantum envelope algebra Uq （A） of a generalized Kac-Moody algebra A.     

On <Emphasis Type="Italic">S</Emphasis>-quasinormal and <Emphasis Type="Italic">c</Emphasis>-normal subgroups of a finite group

Let be a saturated formation containing the class of supersolvable groups and let G be a finite group. The following theorems are presented: (1) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every maximal subgroup of all Sylow subgroups of H is either c-normal or S-quasinormally embedded in G. (2) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every maximal subgroup of all Sylow subgroups of F*(H), the generalized Fitting subgroup of H, is either c-normal or S-quasinormally embedded in G. (3) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every cyclic subgroup of F*(H) of prime order or order 4 is either c-normal or S-quasinormally embedded in G. Supported by the Natural Science Foundation of China and the Natural Science Foundation of Guangxi Autonomous Region (No. 0249001). Corresponding author. Supported in part by the Natural Science Foundation of China (10571181), NSF of Guangdong Province (06023728) and ARF(GDEI).     

Direct product decompositions of bounded commutative residuated ℓ-monoids

The notion of bounded commutative residuated ℓ-monoid (BCR ℓ-monoid, in short) generalizes both the notions of MV-algebra and of BL-algebra. Let be a BCR ℓ-monoid; we denote by ℓ( ) the underlying lattice of . In the present paper we show that each direct product decomposition of ℓ( ) determines a direct product decomposition of . This yields that any two direct product decompositions of have isomorphic refinements. We consider also the relations between direct product decompositions of and states on . This work was supported by Slovak Research and Development Agency under the contract No APVV-0071-06. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information (grant I/2/2005).     

Systems of correlation functions, coinvariants, and the Verlinde Algebra

We study the Gaberdiel-Goddard spaces of systems of correlation functions attached to affine Kac-Moody Lie algebras      

Diameter preserving surjection on alternate matrices

Let F be a field with ｜F｜ ≥ 3, Km be the set of all m × m （m ≥ 4） alternate matrices over F. The arithmetic distance of A, B ∈ Km is d（A, B） ：= rank（A - B）. If d（A, B） = 2, then A and B are said to be adjacent. The diameter of Km is max{d（A, B） ： A, B ∈ km}. Assume that φ ： Km→Km is a map. We prove the following are equivalent： （a） φ is a diameter preserving surjection in both directions, （b） φ is both an adjacency preserving surjection and a diameter preserving map, （c） φ is a bijective map which preserves the arithmetic distance.     

Harmonic moments of branching processes in random environments

We consider harmonic moments of branching processes in general random environments. For a sequence of square integrable random variables, we give some conditions such that there is a positive constant c that every variable in this sequence belong to Ac or A1c uniformly.