Related papers: Densities in free groups and $\mathbb{Z}^k$, Visib…

An element $g$ of a group $G$ is a test element if every endomorphism of $G$ that fixes $g$ is an automorphism. Let $G$ be a free group of finite rank, an orientable surface group of genus $n \geq 2$, or a non-orientable surface group of…

Let $F$ be a group whose abelianization is $\Z^k$, $k\geq 2.$ An element of $F$ is called visible if its image in the abelianization is visible, that is, the greatest common divisor of its coordinates is 1. In this paper we compute three…

In this paper we study asymptotic density of rational sets in free abelian group $\mathbb{Z}^n$ of rank $n$. We show that any rational set $R$ in $\mathbb{Z}^n$ has asymptotic density. If $R$ is given by its semi-simple decomposition we…

In this paper, we study the density of subsets of nonabelian free groups using relative densities of languages. We start by proving some basic properties about the density of a language $L_1$ relative to another language $L_2$ containing…

In this paper we study the asymptotic probability that a random system of equations in free abelian group $\mathbb{Z}^m$ of rank $m$ is solvable. Denote $SAT(\mathbb{Z}^m, k, n)$ and $SAT_{\mathbb{Q}^m}(\mathbb{Z}^m, k, n)$ the sets of all…

We show that every automorphism $\alpha$ of a free group $F_k$ of finite rank $k$ has {\it asymptotically periodic} dynamics on $F_k$ and its boundary $\partial F_k$: there exists a positive power $\alpha^q$ such that every element of the…

The free semigroup $\mathcal{F}$ over a finite alphabet $\mathcal{A}$ is the set of all finite words with letters from $\mathcal{A}$ equipped with the operation of concatenation. A subset $S$ of $\mathcal{F}$ is $k$-product-free if no…

In this paper we study satisfiability of random equations in an infinite finitely generated nilpotent group G. We show that the set SAT(G,k) of all equations in k > 1 variables over G which are satisfiable in G has an intermediate…

In the free group $F_k$, an element is said to be primitive if it belongs to a free generating set. In this paper, we describe what a generic primitive element looks like. We prove that up to conjugation, a random primitive word of length…

We establish new characterizations of primitive elements and free factors in free groups, which are based on the distributions they induce on finite groups. For every finite group $G$, a word $w$ in the free group on $k$ generators induces…

A numerical semigroup $S$ is a cofinite, additively-closed subset of the nonnegative integers that contains $0$. In this paper, we initiate the study of atomic density, an asymptotic measure of the proportion of irreducible elements in a…

Let G be a finitely generated group with a given word metric. The asymptotic density of elements in G that have a particular property P is defined to be the limit, as r goes to infinity, of the proportion of elements in the ball of radius r…

We prove that product-free sets of the free group over a finite alphabet have maximum density $1/2$ with respect to the natural measure that assigns total weight one to each set of irreducible words of a given size. This confirms a…

We consider two numerical entropy--type invariants for actions of $\Zk$, invariant under a choice of generators and well-adapted for smooth actions whose individual elements have positive entropy. We concentrate on the maximal rank case,…

In this paper, we study product-free subsets of the free semigroup over a finite alphabet $A$. We prove that the maximum density of a product-free subset of the free semigroup over $A$, with respect to the natural measure that assigns a…

Let F be a family of subsets of {1,2,...,n}. The width-degree of an element x in at least one member of F is the width of the family {U in F | x in U}. If F has maximum width-degree at most k, then F is locally k-wide. Bounds on the size of…

We present a proof of the following claim. Suppose that $n$ is an integer such that $n>1$ and that $k$ is any field. Suppose that $g$ is an element of $\mathrm{SL}(n,k)$ of infinite order. Then the set $\{h\in\mathrm{SL}(n,k)\mid <g,h>$ is…

Given a finite family F of linear forms with integer coefficients, and a compact abelian group G, an F-free set in G is a measurable set which does not contain solutions to any equation L(x)=0 for L in F. We denote by d_F(G) the supremum of…

We show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under the action of G, the group of…

Let $\N$ denote the set of positive integers. The asymptotic density of the set $A \subseteq \N$ is $d(A) = \lim_{n\to\infty} |A\cap [1,n]|/n$, if this limit exists. Let $ \mathcal{AD}$ denote the set of all sets of positive integers that…