Related papers: Groups, orders, and laws

Right feeble groups are defined as groupoids $(X,*)$ such that (i) $x, y\in X$ implies the existence of $a, b \in X$ such that $a*x = y$ and $b*y = x$. Furthermore, (ii) if $x, y, z \in X$ then there is an element $w\in X$ such that…

It is well-known that $QI(\mathbb{R})\cong(QI(\mathbb{R}_{+})\times QI(\mathbb{R}_{-}))\rtimes <t>$, where $QI(\mathbb{R})$(resp. $QI(\mathbb{R}_{+})(\cong QI(\mathbb{R_-}))$) is the group of quasi-isometries of the real line (resp.…

We address the problem of finding necessary and sufficient conditions for an arbitrary group, not necessarily finite, to admit a faithful irreducible representation over an arbitrary field.

We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions in the literature. We relate these notions with the well-established definitions of effective…

We determine which of the finite-type Artin groups are locally indicable, and compute presentations for their commutator subgroups.

We consider groups of finite Morley rank with solvable local subgroups of even and mixed types. We also consider miscellaneous aspects of small groups of finite Morley rank of odd type.

In this paper, we survey some of the recent advances on embeddings into finitely generated (left-orderable) simple group such that the overgroup preserves algorithmic, geometric, or algebraic information about the embedded group. We discuss…

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

The study of localizations of groups has concentrated on group theoretic properties which are preserved by localization. In this paper we look at finitely generated soluble groups and determine when the local groups associated with them are…

We show how to use topological ideas, such as compactness, to establish orderability properties of infinite groups. A new application is to provide a left-ordering for the group of PL homeomorphisms of a connected surface with boundary…

This paper pursues an investigation on groups equipped with an $L$-ordered relation, where $L$ is a fixed complete complete Heyting algebra. First, by the concept of join and meet on an $L$-ordered set, the notion of an $L$-lattice is…

Let G be a group and H be a subgroup of G. We say that H is left relatively convex in G if the left G-set G/H has at least one G-invariant order; when G is left orderable, this holds if and only if H is convex in G under some left ordering…

Commensurable groups are bi-interpretable, under suitable definability conditions.

We lay down the fundations of the theory of groups of finite Morley rank in which local subgroups are solvable and we proceed to the local analysis of these groups. We prove the main Uniqueness Theorem, analogous to the Bender method in…

We establish a necessary condition that an automorphism of a nontrivial finitely generated bi-orderable group can preserve a bi-ordering: at least one of its eigenvalues, suitably defined, must be real and positive. Applications are given…

We study the probability that certain laws are satisfied on infinite groups, focusing on elements sampled by random walks. For several group laws, including the metabelian one, we construct examples of infinite groups for which the law…

We develop a method to show the fundamental group of the double branched covering of a link is not left-orderable by introducing the notion of the coarse presentation. As in the usual group presentations, a coarse presentation is given by a…

We study the space of left-orderings on groups with finitely many Conradian orderings. We show that, within this class of groups, having an isolated left-ordering is equivalent to having finitely many left-orderings.

We show that certain orderable groups admit no isolated left orders. The groups we consider are cyclic amalgamations of a free group with a general orderable group, the HNN extensions of free groups over cyclic subgroups, and a particular…

We show that the group of type-preserving automorphisms of any irreducible semi-regular thick right-angled building is abstractly simple. When the building is locally finite, this gives a large family of compactly generated (abstractly)…