English
Related papers

Related papers: Stably Embedded Pairs of Ordered Abelian Groups

200 papers

In this note we give a classification of the Maximal order Abelian subgroups of finite irreducible Coxeter groups. We also prove a Weyl group analogue of Cartan's theorem that all maximal tori in a connected compact Lie group are conjugate.

Group Theory · Mathematics 2022-03-30 John M. Burns , Goetz Pfeiffer

For every Lie group $G$, we compute the maximal $n$ such that an $n$-fold product of nonabelian free groups embeds into $G$.

Group Theory · Mathematics 2021-02-23 Caterina Campagnolo , Holger Kammeyer

A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We generalise this to the level of non-distributive logics that have…

Logic · Mathematics 2020-02-11 Robert Goldblatt

In this paper we suppose G is a finite group acting tamely on a regular projective curve X over Z and V is an orthogonal representation of G of dimension 0 and trivial determinant. Our main result determines the sign of the…

Number Theory · Mathematics 2007-05-23 Darren Glass

We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…

Logic · Mathematics 2012-01-24 Raf Cluckers , Immanuel Halupczok

I discuss a family of statistical-mechanics models in which (some classes of) elements of a finite group $G$ occupy the (directed) edges of a lattice; the product around any plaquette is constrained to be the group identity $e$. Such a…

Statistical Mechanics · Physics 2011-03-21 Christopher L. Henley

The proper subgroup $B$ of the group $G$ is called {\it strongly embedded}, if $2\in\pi(B)$ and $2\notin\pi(B \cap B^g)$ for any element $g \in G \setminus B $ and, therefore, $ N_G(X) \leq B$ for any 2-subgroup $ X \leq B $. An element $a$…

Group Theory · Mathematics 2020-04-30 Anatoliy Sozutov

This is mostly an overview. Given finitely presentable abelian categories $A$ and $B$, we sketch the construction of an abelian category of continuous functors from $A$ to $B$ that has nice $2$-categorical behaviour and gives an explicit…

Category Theory · Mathematics 2022-05-18 D. Kaledin

We construct a well-behaved stable category of modules for a large class of infinite groups. We then consider its Picard group, which is the group of invertible (or endotrivial) modules. We show how this group can be calculated when the…

Group Theory · Mathematics 2019-12-17 Nadia Mazza , Peter Symonds

For an arbitrary countable group G = <A|R> given by its generators A and defining relations R we discuss a specific method for embedding of G into a certain 2-generator group T. Our embedding explicitly lists the images of generators from A…

Group Theory · Mathematics 2020-09-23 V. H. Mikaelian

We prove that all invariant random subgroups of the lamplighter group $L$ are co-sofic. It follows that $L$ is permutation stable, providing an example of an infinitely presented such a group. Our proof applies more generally to all…

Group Theory · Mathematics 2019-11-27 Arie Levit , Alexander Lubotzky

We study gradings by noncommutative groups on finite dimensional Lie algebras over an algebraically closed field of characteristic zero. It is shown that if $L$ is gradeg by a non-abelian finite group $G$ then the solvable radical $R$ of…

Rings and Algebras · Mathematics 2016-02-19 Dušan Pagon , Dušan Repovš , Mikhail Zaicev

The problem of determining when a (classical) crossed product $T=S^f*G$ of a finite group $G$ over a discrete valuation ring $S$ is a maximal order, was answered in the 1960's for the case where $S$ is tamely ramified over the subring of…

Rings and Algebras · Mathematics 2008-01-25 Yuval Ginosar

It is shown that finite-index extensions and finite-index subgroups of $\omega$-stable groups can be model-theoretically wild. More precisely, there exists an $\omega$-stable group $G$ such that any given countable first-order structure in…

Logic · Mathematics 2026-05-15 Yatir Halevi , Saharon Shelah

We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…

Logic · Mathematics 2022-08-09 Pablo Cubides Kovacsics , Jinhe Ye

Let $G$ be a finite group and $S$ a subset of $G$. Then $S$ is {\em product-free} if $S \cap SS = \emptyset$, and $S$ {\em fills} $G$ if $G^{\ast} \subseteq S \cup SS$. A product-free set is locally maximal if it is not contained in a…

Group Theory · Mathematics 2015-12-18 Sarah Hart , Chimere Anabanti

We introduce a new class of locally compact groups, namely the strongly compactly covered groups, which are the Hausdorff topological groups $G$ such that every element of $G$ is contained in a compact open normal subgroup of $G$. For…

General Topology · Mathematics 2018-05-25 Anna Giordano Bruno , Menachem Shlossberg , Daniele Toller

This paper explores some first-order properties of commuting-liftable pairs in pro-$\ell$ abelian-by-central Galois groups of fields. The main focus of the paper is to prove that minimized inertia and decomposition groups of many valuations…

Number Theory · Mathematics 2015-04-13 Adam Topaz

A first order expansion of $(\mathbb{R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, $p$-adic fields, ordered abelian groups with only finitely many convex subgroups…

Logic · Mathematics 2026-02-11 Pierre Simon , Erik Walsberg

Ergodic theory, Higher order Fourier analysis and the hyper graph regularity method are three possible approaches to Szemer\'edi type theorems in abelian groups. In this paper we develop an algebraic theory that creates a connection between…

Combinatorics · Mathematics 2009-03-06 Balazs Szegedy