Related papers: On a Problem of A. Nagy

We are interested in semigroups of the form $\langle G,a\rangle\setminus G$, where $G$ is a permutation group of degree $n$ and $a$ a non-permutation on the domain of $G$. A theorem of the first author, Mitchell and Schneider shows that, if…

Given an adaptable separated graph, we construct an associated groupoid and explore its type semigroup. Specifically, we first attach to each adaptable separated graph a corresponding semigroup, which we prove is an $E^*$-unitary inverse…

The existence of invariant transversals for a normal subgroup $H$ in a group $G$ is investigated. This yields counterexamples to a conjecture in case $H$ is abelian and $G$ is finite.

As an analogue of the topological boundary of discrete groups $\Gamma$, we define the noncommutative topological boundary of tracial von Neumann algebras $(M, \tau)$ and apply it to generalize the main results of [AHO23], showing that for a…

Let $H$ be a subgroup of a group $G$. The permutizer $P_G(H)$ is the subgroup generated by all cyclic subgroups of $G$ which permute with $H$. A subgroup $H$ of a group $G$ is strongly permutable in $G$ if $P_U(H)=U$ for every subgroup $U$…

We give a thorough structural analysis of the principal one-sided ideals of arbitrary semigroups, and then apply this to full transformation semigroups and symmetric inverse monoids. One-sided ideals of these semigroups naturally occur as…

The semigroup $\mathbf{I}\mathbb{N}_{\infty}$ of all partial co-finite isometries of positive integers is studied. We describe Green's relations on the semigroup $\mathbf{I}\mathbb{N}_{\infty}$, its band and proved that…

For finite-dimensional linear semigroups which leave a proper cone invariant it is shown that irreducibility with respect to the cone implies the existence of an extremal norm. In case the cone is simplicial a similar statement applies to…

In this paper we investigate hereditarily normal topological groups and their subspaces. We prove that every compact subspace of a hereditarily normal topological group is metrizable. To prove this statement we first show that a…

We consider multiplicative semigroups of real dxd matrices. A semigroup S is called Perron if each of its matrices has a Perron eigenvalue, i.e., an eigenvalue equal to the spectral radius. If all matrices of S leave a proper convex cone…

The study of images of noncommutative polynomials on algebras has attracted considerable attention. We investigate polynomial images and the additive structures they generate in associative algebras, focusing on sums and products of values.…

A notion of fundamental group of spectral triples has been introduced. The notion uses a noncommutative analogue of unramified coverings. It was shown that in commutative case this fundamental group is a profinite completion of fundamental…

We first compare several algebraic notions of normality, from a categorical viewpoint. Then we introduce an intrinsic description of Higgins' commutator for ideal-determined categories, and we define a new notion of normality in terms of…

Let $\sigma =\{\sigma_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$ and let $G$ be a finite group. Then $G$ is said to be $\sigma $-full if $G$ has a Hall $\sigma _{i}$-subgroup for all $i$. A subgroup $A$ of $G$ is…

A concrete computation -- twelve slidings with sixteen tiles -- reveals that certain commutativity phenomena occur in every double semigroup. This can be seen as a sort of Eckmann-Hilton argument, but it does not use units. The result…

A group is Markov if it admits a prefix-closed regular language of unique representatives with respect to some generating set, and strongly Markov if it admits such a language of unique minimal-length representatives over every generating…

A base of a permutation group (X,G) is a subset B of X such that its pointwise stabilizer is the trivial group. A list (x1,x2, ... ,xk) of elements of X is irredundant if each element is not in the pointwise stabilizer of its predecessors.…

We study the right and left commutation semigroups of finite metacyclic groups with trivial centre. These are presented \[G(m,n,k) = \left\langle {a,b;{a^m} = 1,{b^n} = 1,{a^b} = {a^k}} \right\rangle \quad (m,n,k\in\mathbb{Z}^+)\] with…

We prove that if a group $G=AB$ is the mutually permutable product of the supersoluble subgroups $A$ and $B$, then the supersoluble residual of $G$ coincides with the nilpotent residual of the derived subgroup $G'$.

Let $X$ be a finite set. We determine the diameter of the commuting graph of the partial transformation semigroup $\mathcal{P}(X)$ on $X$ and show that it coincides with the diameter of the commuting graph of the transformation semigroup…