Showing 1–19 of 19 results for author: Pilitowska, A

Associative Pentagon Algebras

Authors: Marzia Mazzotta, Agata Pilitowska

Abstract: A set-theoretic solution to the Pentagon Equation can be described as a \emph{pentagon} algebra $(S, \cdot, \ast)$ such that $(S, \cdot)$ is a semigroup and the operations $\cdot$ and $\ast$ are related by two additional equations. This paper aims to investigate associative pentagon algebras in which $(S, \ast)$ is also a semigroup. We introduce and describe two families of associative pentagon al… ▽ More A set-theoretic solution to the Pentagon Equation can be described as a \emph{pentagon} algebra $(S, \cdot, \ast)$ such that $(S, \cdot)$ is a semigroup and the operations $\cdot$ and $\ast$ are related by two additional equations. This paper aims to investigate associative pentagon algebras in which $(S, \ast)$ is also a semigroup. We introduce and describe two families of associative pentagon algebras which are strongly determined by the properties of the semigroup $(S,\ast)$. We present a complete characterization of such algebras using semigroup equations. We also provide constructions of such associative pentagon algebras and give several classes of examples. △ Less

Submitted 17 June, 2025; originally announced June 2025.

Non-involutive solutions of the Yang-Baxter equation of multipermutation level 2

Authors: Jan Hora, Premysl Jedlicka, Agata Pilitowska

Abstract: We study non-degenerate set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2 which are not 2-reductive. We describe an effective way of constructing such solutions using square-free 2-reductive solutions and two bijections. We present an algorithm how to obtain all such finite solutions, up to isomorphism. Using this algorithm, we enumerate all solutions of multipermutat… ▽ More We study non-degenerate set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2 which are not 2-reductive. We describe an effective way of constructing such solutions using square-free 2-reductive solutions and two bijections. We present an algorithm how to obtain all such finite solutions, up to isomorphism. Using this algorithm, we enumerate all solutions of multipermutation level 2 up to size 6. △ Less

Submitted 30 June, 2024; originally announced July 2024.

MSC Class: Primary: 16T25 Secondary: 20N05; 20B25

Diagonals of solutions of the Yang-Baxter equation

Authors: Premysl Jedlicka, Agata Pilitowska

Abstract: We study the diagonal mappings in non-involutive set-theoretic solutions of the Yang-Baxter equation. We show that, for non-degenerate solutions, they are commuting bijections. This gives the positive answer to the question: ``Is every non-degenerate solution bijective?'' of Cedó, Jespers and Verwimp. Additionally, we show that for a subclass of solutions called k-permutational, only one-sided non… ▽ More We study the diagonal mappings in non-involutive set-theoretic solutions of the Yang-Baxter equation. We show that, for non-degenerate solutions, they are commuting bijections. This gives the positive answer to the question: ``Is every non-degenerate solution bijective?'' of Cedó, Jespers and Verwimp. Additionally, we show that for a subclass of solutions called k-permutational, only one-sided non-degeneracy suffices to prove that one of the diagonal mappings is invertible. We also present an equational characterization of multipermutation solutions and extend results of Rump and Gateva-Ivanova about decomposability to non-involutive case. In particular, we show that each, not necessarily involutive, square-free multipermutation solution of finite level and arbitrary cardinality, is always decomposable. △ Less

Submitted 9 October, 2024; v1 submitted 23 February, 2024; originally announced February 2024.

Comments: arXiv admin note: text overlap with arXiv:2303.15154

MSC Class: Primary: 16T25. Secondary: 08A05; 20B30

Skew left braces and 2-reductive solutions of the Yang-Baxter equation

Authors: Přemysl Jedlička, Agata Pilitowska

Abstract: We study 2-reductive non-involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation. We give a combinatorial construction of any such solution of any (even infinite) size. We also prove that solutions associated to a skew left brace are 2-reductive if and only if the skew left brace is nilpotent of class 2. Moreover, all such skew left braces are actually bi-skew left braces. We… ▽ More We study 2-reductive non-involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation. We give a combinatorial construction of any such solution of any (even infinite) size. We also prove that solutions associated to a skew left brace are 2-reductive if and only if the skew left brace is nilpotent of class 2. Moreover, all such skew left braces are actually bi-skew left braces. We focus on these structures and we give several equivalent properties characterizing solutions associated to bi-skew left braces. △ Less

Submitted 27 March, 2023; originally announced March 2023.

Comments: 21 pages

MSC Class: Primary: 16T25 Secondary: 20B25

Indecomposable involutive solutions of the Yang-Baxter equation of multipermutation level 2 with non-abelian permutation group

Authors: Přemysl Jedlička, Agata Pilitowska

Abstract: We give a complete characterization of all indecomposable involutive solutions of the Yang-Baxter equation of multipermutation level~2. In the first step we present a construction of some family of such solutions and in the second step we prove that every indecomposable involutive solution of the Yang-Baxter equation with multipermutation level~2 is a homomorphic image of a solution previously con… ▽ More We give a complete characterization of all indecomposable involutive solutions of the Yang-Baxter equation of multipermutation level~2. In the first step we present a construction of some family of such solutions and in the second step we prove that every indecomposable involutive solution of the Yang-Baxter equation with multipermutation level~2 is a homomorphic image of a solution previously constructed. Analyzing this epimorphism, we are able to obtain all such solutions up to isomorphism and enumerate these of small sizes. △ Less

Submitted 6 July, 2022; originally announced July 2022.

MSC Class: Primary: 16T25. Secondary: 20B35; 16T30

Cocyclic braces and indecomposable cocyclic solutions of the Yang-Baxter equation

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We study indecomposable involutive set-theoretic solutions of the Yang-Baxter equation with cyclic permutation groups (cocyclic solutions). In particular, we show that there is no one-to-one correspondence between indecomposable cocyclic solutions and cocyclic braces which contradicts recent results in \cite{Rump21}. We study indecomposable involutive set-theoretic solutions of the Yang-Baxter equation with cyclic permutation groups (cocyclic solutions). In particular, we show that there is no one-to-one correspondence between indecomposable cocyclic solutions and cocyclic braces which contradicts recent results in \cite{Rump21}. △ Less

Submitted 26 July, 2021; originally announced July 2021.

MSC Class: Primary: 16T25. Secondary: 20B35; 20D15

Journal ref: Proc. Amer. Math. Soc. 150 (2022), 4223-4239

Indecomposable involutive solutions of the Yang-Baxter equation of multipermutational level 2 with abelian permutation group

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We present a construction of all finite indecomposable involutive solutions of the Yang-Baxter equation of multipermutational level at most 2 with abelian permutation group. As a consequence, we obtain a formula for the number of such solutions with a fixed number of elements. We also describe some properties of the automorphism groups in this case - in particular, we show they are regular abelian… ▽ More We present a construction of all finite indecomposable involutive solutions of the Yang-Baxter equation of multipermutational level at most 2 with abelian permutation group. As a consequence, we obtain a formula for the number of such solutions with a fixed number of elements. We also describe some properties of the automorphism groups in this case - in particular, we show they are regular abelian groups. △ Less

Submitted 31 October, 2020; originally announced November 2020.

Comments: 14 pages

MSC Class: 16T25; 20B35

Journal ref: Forum Math. 33(5) (2021), 1083-1096

Semilattice ordered algebras with constants

Authors: Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We continue our studies on semilattice ordered algebras. This time we accept constants in the type of algebras. We investigate identities satisfied by such algebras and describe the free objects in varieties of semilattice ordered algebras with constants. We continue our studies on semilattice ordered algebras. This time we accept constants in the type of algebras. We investigate identities satisfied by such algebras and describe the free objects in varieties of semilattice ordered algebras with constants. △ Less

Submitted 3 June, 2020; originally announced June 2020.

MSC Class: Primary: 06F05. Secondary: 08B20; 08A30

Knot-theoretic flocks

Authors: Maciej Niebrzydowski, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We characterize the para-associative ternary quasigroups (flocks) applicable to knot theory, and show which of these structures are isomorphic. We enumerate them up to order 64. We note that the operation used in knot-theoretic flocks has its non-associative version in extra loops. We use a group action on the set of flock colorings to improve the cocycle invariant associated with the knot-theoret… ▽ More We characterize the para-associative ternary quasigroups (flocks) applicable to knot theory, and show which of these structures are isomorphic. We enumerate them up to order 64. We note that the operation used in knot-theoretic flocks has its non-associative version in extra loops. We use a group action on the set of flock colorings to improve the cocycle invariant associated with the knot-theoretic flock (co)homology. △ Less

Submitted 26 August, 2019; originally announced August 2019.

Comments: 14 pages

MSC Class: 20N15; 57M25 (Primary) 57M27; 03C05; 08A05 (Secondary)

Distributive biracks and solutions of the Yang-Baxter equation

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We investigate a class of non-involutive solutions of the Yang-Baxter equation which generalize self-distributive (derived) solutions. In particular, we study generalized multipermutation solutions in this class. We show that the Yang-Baxter (permutation) groups of such solutions are nilpotent. We formulate the results in the language of biracks. We investigate a class of non-involutive solutions of the Yang-Baxter equation which generalize self-distributive (derived) solutions. In particular, we study generalized multipermutation solutions in this class. We show that the Yang-Baxter (permutation) groups of such solutions are nilpotent. We formulate the results in the language of biracks. △ Less

Submitted 14 November, 2019; v1 submitted 10 June, 2019; originally announced June 2019.

Comments: Previous title was "Multipermutation distributive solutions of Yang-Baxter equation have nilpotent permutation groups"

MSC Class: 16T25; 20F18; 20B35; 08A30

Journal ref: Internat.J.Algebra Comput. 30 (2020), 667-683

The construction of multipermutation solutions of the Yang-Baxter equation of level 2

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We study involutive set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2. These solutions happen to fall into two classes -- distributive ones and non-distributive ones. The distributive ones can be effectively constructed using a set of abelian groups and a matrix of constants. Using this construction, we enumerate all distributive involutive solutions up to size 14. Th… ▽ More We study involutive set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2. These solutions happen to fall into two classes -- distributive ones and non-distributive ones. The distributive ones can be effectively constructed using a set of abelian groups and a matrix of constants. Using this construction, we enumerate all distributive involutive solutions up to size 14. The non-distributive solutions can be also easily constructed, using a distributive solution and a permutation. △ Less

Submitted 14 May, 2019; v1 submitted 5 January, 2019; originally announced January 2019.

Comments: 25 pages; Section 6 modified and Section 9 deleted - now we focus only on the construction

MSC Class: Primary: 16T25. Secondary: 20N02; 20B25

Journal ref: J. Comb. Theory Ser. A. 176 (2020), 105295

The retraction relation for biracks

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: In {\it Set-theoretical solutions to the quantum Yang-Baxter equation} (Duke Math. J. {\bf 100} (1999), 169--209), Etingof, Schedler and Soloviev introduced, for each non-degenerate involutive set-theoretical solution $(X,σ,τ)$ of the Yang-Baxter equation, the equivalence relation $\sim$ defined on the set $X$ and they considered a new non-degenerate involutive induced \emph{retraction} solution d… ▽ More In {\it Set-theoretical solutions to the quantum Yang-Baxter equation} (Duke Math. J. {\bf 100} (1999), 169--209), Etingof, Schedler and Soloviev introduced, for each non-degenerate involutive set-theoretical solution $(X,σ,τ)$ of the Yang-Baxter equation, the equivalence relation $\sim$ defined on the set $X$ and they considered a new non-degenerate involutive induced \emph{retraction} solution defined on the quotient set $X^{\sim}$. It is well known that translating set-theoretical non-degenerate solutions of the Yang-Baxter equation into the universal algebra language we obtain an algebra called a \emph{birack}. In the paper we introduce the \emph{generalized retraction} relation $\approx$ on a birack, which is equal to $\sim$ in an involutive case. We present a complete algebraic proof that the relation $\approx$ is a congruence of the birack. Thus we show that the retraction of a set-theoretical non-degenerate solution is well defined not only in the involutive case but also in the case of all non-involutive solutions. △ Less

Submitted 5 January, 2019; v1 submitted 9 August, 2018; originally announced August 2018.

Comments: 15 pages

MSC Class: Primary: 16T25; 08A30. Secondary: 20N02; 08A62; 03C05

Journal ref: J. Pure Appl. Algebra 223 (2019), 3594-3610

Knot-theoretic ternary groups

Authors: Maciej Niebrzydowski, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We describe various properties and give several characterizations of ternary groups satisfying two axioms derived from the third Reidemeister move in knot theory. Using special attributes of such ternary groups, such as semi-commutativity, we construct a ternary invariant of curves immersed in compact surfaces, considered up to flat Reidemeister moves. We describe various properties and give several characterizations of ternary groups satisfying two axioms derived from the third Reidemeister move in knot theory. Using special attributes of such ternary groups, such as semi-commutativity, we construct a ternary invariant of curves immersed in compact surfaces, considered up to flat Reidemeister moves. △ Less

Submitted 5 August, 2018; v1 submitted 20 May, 2018; originally announced May 2018.

Comments: 18 pages

MSC Class: 20N15; 57M25 (Primary) 57M27; 03C05; 08A05 (Secondary)

Journal ref: Fundamenta Mathematicae 247 (2019) , 299-320

Subquandles of affine quandles

Authors: Přemysl Jedlička, Agata Pilitowska, David Stanovský, Anna Zamojska-Dzienio

Abstract: A quandle will be called quasi-affine, if it embeds into an affine quandle. Our main result is a characterization of quasi-affine quandles, by group-theoretic properties of their displacement group, by a universal algebraic condition coming from the commutator theory, and by an explicit construction over abelian groups. As a consequence, we obtain efficient algorithms for recognizing affine and qu… ▽ More A quandle will be called quasi-affine, if it embeds into an affine quandle. Our main result is a characterization of quasi-affine quandles, by group-theoretic properties of their displacement group, by a universal algebraic condition coming from the commutator theory, and by an explicit construction over abelian groups. As a consequence, we obtain efficient algorithms for recognizing affine and quasi-affine quandles, and we enumerate small quasi-affine quandles. We also prove that the "abelian implies quasi-affine" problem of universal algebra has affirmative answer for the class of quandles. △ Less

Submitted 5 June, 2018; v1 submitted 7 August, 2017; originally announced August 2017.

MSC Class: 20N02; 57M27; 08A05; 15A78

Free medial quandles

Authors: Premysl Jedlicka, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: This paper brings the construction of free medial quandles as well as free $n$-symmetric medial quandles and free $m$-reductive medial quandles. This paper brings the construction of free medial quandles as well as free $n$-symmetric medial quandles and free $m$-reductive medial quandles. △ Less

Submitted 16 April, 2016; v1 submitted 19 December, 2015; originally announced December 2015.

MSC Class: 20N02; 08B20

Subdirectly irreducible medial quandles

Authors: Premysl Jedlicka, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We describe all subdirectly irreducible medial quandles. We show that they fall within one of four disjoint classes. In particular, in the finite case they are either connected (and therefore Alexander quandles) or reductive. Moreover, we provide a representation of all non-connected subdirectly irreducible medial quandles. We describe all subdirectly irreducible medial quandles. We show that they fall within one of four disjoint classes. In particular, in the finite case they are either connected (and therefore Alexander quandles) or reductive. Moreover, we provide a representation of all non-connected subdirectly irreducible medial quandles. △ Less

Submitted 25 December, 2017; v1 submitted 20 November, 2015; originally announced November 2015.

MSC Class: 08B26; 15A78 (Primary) 08A30; 03C05; 08A05; 20N02 (Secondary)

The structure of medial quandles

Authors: Přemysl Jedlička, Agata Pilitowska, David Stanovský, Anna Zamojska-Dzienio

Abstract: Medial quandles are represented using a heterogeneous affine structure. As a consequence, we obtain numerous structural properties, including enumeration of isomorphism classes of medial quandles up to 13 elements. Medial quandles are represented using a heterogeneous affine structure. As a consequence, we obtain numerous structural properties, including enumeration of isomorphism classes of medial quandles up to 13 elements. △ Less

Submitted 25 May, 2015; v1 submitted 30 September, 2014; originally announced September 2014.

MSC Class: Primary: 57M27; 20N02. Secondary: 08A05; 15A78; 05A16

Closure operators on algebras

Authors: Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We study connections between closure operators on an algebra $(A,\Om)$ and congruences on the extended power algebra defined on the same algebra. We use these connections to give an alternative description of the lattice of all subvarieties of semilattice ordered algebras. We study connections between closure operators on an algebra $(A,\Om)$ and congruences on the extended power algebra defined on the same algebra. We use these connections to give an alternative description of the lattice of all subvarieties of semilattice ordered algebras. △ Less

Submitted 15 August, 2015; v1 submitted 22 October, 2013; originally announced October 2013.

MSC Class: 08B15; 08A30; 06A12; 06F99

On complex algebras of subalgebras

Authors: Kira Adaricheva, Agata Pilitowska, David Stanovsky

Abstract: We establish a condition (so called generalized entropic property), equivalent to the fact that for every algebra A from a given variety V, the set of all subalgebras of A is a subuniverse of the complex algebra of A. We investigate the relationship between the generalized entropic property and the entropic law. Further, we study the identities satisfied by the complex algebras of subalgebras of… ▽ More We establish a condition (so called generalized entropic property), equivalent to the fact that for every algebra A from a given variety V, the set of all subalgebras of A is a subuniverse of the complex algebra of A. We investigate the relationship between the generalized entropic property and the entropic law. Further, we study the identities satisfied by the complex algebras of subalgebras of algebras from a variety V. △ Less

Submitted 27 October, 2006; originally announced October 2006.

Comments: 19 pages

MSC Class: 06B20; 06B05

Journal ref: Algebra and Logic 47 (2008), no.6, 367-383 (translation from Russian)