Non-extendability of semilattice-valued measures on partially ordered sets

Mathematics – General Mathematics

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

8 pages, Proceedings of AAA 70 -- 70th Workshop on General Algebra, Vienna University of Technology (May 26--29, 2005), to app

Scientific paper

For a distributive join-semilattice S with zero, a S-valued poset measure on a poset P is a map m:PxP->S such that m(x,z) <= m(x,y)vm(y,z), and x <= y implies that m(x,y)=0, for all x,y,z in P. In relation with congruence lattice representation problems, we consider the problem whether such a measure can be extended to a poset measure m*:P*xP*->S, for a larger poset P*, such that for all a,b in S and all x <= y in P*, m*(y,x)=avb implies that there are a positive integer n and a decomposition x=z\_0 <= z\_1 <= ... <= z\_n=y in P* such that either m*(z\_{i+1},z\_i) <= a or m*(z\_{i+1},z\_i) <= b, for all i < n. In this note we prove that this is not possible as a rule, even in case the poset P we start with is a chain and S has size $\aleph\_1$. The proof uses a "monotone refinement property" that holds in S provided S is either a lattice, or countable, or strongly distributive, but fails for our counterexample. This strongly contrasts with the analogue problem for distances on (discrete) sets, which is known to have a positive (and even functorial) solution.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Non-extendability of semilattice-valued measures on partially ordered sets does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Non-extendability of semilattice-valued measures on partially ordered sets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Non-extendability of semilattice-valued measures on partially ordered sets will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-223111

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.