All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1 Next

Displaying 1 – 20 of 46

Showing per page

Decomposition of group-valued measures on orthoalgebras

Paolo De Lucia, Pedro Morales (1998)

Fundamenta Mathematicae

We present a general decomposition theorem for a positive inner regular finitely additive measure on an orthoalgebra L with values in an ordered topological group G, not necessarily commutative. In the case where L is a Boolean algebra, we establish the uniqueness of such a decomposition. With mild extra hypotheses on G, we extend this Boolean decomposition, preserving the uniqueness, to the case where the measure is order bounded instead of being positive. This last result generalizes A. D. Aleksandrov's...

Decomposition of ℓ -group-valued measures

Giuseppina Barbieri, Antonietta Valente, Hans Weber (2012)

Czechoslovak Mathematical Journal

We deal with decomposition theorems for modular measures μ : L → G defined on a D-lattice with values in a Dedekind complete ℓ -group. Using the celebrated band decomposition theorem of Riesz in Dedekind complete ℓ -groups, several decomposition theorems including the Lebesgue decomposition theorem, the Hewitt-Yosida decomposition theorem and the Alexandroff decomposition theorem are derived. Our main result—also based on the band decomposition theorem of Riesz—is the Hammer-Sobczyk decomposition for ℓ -group-valued...

Deductive systems of BCK-algebras

Sergio A. Celani (2004)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

In this paper we shall give some results on irreducible deductive systems in BCK-algebras and we shall prove that the set of all deductive systems of a BCK-algebra is a Heyting algebra. As a consequence of this result we shall show that the annihilator F * of a deductive system F is the the pseudocomplement of F . These results are more general than that the similar results given by M. Kondo in [7].

Dense pairs of o-minimal structures

Lou van den Dries (1998)

Fundamenta Mathematicae

The structure of definable sets and maps in dense elementary pairs of o-minimal expansions of ordered abelian groups is described. It turns out that a certain notion of "small definable set" plays a special role in this description.

Dimension in algebraic frames

Jorge Martinez (2006)

Czechoslovak Mathematical Journal

In an algebraic frame L the dimension, dim ( L ) , is defined, as in classical ideal theory, to be the maximum of the lengths n of chains of primes p 0 < p 1 < ⋯ < p n , if such a maximum exists, and ∞ otherwise. A notion of “dominance” is then defined among the compact elements of L , which affords one a primefree way to compute dimension. Various subordinate dimensions are considered on a number of frame quotients of L , including the frames d L and z L of d -elements and z -elements, respectively. The more concrete illustrations...

Direct decompositions of dually residuated lattice-ordered monoids

Jiří Rachůnek, Dana Šalounová (2004)

Discussiones Mathematicae - General Algebra and Applications

The class of dually residuated lattice ordered monoids (DRl-monoids) contains, in an appropriate signature, all l-groups, Brouwerian algebras, MV- and GMV-algebras, BL- and pseudo BL-algebras, etc. In the paper we study direct products and decompositions of DRl-monoids in general and we characterize ideals of DRl-monoids which are direct factors. The results are then applicable to all above mentioned special classes of DRl-monoids.

Direct factors of multilattice groups. II.

Milan Kolibiar (1992)

Archivum Mathematicum

Subgroups of a directed distributive multilattice group G are characterized which are direct factors of G . The main result is formulated in Theorem 2.

Direct product decompositions of bounded commutative residuated ℓ -monoids

Ján Jakubík (2008)

Czechoslovak Mathematical Journal

The notion of bounded commutative residuated ℓ -monoid ( B C R ℓ -monoid, in short) generalizes both the notions of M V -algebra and of B L -algebra. Let A ̧ be a B C R ℓ -monoid; we denote by ℓ ( A ̧ ) the underlying lattice of A ̧ . In the present paper we show that each direct...

Currently displaying 1 – 20 of 46

Page 1 Next