Related papers: The subgroup determined by a certain ideal in a fr…

Let $I_R(G)$ denote the augmentation ideal of the group algebra $R(G)$ of a group $G$ with coefficients in a commutative ring $R$. We give a complete description of the third relative dimension subgroup $G\cap(1+I_R(K)I_R(G)+I^3_R(G))$ and…

Let $RG$ be the group ring of an abelian group $G$ over a commutative ring $R$ with identity. An injection $\Phi$ from the subgroups of $G$ to the non-unit ideals of $RG$ is well-known. It is defined by $\Phi(N)=I(R,N)RG$ where $I(R,N)$ is…

Let S and R be the rings of regular functions on affine algebraic varieties over a field of characteristic 0, R be embedded as a subring in S, and F : S --> S be an endomorphism such that F(R) subset R. Suppose that every ideal of height 1…

We study the commensurators of free groups and free pro-$p$ groups, as well as certain subgroups of these. We prove that the commensurator $Comm(F)$ of a non-abelian free group of finite rank $F$ is not virtually simple, answering a…

Let $\frak{F}$ be a class of finite groups. A subgroup $H$ of a finite group $G$ is said to be $\mathfrak{F_{\mathrm s}}$-quasinormal in $G$ if there exists a normal subgroup $T$ of $G$ such that $HT$ is $s$-permutable in $G$ and $(H\cap…

Put $R=\F[[t_1, \ldots, t_d]])$. We estimate the number of normal subgroups of $\mathrm{SL}_2^1(\F[[t_1, \ldots, t_d]])$ for $p>2$, the number of ideals in the Lie algebra $\Lie(R)$, and the number of ideals in the associative algebra $R$.

We describe a family of rational affine surfaces S with huge groups of automorphisms in the following sense: the normal subgroup of Aut(S) generated by all its algebraic subgroups is not generated by any countable family of such subgroups,…

Let $\pi_1(C)$ be the algebraic fundamental group of a smooth connected affine curve, defined over an algebraically closed field of characteristic $p>0$ of countable cardinality. Let $N$ be a normal (resp. characteristic) subgroup of…

An element w in the free group on r letters defines a map f from G^r to G for each group G. In this note, we show that whenever w is non-trivial and G is a semisimple algebraic group, f is dominant. When G is a finite simple group, the…

In this article we introduce and study a class of finite groups for which the orders of normal subgroups satisfy a certain inequality. It is closely connected to some well-known arithmetic classes of natural numbers.

We prove new separability results about free groups. Namely, if $H_1, \ldots , H_k$ are infinite index, finitely generated subgroups of a non-abelian free group $F$, then there exists a homomorphism onto some alternating group $f:F…

First, we study a descending filtration of the ring of Fricke characters of a free group consisting of ideals on which the automorphism group of a free group acts. Then using it, we define a descending filtration of the IA-automorphism…

Given a type A in homotopy type theory (HoTT), we can define the free infinity-group on A as the loop space of the suspension of A+1. Equivalently, this free higher group can be defined as a higher inductive type F(A) with constructors unit…

Let G be a finite group. A subgroup M of G is said to be an NR-subgroup if, whenever K is normal in M, then K^G\cap M=K, where K^G is the normal closure of K in G. Using the Classification of Finite Simple Groups, we prove that if every…

If $S=<d_1,...,d_\nu>$ is a numerical semigroup, we call the ring $\C[S]=\C[t^{d_1},...,t^{d_\nu}]$ the semigroup ring of $S$. We study the ring of differential operators on $\C[S]$, and its associated graded in the filtration induced by…

Let $\mathfrak{H}$ be a Fitting class and $\mathfrak{F}$ a formation. We call a subgroup $\mathcal{N}_{\mathfrak{H},\mathfrak{F}}(G)$ of a finite group $G$ the $\mathfrak{H}$-$\mathfrak{F}$-norm of $G$ if…

We establish the structure of finite groups with $\mathfrak{F}$-subnormal or self-normalizing primary cyclic subgroups in case $\mathfrak{F}$ is a subgroup-closed saturated superradical formation containing all nilpotent groups.

We apply small cancellation methods originating from group theory to investigate the structure of a quotient ring $\mathbb{Z}_2\mathcal{F} / \mathcal{I}$, where $\mathbb{Z}_2\mathcal{F}$ is the group algebra of the free group $\mathcal{F}$…

We show that, if $H$ is a random subgroup of a finitely generated free group $F_k$, only inner automorphisms of $F_k$ may leave $H$ invariant. A similar result holds for random subgroups of toral relatively hyperbolic groups, more generally…

In this paper we explore which part of the ideal lattice of a general ring is parametrized by its Cuntz semigroup $\mathrm{S}(R)$ and its ambient semigroup $\Lambda(R)$. We identify these classes of ideals as the quasipure ideals (a…