Showing 1–14 of 14 results for author: Cvetko-Vah, K

On elementary, odd, semimagic and other classes of antilattices

Authors: Karin Cvetko-Vah, Michael Kinyon, Tomaž Pisanski

Abstract: An \emph{antilattice} is an algebraic structure based on the same set of axioms as a lattice except that the two commutativity axioms for $\land$ and $\lor$ are replaced by anticommutative counterparts. In this paper we study certain classes of antilattices, including elementary (no nontrivial subantilattices), odd (no subantilattices of order $2$), simple (no nontrivial congruences) and irreducib… ▽ More An \emph{antilattice} is an algebraic structure based on the same set of axioms as a lattice except that the two commutativity axioms for $\land$ and $\lor$ are replaced by anticommutative counterparts. In this paper we study certain classes of antilattices, including elementary (no nontrivial subantilattices), odd (no subantilattices of order $2$), simple (no nontrivial congruences) and irreducible (not expressible as a direct product). In the finite case, odd antilattices are the same as Leech's \emph{Latin} antilattices which arise from the construction of semimagic squares from pairs of orthogonal Latin squares. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Comments: 24 pages, 3 figures

MSC Class: 06B75; 05A15; 05A17; 03G10; 11P99

Journal ref: J. Algebra Appl. 23 (2024), no. 01, art. no 2450012

Duality for noncommutative frames

Authors: Karin Cvetko-Vah, Jens Hemelaer, Lieven Le Bruyn

Abstract: We characterize the left-handed noncommutative frames that arise from sheaves on topological spaces. Further, we show that a general left-handed noncommutative frame $A$ arises from a sheaf on the dissolution locale associated to the commutative shadow of $A$. Both constructions are made precise in terms of dual equivalences of categories, similar to the duality result for strongly distributive sk… ▽ More We characterize the left-handed noncommutative frames that arise from sheaves on topological spaces. Further, we show that a general left-handed noncommutative frame $A$ arises from a sheaf on the dissolution locale associated to the commutative shadow of $A$. Both constructions are made precise in terms of dual equivalences of categories, similar to the duality result for strongly distributive skew lattices in arXiv:1206.5848. △ Less

Submitted 28 November, 2019; originally announced November 2019.

Comments: 28 pages

Noncommutative Frames Revisited

Authors: Karin Cvetko-Vah, Jens Hemelaer, Jonathan Leech

Abstract: In this note, we correct an error in arXiv:1702.04949 by adding an additional assumption of join completeness. We demonstrate with examples why this assumption is necessary, and discuss how join completeness relates to other properties of a skew lattice. In this note, we correct an error in arXiv:1702.04949 by adding an additional assumption of join completeness. We demonstrate with examples why this assumption is necessary, and discuss how join completeness relates to other properties of a skew lattice. △ Less

Submitted 27 November, 2019; originally announced November 2019.

Comments: 8 pages

Regular Antilattices

Authors: Karin Cvetko-Vah, Michael Kinyon, Jonathan Leech, Tomaž Pisanski

Abstract: Antilattices $(S;\lor, \land)$ for which the Green's equivalences $\mathcal L_{(\lor)}$, $\mathcal R_{(\lor)}$, $\mathcal L_{(\land)}$ and $\mathcal R_{(\land)}$ are all congruences of the entire antilattice are studied and enumerated. Antilattices $(S;\lor, \land)$ for which the Green's equivalences $\mathcal L_{(\lor)}$, $\mathcal R_{(\lor)}$, $\mathcal L_{(\land)}$ and $\mathcal R_{(\land)}$ are all congruences of the entire antilattice are studied and enumerated. △ Less

Submitted 7 November, 2019; originally announced November 2019.

MSC Class: 06B75; 05A15; 05A17; 03G10; 11P99

Journal ref: Art of Discrete and Applied Mathematics, 2 (2019), no. 2, #P2.06

Skew lattices and set-theoretic solutions of the Yang-Baxter equation

Authors: Karin Cvetko-Vah, Charlotte Verwimp

Abstract: In this paper we discuss and characterize several set-theoretic solutions of the Yang-Baxter equation obtained using skew lattices, an algebraic structure that has not yet been related to the Yang-Baxter equation. Such solutions are degenerate in general, and thus different from solutions obtained from braces and other algebraic structures. Our main result concerns a description of a set-theoretic… ▽ More In this paper we discuss and characterize several set-theoretic solutions of the Yang-Baxter equation obtained using skew lattices, an algebraic structure that has not yet been related to the Yang-Baxter equation. Such solutions are degenerate in general, and thus different from solutions obtained from braces and other algebraic structures. Our main result concerns a description of a set-theoretic solution of the Yang-Baxter equation, obtained from an arbitrary skew lattice. We also provide a construction of a cancellative and distributive skew lattice on a given family of pairwise disjoint sets. △ Less

Submitted 5 February, 2020; v1 submitted 8 July, 2019; originally announced July 2019.

Comments: The definition of a simply cancellative skew lattice on page 25 should correctly be stated as: $x \lor z\lor x = y\lor z \lor y, x \land z \land x =y \land z \land y \Longrightarrow x = y.$ All results in the paper were obtained using the correct definition

MSC Class: 16T25; 03G10; 06B75

Journal ref: Journal of Algebra, vol. 542 (2020), 65--92

What is a noncommutative topos?

Authors: Karin Cvetko-Vah, Jens Hemelaer, Lieven Le Bruyn

Abstract: In 1702.04949 noncommutative frames were introduced, generalizing the usual notion of frames of open sets of a topological space. In this paper we extend this notion to noncommutative Grothendieck topologies and their associated noncommutative toposes of sheaves of sets. In 1702.04949 noncommutative frames were introduced, generalizing the usual notion of frames of open sets of a topological space. In this paper we extend this notion to noncommutative Grothendieck topologies and their associated noncommutative toposes of sheaves of sets. △ Less

Submitted 8 May, 2017; originally announced May 2017.

Journal ref: J. Algebra Appl. 18, no. 6 (2019) 1950107

Noncommutative frames

Authors: Karin Cvetko-Vah

Abstract: We explore algebraic properties of noncommutative frames. The concept of noncommutative frames is due to Le Bruyn, who introduced it in connection with noncommutative covers of the Connes-Consani arithmetic site. We explore algebraic properties of noncommutative frames. The concept of noncommutative frames is due to Le Bruyn, who introduced it in connection with noncommutative covers of the Connes-Consani arithmetic site. △ Less

Submitted 20 December, 2017; v1 submitted 16 February, 2017; originally announced February 2017.

Comments: 12 pages

Journal ref: Journal of Algebra and Its Applications, 2018

On Skew Heyting Algebras

Authors: Karin Cvetko-Vah

Abstract: In the present paper we generalize the notion of a Heyting algebra to the non-commutative setting and hence introduce what we believe to be the proper notion of the implication in skew lattices. We list several examples of skew Heyting algebras, including Heyting algebras, dual skew Boolean algebras, conormal skew chains and algebras of partial maps with poset domains. In the present paper we generalize the notion of a Heyting algebra to the non-commutative setting and hence introduce what we believe to be the proper notion of the implication in skew lattices. We list several examples of skew Heyting algebras, including Heyting algebras, dual skew Boolean algebras, conormal skew chains and algebras of partial maps with poset domains. △ Less

Submitted 8 April, 2016; v1 submitted 29 October, 2014; originally announced October 2014.

Comments: 13 pages

MSC Class: 06F35

Journal ref: Ars Mathematica Contemporanea, [S.l.], v. 12, n. 1, apr. 2017 pgs 37-50 ISSN 1855-3974

Flat Coset Decompositions of Skew Lattices

Authors: Joao Pita Costa, Karin Cvetko-Vah

Abstract: Skew lattices are non-commutative generalizations of lattices, and the cosets represent the building blocks that skew lattices are built of. As by Leech's Second Decomposition Theorem any skew lattice embeds into a direct product of a left-handed skew lattice by a right-handed one, it is natural to consider the so called flat coset decompositions, i.e. decompositions of a skew lattice into right a… ▽ More Skew lattices are non-commutative generalizations of lattices, and the cosets represent the building blocks that skew lattices are built of. As by Leech's Second Decomposition Theorem any skew lattice embeds into a direct product of a left-handed skew lattice by a right-handed one, it is natural to consider the so called flat coset decompositions, i.e. decompositions of a skew lattice into right and left cosets, thus finding the smallest atoms that compose the structure. △ Less

Submitted 27 July, 2019; v1 submitted 10 June, 2014; originally announced June 2014.

Comments: 26 pages

MSC Class: 06B75

Journal ref: Semigroup Forum 92 (2016)

A non-commutative Priestley duality

Authors: Andrej Bauer, Karin Cvetko-Vah, Mai Gehrke, Sam van Gool, Ganna Kudryavtseva

Abstract: 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 v… ▽ More 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. △ Less

Submitted 17 May, 2013; v1 submitted 25 June, 2012; originally announced June 2012.

Comments: 20 pages

MSC Class: 06D50; 06F05; 54B40

Journal ref: Topology Appl. 160 (12) (2013), 1423-1438

Stone Duality for Skew Boolean Algebras with Intersections

Authors: Andrej Bauer, Karin Cvetko-Vah

Abstract: We extend Stone duality between generalized Boolean algebras and Boolean spaces, which are the zero-dimensional locally-compact Hausdorff spaces, to a non-commutative setting. We first show that the category of right-handed skew Boolean algebras with intersections is dual to the category of surjective etale maps between Boolean spaces. We then extend the duality to skew Boolean algebras with inter… ▽ More We extend Stone duality between generalized Boolean algebras and Boolean spaces, which are the zero-dimensional locally-compact Hausdorff spaces, to a non-commutative setting. We first show that the category of right-handed skew Boolean algebras with intersections is dual to the category of surjective etale maps between Boolean spaces. We then extend the duality to skew Boolean algebras with intersections, and consider several variations in which the morphisms are restricted. Finally, we use the duality to construct a right-handed skew Boolean algebra without a lattice section. △ Less

Submitted 2 June, 2011; originally announced June 2011.

MSC Class: 06E15 (Primary) 03G05 (Secondary)

Journal ref: Houston Journal of Mathmeatics, Vol. 39, No. 1 , 2013, pages 73-109

Semitransitive subsemigroups of the singular part of the finite symmetric inverse semigroup

Authors: Karin Cvetko-Vah, Damjana Kokol Bukovšek, Tomaž Košir, Ganna Kudryavtseva

Abstract: We prove that the minimal cardinality of the semitransitive subsemigroup in the singular part $\IS_n\setminus §_n$ of the symmetric inverse semigroup $\IS_n$ is $2n-p+1$, where $p$ is the greatest proper divisor of $n$, and classify all semitransitive subsemigroups of this minimal cardinality. We prove that the minimal cardinality of the semitransitive subsemigroup in the singular part $\IS_n\setminus §_n$ of the symmetric inverse semigroup $\IS_n$ is $2n-p+1$, where $p$ is the greatest proper divisor of $n$, and classify all semitransitive subsemigroups of this minimal cardinality. △ Less

Submitted 9 February, 2009; originally announced February 2009.

MSC Class: 20M20

Journal ref: Acta mathematica Hungarica, vol. 131 (2011)

Semitransitive and transitive subsemigroups of the inverse symmetric semigroups

Authors: Karin Cvetko-Vah, Damjana Kokol Bukovšek, Tomaž Košir, Ganna Kudryavtseva, Yaroslav Lavrenyuk, Andriy Oliynyk

Abstract: 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. 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. △ Less

Submitted 5 September, 2007; originally announced September 2007.

Comments: 16 pages

MSC Class: 20M20

Journal ref: Semigroup Forum 78 (2009), no. 1, 138-147

Towards a skew lattice approach to quantum (computational) logic

Authors: Karin Cvetko-Vah

Abstract: In quantum mechanics, each observable is assigned a collection of projections. Two observables are compatible (can be measured simultaneously) if and only if any two projections that are assigned to them commute. This led to the study of noncommuting sets of idempotents which further led to the skew lattice theory that was founded and explored by Jonathan Leech. In the present paper we shall see… ▽ More In quantum mechanics, each observable is assigned a collection of projections. Two observables are compatible (can be measured simultaneously) if and only if any two projections that are assigned to them commute. This led to the study of noncommuting sets of idempotents which further led to the skew lattice theory that was founded and explored by Jonathan Leech. In the present paper we shall see how noncommuting projections can be regarded as generators of a skew lattice. △ Less

Submitted 19 July, 2007; v1 submitted 17 July, 2006; originally announced July 2006.

Comments: The paper has been remowed

MSC Class: 03G10; 03G12; 06B99; 06C99; 81P10