Aspects of fuzzy spaces with special reference to cardinality, dimension, and order-homomorphisms

Aspects of fuzzy vector spaces and fuzzy groups are investigated, including linear independence, basis, dimension, group order, finitely generated groups and cyclic groups. It was necessary to consider cardinality of fuzzy sets and related issues, which included a question of ways in which to define functions between fuzzy sets. Among the results proved, are the additivity property of dimension for fuzzy vector spaces, Lagrange's Theorem for fuzzy groups ( the existing version of this theorem does not take fuzziness into account at all), a compactness property of finitely generated fuzzy groups and an extension of an earlier result on the order-homomorphisms. An open question is posed with regard to the existence of a basis for an arbitrary fuzzy vector space

Unbraiding the braided tensor product

We show that the braided tensor product algebra $A_1\underline{\otimes}A_2$ of two module algebras $A_1, A_2$ of a quasitriangular Hopf algebra $H$ is equal to the ordinary tensor product algebra of $A_1$ with a subalgebra of $A_1\underline{\otimes}A_2$ isomorphic to $A_2$, provided there exists a realization of $H$ within $A_1$. In other words, under this assumption we construct a transformation of generators which `decouples' $A_1, A_2$ (i.e. makes them commuting). We apply the theorem to the braided tensor product algebras of two or more quantum group covariant quantum spaces, deformed Heisenberg algebras and q-deformed fuzzy spheres.Comment: LaTex file, 29 page

Semiring and semimodule issues in MV-algebras

In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings - such an approach naturally imposing the introduction and study of a suitable corresponding class of semimodules, called MV-semimodules. We present several results addressed toward a semiring theory for MV-algebras. In particular we show a representation of MV-algebras as a subsemiring of the endomorphism semiring of a semilattice, the construction of the Grothendieck group of a semiring and its functorial nature, and the effect of Mundici categorical equivalence between MV-algebras and lattice-ordered Abelian groups with a distinguished strong order unit upon the relationship between MV-semimodules and semimodules over idempotent semifields.Comment: This version contains some corrections to some results at the end of Section

Notes on divisible MV-algebras

In these notes we study the class of divisible MV-algebras inside the algebraic hierarchy of MV-algebras with product. We connect divisible MV-algebras with $\mathbb Q$-vector lattices, we present the divisible hull as a categorical adjunction and we prove a duality between finitely presented algebras and rational polyhedra

On the Decoupling of the Homogeneous and Inhomogeneous Parts in Inhomogeneous Quantum Groups

We show that, if there exists a realization of a Hopf algebra $H$ in a $H$-module algebra $A$, then one can split their cross-product into the tensor product algebra of $A$ itself with a subalgebra isomorphic to $H$ and commuting with $A$. This result applies in particular to the algebra underlying inhomogeneous quantum groups like the Euclidean ones, which are obtained as cross-products of the quantum Euclidean spaces $R_q^N$ with the quantum groups of rotation $U_qso(N)$ of $R_q^N$, for which it has no classical analog.Comment: Latex file, 27 pages. Final version to appear in J. Phys.