Related papers: Measuring closeness between Cayley automatic group…
We determine the groups of automorphisms and their orbits for nilpotent Lie algebras of class 2 and small dimension, over arbitrary fields (including the characteristic 2 case).
Geometric semigroup theory is the systematic investigation of finitely-generated semigroups using the topology and geometry of their associated automata. In this article we show how a number of easily-defined expansions on finite semigroups…
In this paper, we introduce a kind of homology which we call Hawaiian homology to study and classify pointed topological spaces. The Hawaiian homology group has advantages of Hawaiian groups. Moreover, the first Hawaiian homology group is…
It is shown that distance powers of an integral Cayley graph over an abelian group are again integral Cayley graphs over that group. Moreover, it is proved that distance matrices of integral Cayley graphs over abelian groups have integral…
We investigate subsets of the symmetric group with structure similar to that of a graph. The trees of these subsets correspond to minimal conjugate generating sets of the symmetric group. There are two main theorems in this paper. The first…
We establish a congruence satisfied by the integer group determinants for the non-abelian Heisenberg group of order $p^3$. We characterize all determinant values coprime to $p$, give sharp divisibility conditions for multiples of $p$, and…
We investigate near-factorizations of nonabelian groups, concentrating on dihedral groups. We show that some known constructions of near-factorizations in dihedral groups yield equivalent near-factorizations. In fact, there are very few…
In this paper we study categorical properties of the category of abelian hypergroups that leads to the notion of hyper (almost) preadditive and hyper (almost) abelian categories. Our goal is to create a path towards a general theory of…
We study several classes of isolated singularities of plurisubharmonic functions that can be approximated by analytic singularities with control over their residual Monge--Amp\`ere masses. They are characterized in terms of Green functions…
The aim of this paper is to use the so-called Cayley transform to compute the LS category of Lie groups and homogeneous spaces by giving explicit categorical open coverings. When applied to U(n), $U(2n)/Sp(n)$ and $U(n)/O(n)$ this method is…
The aim of this paper is to investigate the homology groups of mathematical models of concurrency. We study the Baues-Wirsching homology groups of a small category associated with a partial monoid action on a set. We prove that these groups…
We investigate multi-agent epistemic modal logic with common knowledge modalities for groups of agents and obtain van Benthem style model-theoretic characterisations, in terms of bisimulation invariance of classical first-order logic over…
We investigate the language classes recognized by group automata over matrix groups. For the case of $2 \times 2 $ matrices, we prove that the corresponding group automata for rational matrix groups are more powerful than the corresponding…
We consider systems composed of an unbounded number of uniformly designed linear hybrid automata, whose dynamic behavior is determined by their relation to neighboring systems. We present a class of such systems and a class of safety…
We study the Wamsley group $\langle X,Y,Z\,|\, X^Z=X^\alpha, {}^Z Y=Y^\beta, Z^\gamma=[X,Y]\rangle$ and its Sylow subgroups, where $\alpha^\gamma\neq 1\neq \beta^\gamma$ and $\gamma>0$, obtaining the sharpest results when $\alpha=\beta$.
Four geometric conditions on a geodesic metric space, which are stronger variants of classical conditions characterizing hyperbolicity, are proved to be equivalent. In the particular case of the Cayley graph of a finitely generated group,…
In the present paper, we study Neumaier Cayley graphs. First, we give a criterion for a Cayley graph to be a Neumaier graph with a spread given by the cosets of a subgroup. Further, we construct a new infinite family of Neumaier Cayley…
Let $A$ be an abelian group and let $\iota$ be the automorphism of $A$ defined by $i:a\mapsto a^{-1}$. A Cayley graph $\Gamma=\mathrm{Cay}(A,S)$ is said to have an automorphism group \emph{as small as possible} if $\mathrm{Aut}(\Gamma)=…
The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…
We study the automorphisms of a Cayley graph that preserve its natural edge-colouring. More precisely, we are interested in groups G, such that every such automorphism of every connected Cayley graph on G has a very simple form: the…