Searcharxiv⌕ Search

arXiv subjects

Ganna Kudryavtseva

Publications and source records attributed to Ganna Kudryavtseva.

At least 37 records · Page 2Linked to original sources
arXiv2016

Free skew Boolean intersection algebras and set partitions

We show that atoms of the $n$-generated free left-handed skew Boolean intersection algebra are in a bijective correspondence with pointed partitions of non-empty subsets of $\{1,2,\dots, n\}$. Furthermore, under the canonical inclusion into the $k$-generated free algebra, where $k\geq n$, an atom of the $n$-generated free algebra decomposes into an orthogonal join of atoms of the $k$-generated free algebra in an agreement with the containment relation on the respective partitions. As a consequence of these results, we describe the structure of finite free left-handed skew Boolean intersection algebras and express several their combinatorial characteristics in terms of Bell numbers and Stirling numbers of the second kind. We also look at the infinite case. For countably many generators, our constructions lead to the `partition analogue' of the Cantor tree whose boundary is the `partition variant' of the Cantor set.

math.RA↗
arXiv2015

Invariant means on Boolean inverse monoids

The classical theory of invariant means, which plays an important role in the theory of paradoxical decompositions, is based upon what are usually termed `pseudogroups'. Such pseudogroups are in fact concrete examples of the Boolean inverse monoids which give rise to etale topological groupoids under non-commutative Stone duality. We accordingly initiate the theory of invariant means on arbitrary Boolean inverse monoids. Our main theorem is a characterization of when a Boolean inverse monoid admits an invariant mean. This generalizes the classical Tarski alternative proved, for example, by de la Harpe and Skandalis, but using different methods.

math.CT↗
arXiv2015

Partial monoid actions and a class of restriction semigroups

We study classes of proper restriction semigroups determined by properties of partial actions underlying them. These properties include strongness, antistrongness, being defined by a homomorphism, being an action etc. Of particular interest is the class determined by homomorphisms, primarily because we observe that its elements, while being close to semidirect products, serve as mediators between general restriction semigroups and semidirect products or $W$-products in an embedding-covering construction. It is remarkable that this class does not have an adequate analogue if specialized to inverse semigroups. $F$-restriction monoids of this class, called ultra $F$-restriction monoids, are determined by homomorphisms from a monoid $T$ to the Munn monoid of a semilattice $Y$. We show that these are precisely the monoids $Y*_mT$ considered by Fountain, Gomes and Gould. We obtain a McAlister-type presentation for the class given by strong dual prehomomorphisms and apply it to construct an embedding of ultra $F$-restriction monoids, for which the base monoid $T$ is free, into $W$-products of semilattices by monoids. Our approach yields new and simpler proofs of two recent embedding-covering results by Szendrei.

math.RA↗
arXiv2013

On multisemigroups

Motivated by recent appearance of multivalued structures in categorification, tropical geometry and other areas, we study basic properties of abstract multisemigroups. We give many new and old examples and general constructions for multisemigroups. Special attention is paid to simple and nilpotent multisemigroups. We also show that "almost all" randomly chosen multivalued binary operations define multisemigroups.

math.GR↗
arXiv2013

A non-commutative Priestley duality

We prove that the category of left-handed strongly distributive skew lattices with zero and proper homomorphisms is dually equivalent to a category of sheaves over local Priestley spaces. Our result thus provides a non-commutative version of classical Priestley duality for distributive lattices and generalizes the recent development of Stone duality for skew Boolean algebras. From the point of view of skew lattices, Leech showed early on that any strongly distributive skew lattice can be embedded in the skew lattice of partial functions on some set with the operations being given by restriction and so-called override. Our duality shows that there is a canonical choice for this embedding. Conversely, from the point of view of sheaves over Boolean spaces, our results show that skew lattices correspond to Priestley orders on these spaces and that skew lattice structures are naturally appropriate in any setting involving sheaves over Priestley spaces.

math.RA↗
arXiv2012

The classifying space of an inverse semigroup

We refine Funk's description of the classifying space of an inverse semigroup by replacing his *-semigroups by right generalized inverse *-semigroups. Our proof uses the idea that presheaves of sets over meet semilattices may be characterized algebraically as right normal bands.

math.CT↗
arXiv2012

A dualizing object approach to non-commutative Stone duality

The aim of the present paper is to extend the dualizing object approach to Stone duality to the non-commutative setting of skew Boolean algebras. This continues the study of non-commutative generalizations of different forms of Stone duality initiated in recent papers by Bauer and Cvetko-Vah, Lawson, Lawson and Lenz, Resende, and also the current author. In particular, we construct a series of dual adjunctions between the categories of Boolean spaces and skew Boolean algebras, unital versions of which are induced by dualizing objects ${0,1,..., n+1}$, $n\geq 0$. We describe Eilenberg-Moore categories of the monads of our adjunctions and construct easily understood non-commutative reflections of skew Boolean algebras, where the latter can be faithfully embedded (if $n\geq 1$) in a canonical way. As an application, we answer the question that arose in a recent paper by Leech and Spinks to describe the left adjoint to their `twisted product' functor $ω$.

math.CT↗
arXiv2012

The structure of generalized inverse semigroups

We prove that the structure of right generalized inverse semigroups is determined by free étale actions of inverse semigroups. This leads to a tensor product interpretation of Yamada's classical struture theorem for generalized inverse semigroups.

math.CT↗
arXiv2011

A refinement of Stone duality to skew Boolean algebras

We establish two duality theorems which refine the classical Stone duality between generalized Boolean algebras and locally compact Boolean spaces. In the first theorem we prove that the category of left-handed skew Boolean algebras whose morphisms are proper skew Boolean algebra homomorphisms is equivalent to the category of étale spaces over locally compact Boolean spaces whose morphisms are étale space cohomomorphisms over continuous proper maps. In the second theorem we prove that the category of left-handed skew Boolean $\cap$-algebras whose morphisms are proper skew Boolean $\cap$-algebra homomorphisms is equivalent to the category of étale spaces with compact clopen equalizers over locally compact Boolean spaces whose morphisms are injective étale space cohomomorphisms over continuous proper maps.

math.RA↗
arXiv2008

The structure of two generalization of the symmetric inverse semigroups

We introduce two generalisations of the full symmetric inverse semigroup ${\mathcal{I}}_X$ and its dual semigroup ${\mathcal{I}^{\ast}}_X$ -- inverse semigroups ${\mathcal{PI}^{\ast}}_X$ and ${\overline{\mathcal{PI}^{\ast}}}_X$. Both of them have the same carrier and contain $\IS_X$. Binary operations on ${\mathcal{PI}^{\ast}}_X$ and ${\overline{\mathcal{PI}^{\ast}}}_X$ are reminiscent of the multiplication in ${\mathcal{I}}_X$. We use a convenient geometric way to realise elements from these two semigroups. This enables us to study efficiently their inner properties and to compare them with the corresponding properties of $\IS_X$ and ${\mathcal{I}^{\ast}}_X$.

math.GR↗
arXiv2008

Combinatorial Gelfand models for some semigroups and q-rook monoid algebras

Inspired by the results of [R. Adin, A. Postnikov, Y. Roichman, Combinatorial Gelfand model, preprint math.RT arXiv:0709.3962], we propose combinatorial Gelfand models for semigroup algebras of some finite semigroups, which include the symmetric inverse semigroup, the dual symmetric inverse semigroup, the maximal factorizable subsemigroup in the dual symmetric inverse semigroup, and the factor power of the symmetric group. Furthermore we extend the Gelfand model for the semigroup algebras of the symmetric inverse semigroup to a Gelfand model for the $q$-rook monoid algebra.

math.RT↗
arXiv2007

On three approaches to conjugacy in semigroups

We compare three approaches to the notion of conjugacy for semigroups, the first one via the transitive closure of the $uv\sim vu$ relation, the second one via an action of inverse semigroups on themselves by partial transformations, and the third one via characters of finite-dimensional representations.

math.GR↗
arXiv2007

Semitransitive and transitive subsemigroups of the inverse symmetric semigroups

We classify minimal transitive subsemigroups of the finitary inverse symmetric semigroup modulo the classification of minimal transitive subgroups of finite symmetric groups; and semitransitive subsemigroups of the finite inverse symmetric semigroup of the minimal cardinality modulo the classification of transitive subgroups of the minimal cardinality of finite symmetric groups.

math.GR↗
arXiv2006

On the semigroup of square matrices

We study the structure of nilpotent subsemigroups in the semigroup $M(n,\mathbb{F})$ of all $n\times n$ matrices over a field, $\mathbb{F}$, with respect to the operation of the usual matrix multiplication. We describe the maximal subsemigroups among the nilpotent subsemigroups of a fixed nilpotency degree and classify them up to isomorphism. We also describe isolated and completely isolated subsemigroups and conjugated elements in $M(n,\mathbb{F})$.

math.GR↗
arXiv2006

Partialization of categories and inverse braid-permutation monoid

We show how the categorial approach to inverse monoids can be described as a certain endofunctor (which we call the partialization functor) of some category. In this paper we show that this functor can be used to obtain several recently defined inverse monoids, and use it to define a new object, which we call the inverse braid-permutation monoid. A presentation for this monoid is obtained. Finally, we study some abstract properties of the partialization functor and its iterations. This leads to a categorification of a monoid of all order preserving maps, and series of orthodox generalizations of the symmetric inverse semigroup.

math.GR↗