Source author record

Janusz Konieczny

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.CO

Catalog footprint

Research overview

7works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2018arXiv

Conjugacy in inverse semigroups

In a group $G$ , elements $a$ and $b$ are conjugate if there exists $g\in G$ such that $g^{-1} ag=b$ . This conjugacy relation, which plays an important role in group theory, can be extended in a natural way to inverse semigroups: for elements $a$ and $b$ in an inverse semigroup $S$ , $a$ is conjugate to $b$ , which we will write as $a\sim_{\mathrm{i}} b$ , if there exists $g\in S^1$ such that $g^{-1} ag=b$ and $gbg^{-1} =a$ . The purpose of this paper is to study the conjugacy $\sim_{\mathrm{i}}$ in several classes of inverse semigroups: symmetric inverse semigroups, free inverse semigroups, McAllister $P$ -semigroups, factorizable inverse monoids, Clifford semigroups, the bicyclic monoid and stable inverse semigroups.

preprint2017arXiv

Decidability and Independence of Conjugacy Problems in Finitely Presented Monoids

There have been several attempts to extend the notion of conjugacy from groups to monoids. The aim of this paper is study the decidability and independence of conjugacy problems for three of these notions (which we will denote by $\sim_p$ , $\sim_o$ , and $\sim_c$ ) in certain classes of finitely presented monoids. We will show that in the class of polycyclic monoids, $p$ -conjugacy is "almost" transitive, $\sim_c$ is strictly included in $\sim_p$ , and the $p$ - and $c$ -conjugacy problems are decidable with linear compexity. For other classes of monoids, the situation is more complicated. We show that there exists a monoid $M$ defined by a finite complete presentation such that the $c$ -conjugacy problem for $M$ is undecidable, and that for finitely presented monoids, the $c$ -conjugacy problem and the word problem are independent, as are the $c$ -conjugacy and $p$ -conjugacy problems.

preprint2015arXiv

Four Notions of Conjugacy for Abstract Semigroups

The action of any group on itself by conjugation and the corresponding conjugacy relation play an important role in group theory. There have been many attempts to find notions of conjugacy in semigroups that would be useful in special classes of semigroups occurring in various areas of mathematics, such as semigroups of matrices, operator and topological semigroups, free semigroups, transition monoids for automata, semigroups given by presentations with prescribed properties, monoids of graph endomorphisms, etc. In this paper we study four notions of conjugacy for semigroups, their interconnections, similarities and dissimilarities. They appeared originally in various different settings (automata, representation theory, presentations or transformation semigroups). Here we study them in maximum generality. The paper ends with a large list of open problems.

preprint2014arXiv

The Largest Subsemilattices of the Endomorphism Monoid of an Independence Algebra

An algebra $\A$ is said to be an independence algebra if it is a matroid algebra and every map $\al:X\to A$, defined on a basis $X$ of $\A$, can be extended to an endomorphism of $\A$. These algebras are particularly well behaved generalizations of vector spaces, and hence they naturally appear in several branches of mathematics such as model theory, group theory, and semigroup theory. It is well known that matroid algebras have a well defined notion of dimension. Let $\A$ be any independence algebra of finite dimension $n$ , with at least two elements. Denote by $\End(\A)$ the monoid of endomorphisms of $\A$. We prove that a largest subsemilattice of $\End(\A)$ has either $2^{n-1}$ elements (if the clone of $\A$ does not contain any constant operations) or $2^n$ elements (if the clone of $\A$ contains constant operations). As corollaries, we obtain formulas for the size of the largest subsemilattices of: some variants of the monoid of linear operators of a finite-dimensional vector space, the monoid of full transformations on a finite set $X$ , the monoid of partial transformations on $X$ , the monoid of endomorphisms of a free $G$ -set with a finite set of free generators, among others. The paper ends with a relatively large number of problems that might attract attention of experts in linear algebra, ring theory, extremal combinatorics, group theory, semigroup theory, universal algebraic geometry, and universal algebra.

preprint2012arXiv

The Commuting Graph of the Symmetric Inverse Semigroup

The commuting graph of a finite non-commutative semigroup $S$ , denoted $\cg(S)$, is a simple graph whose vertices are the non-central elements of $S$ and two distinct vertices $x,y$ are adjacent if $xy=yx$ . Let $\mi(X)$ be the symmetric inverse semigroup of partial injective transformations on a finite set $X$ . The semigroup $\mi(X)$ has the symmetric group $\sym(X)$ of permutations on $X$ as its group of units. In 1989, Burns and Goldsmith determined the clique number of the commuting graph of $\sym(X)$. In 2008, Iranmanesh and Jafarzadeh found an upper bound of the diameter of $\cg(\sym(X))$, and in 2011, Doluzan and Oblak claimed (but their proof has a GAP) that this upper bound is in fact the exact value. The goal of this paper is to begin the study of the commuting graph of the symmetric inverse semigroup $\mi(X)$. We calculate the clique number of $\cg(\mi(X))$, the diameters of the commuting graphs of the proper ideals of $\mi(X)$, and the diameter of $\cg(\mi(X))$ when $|X|$ is even or a power of an odd prime. We show that when $|X|$ is odd and divisible by at least two primes, then the diameter of $\cg(\mi(X))$ is either 4 or 5. In the process, we obtain several results about semigroups, such as a description of all commutative subsemigroups of $\mi(X)$ of maximum order, and analogous results for commutative inverse and commutative nilpotent subsemigroups of $\mi(X)$. The paper closes with a number of problems for experts in combinatorics and in group or semigroup theory.

preprint2010arXiv

Minimal paths in the commuting graphs of semigroups

Let $S$ be a finite non-commutative semigroup. The commuting graph of $S$ , denoted $\cg(S)$, is the graph whose vertices are the non-central elements of $S$ and whose edges are the sets $\{a,b\}$ of vertices such that $a\ne b$ and $ab=ba$ . Denote by $T(X)$ the semigroup of full transformations on a finite set $X$ . Let $J$ be any ideal of $T(X)$ such that $J$ is different from the ideal of constant transformations on $X$ . We prove that if $|X|\geq4$ , then, with a few exceptions, the diameter of $\cg(J)$ is 5. On the other hand, we prove that for every positive integer $n$ , there exists a semigroup $S$ such that the diameter of $\cg(S)$ is $n$ . We also study the left paths in $\cg(S)$, that is, paths $a_1-a_2-...-a_m$ such that $a_1\ne a_m$ and $a_1a_i=a_ma_i$ for all $i\in \{1,\ldot, m\}$. We prove that for every positive integer $n\geq2$ , except $n=3$ , there exists a semigroup whose shortest left path has length $n$ . As a corollary, we use the previous results to solve a purely algebraic old problem posed by B.M. Schein.

preprint2010arXiv

The Largest Subsemilattices of the Semigroup of Transformations on a Finite Set

Let T(X) be the semigroup of full transformations on a finite set X with n elements. We prove that every subsemilattice of T(X) has at most 2^{n-1} elements and that there are precisely n subsemilattices of size exactly 2^{n-1}, each isomorphic to the semilattice of idempotents of the symmetric inverse semigroup on a set with n-1 elements.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.