Related papers: Orders on free groups induced by oriented words

We construct a finitely presented (two-sided) totally orderable group with insoluble word problem.

We give an explicit description of the free objects in the quasivariety of adequate semigroups, as sets of labelled directed trees under a natural combinatorial multiplication. The morphisms of the free adequate semigroup onto the free…

In this note we introduce and characterize a class of finite groups for which the element orders satisfy a certain inequality. This is contained in some well-known classes of finite groups.

Most natural languages have a predominant or fixed word order. For example in English the word order is usually Subject-Verb-Object. This work attempts to explain this phenomenon as well as other typological findings regarding word order…

Let $F$ be a number field, $k$ a positive integer. In this paper, we define the Mobius and Liouville functions of order $k$ in $F$. We give a formula about the partial sums of them by using elementary number theory and complex analysis.…

This text, Chapter 23 in the "AutoMathA" handbook, is devoted to the study of rational subsets of groups, with particular emphasis on the automata-theoretic approach to finitely generated subgroups of free groups. Indeed, Stallings'…

An analogue of Krein's extension theorem is proved for operator-valued positive definite functions on free groups. The proof gives also the parametrization of all extensions by means of a generalized type of Szego parameters. One singles…

The infinite random size-biased order with arbitrary positive size parameters is introduced in terms of independent exponential random variables. We collect basic properties and constructions of the order, some of which belong to the…

We study compositions of a positive integer $n$ in which the occurrence of even parts larger than a fixed threshold $k$ is controlled. More precisely, for each composition $m=(m_1,\dots,m_r)$ we consider the number of even parts strictly…

Let $H, K$ be two finitely generated subgroups of a free group, let $\langle H, K \rangle$ denote the subgroup generated by $H, K$, called the join of $H, K$, and let neither of $H$, $K$ have finite index in $\langle H, K \rangle$. We prove…

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…

Let $A_{i}\ (i=1, 2, ..., k)$ be bounded linear operators on a Hilbert space. This paper aims to show characterizations of operator order $A_{k}\geq A_{k-1}\geq...\geq A_{2}\geq A_{1}>0$ in terms of operator inequalities. Afterwards, an…

We show four formulas for calculating the orders of finite reductive monoids with zero. As applications, these formulas are then used to calculate the orders of finite reductive monoids induced from the $F_q$-split $\J$-irreducible monoids…

Let P be a poset and let P* be the set of all finite length words over P. Generalized subword order is the partial order on P* obtained by letting u \leq w if and only if there is a subword u' of w having the same length as u such that each…

We prove that a finitely generated group $G$ is virtually free if and only if there exists a generating set for $G$ and $k > 0$ such that all $k$-locally geodesic words with respect to that generating set are geodesic.

We give a new method to construct isolated left orderings of groups whose positive cones are finitely generated. Our construction uses an amalgamated free product of two groups having an isolated ordering. We construct a lot of new examples…

Let Cr(k) be the Cremona group of rank 2 over a field k, i.e. the group of all k-automorphisms of k(X,Y). We determine the l.c.m. of the orders of the finite subgroups of Cr(k) of order prime to the characteristic of k.

We consider the four fragments FO2, the intersection of Sigma2 and FO2, the intersection of Pi2 and FO2, and Delta2 of first-order logic FO[<] over finite and infinite words. For all four fragments, we give characterizations in terms of…

A conjecture of Dicks and the author on rank of the intersection of factor-free subgroups in free products of groups is proved for the case of left ordered groups.

Various feature descriptions are being employed in logic programming languages and constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called features. The descriptions…