Related papers: Fitting ideals and the Gorenstein property

Given a finite group $G$ of order $p^nm$, where $p$ is a prime and $p\nmid m$, we denote by $\psi_p(G)$ the sum of orders of $p$-parts of elements in $G$. In the current note, we prove that $\psi_p(G)\leq\psi_p(C_{p^nm})$, where $C_{p^nm}$…

In 1878, Jordan proved that if a finite group $G$ has a faithful representation of dimension $n$ over $\mathbb{C}$, then $G$ has a normal abelian subgroup with index bounded above by a function of $n$. The same result fails if one replaces…

We answer a question of Celikbas, Dao, and Takahashi by establishing the following characterization of Gorenstein rings: a commutative noetherian local ring $(R,\mathfrak m)$ is Gorenstein if and only if it admits an integrally closed…

A (left) Engel sink of an element g of a group G is a subset containing all sufficiently long commutators [...[[x,g],g],...,g], where x ranges over G. We prove that if p is a prime and G a finite group in which, for some positive integer m,…

We study the existence of maximal ideals in preadditive categories defining an order $\preceq$ between objects, in such a way that if there do not exist maximal objects with respect to $\preceq$, then there is no maximal ideal in the…

Let $p$ be a prime such that the multiplicative order $m$ of $2$ modulo $p$ is even. We prove that the integral group ring $\mathbb{Z}[Q_8 \times C_p]$ has the multiplicative Jordan decomposition property when $m$ is congruent to $2$ modulo…

In this paper we prove a sufficient condition for the existence of matchings in arbitrary groups and its linear analogue, which lead to some generalizations of the existing results in the theory of matchings in groups and central extensions…

Let $p$ be a prime number, $\Bbbk$ a field of characteristic $p$ and $G$ a finite $p$-group. Let $V$ be a finite-dimensional linear representation of $G$ over $\Bbbk$. Write $S = \mathrm{Sym} V^*$. For a class of $p$-groups which we call…

Let I be an m-primary ideal of a Noetherian local ring (R,m). We consider the Gorenstein and complete intersection properties of the associated graded ring G(I) and the fiber cone F(I) of I as reflected in their defining ideals as…

We consider a finite group $G$ with a normal subgroup $N$ so that all elements of $G \setminus N$ have prime power order. We prove that if there is a prime $p$ so that all the elements in $G \setminus N$ have $p$-power order, then either…

We consider a finite dimensional $\kk G$-module $V$ of a $p$-group $G$ over a field $\kk$ of characteristic $p$. We describe a generating set for the corresponding Hilbert Ideal. In case $G$ is cyclic this yields that the algebra $\kk[V]_G$…

When a cyclic group G of prime order acts on a 4-manifold X, we prove a formula which relates the Seiberg-Witten invariants of X to those of X/G.

Let $G$ be a group and $R$ be a ring. We define the Gorenstein homological dimension of $G$ over $R$, denoted by ${\rm Ghd}_{R}G$, as the Gorenstein flat dimension of trivial $RG$-module $R$. It is proved that ${\rm Ghd}_SG \leq {\rm…

Let $q$ be a prime and $A$ an elementary abelian group of order at least $q^3$ acting by automorphisms on a finite $q'$-group $G$. It is proved that if $|\gamma_{\infty}(C_{G}(a))|\leq m$ for any $a\in A^{\#}$, then the order of…

An $integral$ of a group $G$ is a group $H$ whose commutator subgroup is isomorphic to $G$. This paper continues the investigation on integrals of groups started in the work arXiv:1803.10179. We study: (1) A sufficient condition for a bound…

Fix a Galois extension E/F of totally real number fields such that the Galois group G has exponent 2. Let S be a finite set of primes of F containing the infinite primes and all those which ramify in E, let S_E denote the primes of E lying…

Let $G$ be a simple algebraic group over an algebraically closed field $K$ of characteristic $p > 0$. We consider connected reductive subgroups $X$ of $G$ that contain a given distinguished unipotent element $u$ of $G$. A result of…

Many classical ring-theoretic results state that an ideal that is maximal with respect to satisfying a special property must be prime. We present a "Prime Ideal Principle" that gives a uniform method of proving such facts, generalizing the…

We establish Bernstein-centre type of results for the category of mod $p$ representations of $\mathrm{GL}_2(\mathbb{Q}_p)$. We treat all the remaining open cases, which occur when $p$ is $2$ or $3$. Our arguments carry over for all primes…

We prove that the class of Gorenstein projective modules is special precovering over any left GF-closed ring such that every Gorenstein projective module is Gorenstein flat and every Gorenstein flat module has finite Gorenstein projective…