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

Recall that a group $G$ has finitely satisfiable generics ($fsg$) or definable $f$-generics ($dfg$) if there is a global type $p$ on $G$ and a small model $M_0$ such that every left translate of $p$ is finitely satisfiable in $M_0$ or…

An algebra is introduced which can be considered as a rank 2 extension of the Askey-Wilson algebra. Relations in this algebra are motivated by relations between coproducts of twisted primitive elements in the two-fold tensor product of the…

In this paper we prove that every automorphism of a Chevalley group with the root system G_2 over a commutative ring R with 1/3, generated by all its invertible elements and the ideal 2R is a composition of ring and inner automorphisms.

A subset $\{g_1, \ldots , g_d\}$ of a finite group $G$ invariably generates $G$ if $\{g_1^{x_1}, \ldots , g_d^{x_d}\}$ generates $G$ for every choice of $x_i \in G$. The Chebotarev invariant $C(G)$ of $G$ is the expected value of the random…

This paper gives a rather concrete description of the category Rep(G) for certain flat commutative affine group schemes G over a discrete valuation ring such that the general fiber of G is the multiplicative group.

If X and Y are orthogonal hyperdefinable sets such that X is simple, then any group G interpretable in (X,Y) has a normal hyperdefinable X-internal subgroup N such that G/N is Y-internal; N is unique up to commensurability. In order to make…

The Mordell-Lang conjecture (proven by Faltings, Vojta and McQuillan) states that the intersection of a subvariety $V$ of a semiabelian variety $G$ defined over an algebraically closed field $\mathbb{k}$ of characteristic $0$ with a finite…

For a given small binary dihedral group G we use the classification of G-graphs to describe explicitly G-Hilb(C^2) by giving an affine open cover of M(Q,R), the moduli space of stable quiver representations.

Let $M$ be a $G$-manifold and $\om$ a $G$-invariant exact $m$-form on $M$. We indicate when these data allow us to constract a cocycle on a group $G$ with values in the trivial $G$-module $\mathbb R$ and when this cocycle is nontrivial.

Let $G$ be an amenable group. We define and study an algebra $\mathcal{A}_{sn}(G)$, which is related to invariant means on the subnormal subgroups of $G$. For a just infinite amenable group $G$, we show that $\mathcal{A}_{sn}(G)$ is…

Let $G$ be a group. A ring $R$ is called a graded ring (or $G$-graded ring) if there exist additive subgroups $R_{\alpha }$ of $R$ indexed by the elements $\alpha \in G$ such that $R=\bigoplus_{\alpha \in G}R_{\alpha }$ and $R_{\alpha…

We study the solvable groups $G$ that have an irreducible character $\chi\in \Irr(G)$ such that $\chi \bar{\chi}$ has at most two non-principal irreducible constituents.

We define an algebraic group over a group $G$ to be a variety - that is, a subset of $G^d$ defined by equations over $G$ - endowed with a group law whose coordinates can be expressed as word maps. In the case where $G$ is a torsion-free…

We define the notion of a semicharacter of a group G : A function from the group to C*, whose restriction to any abelian subgroup is a homomorphism. We conjecture that for any finite group, the order of the group of semicharacters is…

We prove that every isomorphism of Chevalley groups of type $G_2$ over commutative local rings with 1/2 and 1/3 is standard, i. e., it is a composition of a ring isomorphism and an inner automorphism.

Let $R$ be a finite commutative local principal ring, and let $H(R)$ denote the corresponding quaternion ring. We show that an element of $H(R)$ is a product of idempotents if and only if it can be expressed as a product of two idempotents.…

In this article we define $G$-algebras, that is, graded algebras on which a reductive group $G$ acts as gradation preserving automorphisms. Starting from a finite dimensional $G$-module $V$ and the polynomial ring $\mathbb{C}[V]$, it is…

The ring K(G/B) is isomorphic to a quotient of a Laurent polynomial ring by an ideal generated by certain W-symmetric functions and has a basis given by classes O_w, where O_w is the class of the structure sheaf of the Schubert variety X_w.…

By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…

In a ring $A$ an ideal $I$ is called (principally) nilary if for any two (principal) ideals $V, W$ in $A$ with $VW\subseteq I,$ then either $V^n\subseteq I$ or $W^m\subseteq I,$ for some positive integers $m$ and $n$ depending on $V$ and…