Related papers: Defining R and G(R)

In this note, starting with any group homomorphism $f\colon\Gamma\to G$, which is surjective upon abelianization, we construct a universal central extension $u\colon U\twoheadrightarrow G,$ UNDER $\Gamma$ with the same surjective property,…

We prove that if $G$ is a finite simple group which is the unit group of a ring, then $G$ is isomorphic to either (a) a cyclic group of order 2; (b) a cyclic group of prime order $2^k -1$ for some $k$; or (c) a projective special linear…

Let G be a finite solvable permutation group. Then modulo a possibly trivial normal elementary abelian 3-subgroup, some set-stabilizer in G is a 2-group.

Let $K$ be a $p$-adically closed field and $G$ a group interpretable in $K$. We show that if $G$ is definably semisimple (i.e. $G$ has no definable infinite normal abelian subgroups) then there exists a finite normal subgroup $H$ such that…

Bounded generation by root elements is a property which has been widely studied for various types of linear algebraic groups defined over rings of integers in algebraic number fields. However, when considering global function fields, there…

This paper gives an explicit argument to show strong boundedness for ${\rm Sp}_{2n}(R)$ for $R$ a ring of S-algebraic integers or a semi-local ring. This gives a quantitative version of a related abstract result in a previous paper of the…

Let $R$ be a ring (not necessary commutative) with non-zero identity. The unit graph of $R$, denoted by $G(R)$, is a graph with elements of $R$ as its vertices and two distinct vertices $a$ and $b$ are adjacent if and only if $a+b$ is a…

We lay the foundations of the first-order model theory of Coxeter groups. Firstly, with the exception of the $2$-spherical non-affine case (which we leave open), we characterize the superstable Coxeter groups of finite rank, which we show…

Suppose $C(G)$ denotes the set of all cyclic subgroups of a finite group $G$, and $\mathcal{O}_{2}(G)$ denotes the number of elements of order $2$ in $G$. In [Marius T., Finite groups with a certain number of cyclic subgroups. The American…

Let G be a 2-group of order 2^n, n>5, and nilpotency class n-2. The invariants of such groups determined by their group algebras over the field of two elements are given in the paper.

We consider the Chevalley involution in the context of real reductive groups. We show that if G(R) is the real points of a connected reductive group, there is an involution, unique up to conjugacy by G(R), taking any semisimple element to a…

Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We show that this also holds in the context of unary (and binary)…

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…

We develop a general ring theory in the o-minimal setting culminating in a description of all the definable rings in an arbitrary o-minimal structure. We show that every definably connected ring with non-trivial multiplication defines an…

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…

In the present paper we prove sandwich classification for the overgroups of the subsystem subgroup $E(\Delta,R)$ of the Chevalley group $G(\Phi,R)$ for the three types of pair $(\Phi,\Delta)$ (the root system and its subsystem) such that…

Let R be a commutative ring with unity, M a module over R and let S be a G-set for a finite group G. We define a set MS to be the set of elements expressed as the formal finite sum of the form similar to the elements of group ring RG. The…

We introduce and study the class of groups graded by root systems. We prove that if {\Phi} is an irreducible classical root system of rank at least 2 and G is a group graded by {\Phi}, then under certain natural conditions on the grading,…

Let $G$ be a $5$-group of maximal class and $\gamma_2(G) = [G, G]$ its derived group. Assume that the abelianization $G/\gamma_2(G)$ is of type $(5, 5)$ and the transfers $V_{H_1\to \gamma_2(G)}$ and $V_{H_2\to \gamma_2(G)}$ are trivial,…

Let R be an affine PI-algebra over an algebraically closed field k and let G be an affine algebraic k-group that acts rationally by algebra automorphisms on R. For R prime and G a torus, we show that R has only finitely many G-prime ideals…