Related papers: F-sets and finite automata

The true prosoluble completion $P\Cal S (\Gamma)$ of a group $\Gamma$ is the inverse limit of the projective system of soluble quotients of $\Gamma$. Our purpose is to describe examples and to point out some natural open problems. We…

We show that, if $H$ is a random subgroup of a finitely generated free group $F_k$, only inner automorphisms of $F_k$ may leave $H$ invariant. A similar result holds for random subgroups of toral relatively hyperbolic groups, more generally…

We use language theory to study the rational subset problem for groups and monoids. We show that the decidability of this problem is preserved under graph of groups constructions with finite edge groups. In particular, it passes through…

A subset $C$ of the vertex set of a graph $\Gamma$ is said to be $(\alpha,\beta)$-regular if $C$ induces an $\alpha$-regular subgraph and every vertex outside $C$ is adjacent to exactly $\beta$ vertices in $C$. In particular, if $C$ is an…

This paper concerns the non-commutative analog of the Normal Subgroup Theorem for certain groups. Inspired by Kalantar-Panagopoulos, we show that all $\Gamma$-invariant subalgebras of $L\Gamma$ and $C^*_r(\Gamma)$ are ($\Gamma$-)…

We show that for any monoid M, the family of languages accepted by M-automata (or equivalently, generated by regular valence grammars over M) is completely determined by that part of M which lies outside the maximal ideal. Hence, every such…

Let $G$ be a connected semisimple Lie group with finite center. Let $\Gamma \subset G$ be a discrete subgroup. We study closed admissible irreducible subrepresentations of the space of distributions $\mathcal S(\Gamma \backslash G)'$…

For a countable amenable group \Gamma and an element f in the integral group ring Z\Gamma being invertible in the group von Neumann algebra of \Gamma, we show that the entropy of the shift action of \Gamma on the Pontryagin dual of the…

Suppose a group $\Gamma$ acts on a scheme $X$ and a Lie superalgebra $\mathfrak{g}$. The corresponding equivariant map superalgebra is the Lie superalgebra of equivariant regular maps from $X$ to $\mathfrak{g}$. We classify the irreducible…

We study finite groups that occur as combinatorial automorphism groups or geometric symmetry groups of convex polytopes. When $\Gamma$ is a subgroup of the combinatorial automorphism group of a convex $d$-polytope, $d\geq 3$, then there…

Let $\Gamma$ be a generic subgroup of the multiplicative group $\mathbb{C}^*$ of nonzero complex numbers. We define a class of Lie algebras associated to $\Gamma$, called twisted $\Gamma$-Lie algebras, which is a natural generalization of…

For a rational map $\phi$ from a metric graph $\varGamma$ to a tropical projective space $\boldsymbol{TP^n}$ defined by a ratio of rational functions $f_1, \ldots, f_{n + 1}$, an automorphism $\sigma$ of $\varGamma$ induces a permutation of…

An $S_k$-set in a group $\Gamma$ is a set $A\subseteq\Gamma$ such that $\alpha_1\cdots\alpha_k=\beta_1\cdots\beta_k$ with $\alpha_i,\beta_i\in A$ implies $(\alpha_1,\ldots,\alpha_k)=(\beta_1,\ldots,\beta_k)$. An $S_k'$-set is a set such…

We show that a special case of the Feferman-Vaught composition theorem gives rise to a natural notion of automata for finite words over an infinite alphabet, with good closure and decidability properties, as well as several logical…

In the 1980's Stallings showed that every finitely generated subgroup of a free group is canonically represented by a finite minimal immersion of a bouquet of circles. In terms of the theory of automata, this is a minimal finite inverse…

This work is devoted to the study of Bessel and Riesz systems of the type $\big\{L_{\gamma}\mathsf{f}\big\}_{\gamma\in \Gamma}$ obtained from the action of the left regular representation $L_{\gamma}$ of a discrete non abelian group…

Last years a number of papers were devoted to describing automorphisms of semigroups of endomorphisms of free finitely generated universal algebras of some varieties: groups, semigroups, associative commutative algebras, inverse semigroups,…

Let $K$ be a global function field of characteristic $p$, and let $\Gamma$ be a finite-index subgroup of an arithmetic group defined with respect to $K$ and such that any torsion element of $\Gamma$ is a $p$-torsion element. We define…

We answer the question of when an invariant pseudodifferential operator is Fredholm on a fixed, given isotypical component. More precisely, let $\Gamma$ be a compact group acting on a smooth, compact, manifold $M$ without boundary and let…

Let $K$ be a field and $G$ be a group of its automorphisms. If $G$ is precompact then $K$ is a generator of the category of smooth (i.e. with open stabilizers) $K$-semilinear representations of $G$. There are non-semisimple smooth…