Related papers: Defining $\mathbb{A}$ in $G(\mathbb{A})$

We prove that arithmetic is interpretable in any indecomposable polynomial ring (in any set of variables), and in addition we provide an alternative uniform proof of undecidability for all members in this class of rings.

Let G be an affine algebraic group and let X be an affine algebraic variety. An action $G\times X \to X$ is called observable if for any G-invariant, proper, closed subset Y of X there is a nonzero invariant $f\in K[X]^G$ such that f(Y) =0.…

Let $G$ be an algebraic group and $\Gamma$ a finite subgroup of automorphisms of $G$. Fix also a possibly ramified $\Gamma$-covering $\widetilde{X} \to X$. In this setting one may define the notion of $(\Gamma,G)$-bundles over…

For a countable group G = <A | R> presented by its generators A and defining relations R we discuss a simple method to embed G into such a 2-generator group T that the images of generators from A are explicitly given in T, and the defining…

Let $G$ be a connected reductive algebraic group and $B$ be a Borel subgroup defined over an algebraically closed field of characteristic $p>0$. In this paper, the authors study the existence of generic $G$-cohomology and its stability with…

Given a group G, a (unital) ring A and a group homomorphism $\sigma : G \to \Aut(A)$, one can construct the skew group ring $A \rtimes_{\sigma} G$. We show that a skew group ring $A \rtimes_{\sigma} G$, of an abelian group G, is simple if…

We establish formulas for computation of the higher algebraic $K$-groups of the endomorphism rings of objects linked by a morphism in an additive category. Let ${\mathcal C}$ be an additive category, and let $Y\ra X$ be a covariant morphism…

Using a combinatorial approach which avoids geometry, this paper studies the ring structure of K_T(G/B), the T-equivariant K-theory of the (generalized) flag variety G/B. Here the data is a complex reductive algebraic group (or…

In this article we describe the $G\times G$-equivariant $K$-ring of $X$, where $X$ is a regular compactification of a connected complex reductive algebraic group $G$. Furthermore, in the case when $G$ is a semisimple group of adjoint type,…

We consider factorizations $G=XY$ where $G$ is a general group, $X$ and $Y$ are normal subsets of $G$ and any $g\in G$ has a unique representation $g=xy$ with $x\in X$ and $y\in Y$. This definition coincides with the customary and…

Let $\mathcal{R}$ be the Grothendieck ring of complex smooth finite-length representations of the sequence of p-adic groups $\{GL_n(F)\}_{n=0}^\infty$, with multiplication defined through parabolic induction. We study the problem of the…

We prove that bi-invariant word metrics are bounded on certain Chevalley groups. As an application we provide restrictions on Hamiltonian actions of such groups.

We completely calculate the $RO(G)$-graded coefficients of ordinary equivariant cohomology where $G$ is the dihedral group of order $2p$ for a prime $p>2$ both with constant and Burnside ring coefficients. The authors first proved it for…

Traditionally, homotopy groups in $G$-equivariant stable homotopy theory have been graded over $\text{RO}(G)$, the real representation ring of $G$. It is arguably more natural to grade homotopical structures over the Picard group of the…

We consider a class of semidirect products $G = \mathbb{R}^n \rtimes H$, with $H$ a suitably chosen abelian matrix group. The choice of $H$ ensures that there is a wavelet inversion formula, and we are looking for criteria to decide under…

It is well known that the ring radical theory can be approached via language of modules. In this work, we present some generalizations of classical results from module theory, in the two-sided and graded sense. Let $\mathsf{G}$ be a group,…

We state conditions for which a definable local homomorphism between two locally definable groups $\mathcal{G}$, $\mathcal{G^{\prime}}$ can be uniquely extended when $\mathcal{G}$ is simply connected (Theorem 2.1). As an application of this…

Let $S$ be an upper cluster algebra, which is a subalgebra of $R$. Suppose that there is some cluster variable $x_e$ such that ${R}_{{x}_e} = S[{x}_e^{\pm 1}]$. We try to understand under which conditions ${R}$ is an upper cluster algebra,…

Let $R$ be a ring and $P$ a prime ideal of $R.$ In this paper, we establish some commutativity criteria for the factor ring $R/P$ in terms of derivations of $R$ satisfying some algebraic identities involving a new kind of involution in…

This version is a significant improvement of the original paper. It includes a new section where we discuss norm tori in some detail. The new abstract is the following: In this paper we obtain Chevalley's ambiguous class number formula for…