210 research outputs found

    A representation theorem for MV-algebras

    Full text link
    An {\em MV-pair} is a pair (B,G)(B,G) where BB is a Boolean algebra and GG is a subgroup of the automorphism group of BB satisfying certain conditions. Let G\sim_G be the equivalence relation on BB naturally associated with GG. We prove that for every MV-pair (B,G)(B,G), the effect algebra B/GB/\sim_G is an MV- effect algebra. Moreover, for every MV-effect algebra MM there is an MV-pair (B,G)(B,G) such that MM is isomorphic to B/GB/\sim_G

    Effective dimension of finite semigroups

    Get PDF
    In this paper we discuss various aspects of the problem of determining the minimal dimension of an injective linear representation of a finite semigroup over a field. We outline some general techniques and results, and apply them to numerous examples.Comment: To appear in J. Pure Appl. Al

    Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups

    Full text link
    corecore