Related papers: A short proof of Grinshpon's theorem

We prove Bertini type theorems for the inverse image, under a proper morphism, of any Schubert variety in an homogeneous space. Using generalisations of Deligne's trick, we deduce connectedness results for the inverse image of the diagonal…

A classical theorem by Jacobson says that a ring in which every element $x$ satisfies the equation $x^n=x$ for some $n>1$ is commutative. According to Birkhoff's Completeness Theorem, if $n$ is fixed, there must be an equational proof of…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

In the late 1980s, A. Premet conjectured that the variety of nilpotent elements of any finite dimensional restricted Lie algebra over an algebraically closed field of characteristic $p>0$ is irreducible. This conjecture remains open, but it…

Let R be an affine k-domain over the field k. The paper's main result is that, if R admits a non-trivial embedding in a polynomial ring K[s] for some field K containing k, then R can be embedded in a polynomial ring F[t] which extends R…

A short and direct proof of the Gibbard-Satterthwaite theorem \`{a} la Amartya Sen's proof of Arrow's impossibility theorem is given.

Given an ample Hausdorff groupoid $G$, a unital commutative ring $R$, and a discrete twist $(\Sigma,i,q)$, we establish a generalised uniqueness theorem for the twisted Steinberg algebra $A_R(G;\Sigma)$. By applying this theorem when $G$ is…

$R$ is a unital ring with involution. We investigate the characterizations and representations of weighted core inverse of an element in $R$ by idempotents and units. For example, let $a\in R$ and $e\in R$ be an invertible Hermitian…

We prove Dirichlet's theorem for polynomial rings: Let F be a pseudo algebraically closed field. Then for all relatively prime polynomials a(X), b(X)\in F[X] and for every sufficiently large positive integer n there exist infinitely many…

Here are two of our main results: Theorem 1. Let X be a normal space with dim X=n and m\geq n+1. Then the space C*(X,R^m) of all bounded maps from X into R^m equipped with the uniform convergence topology contains a dense G_{\delta}-subset…

We give a geometric proof of a conjecture of W. Fulton on the multiplicities of irreducible representations in a tensor product of irreducible representations for GL(r).

The Gromov-Lawson-Rosenberg-conjecture for a group G states that a closed spin manifold M^n (n>4) with fundamental group G admits a metric with positive scalar curvature if and only if its C^*-index A(M) in KO_n(C^*_r(G)) vanishes. We prove…

We prove that non-trivial representations of the alternating group $A_n$ are reducible over a primitive proper subgroup which is isomorphic to some alternating group $A_m$.

We prove a general local rigidity theorem for pull-backs of homogeneous forms on reductive symmetric spaces under representations of discrete groups. One application of the theorem is that the volume of a closed manifold locally modelled on…

Given a multiplicative subset $S$ in a commutative ring $R$, we consider $S$-weakly cotorsion and $S$-strongly flat $R$-modules, and show that all $R$-modules have $S$-strongly flat covers if and only if all flat $R$-modules are…

Let $G$ be a finite group and $A$ be a regular local ring on which $G$ acts. Under certain assumptions on $A$ and the action, Serre defined a function $a_G\colon G\rightarrow\mathbb{Z}$ which can be viewed as a higher dimensional analogue…

The change of variable theorem is proved under the sole hypothesis of differentiability of the transformation. Specifically, it is shown under this hypothesis that the transformed integral equals the given one over every measurable subset…

In this paper we give a counterexample to the conjecture: Let $S\in{\rm SInn}$. Then $z\cdot S$ is onto $U$.

In this paper we prove that if $R$ is a commutative refinement ring and $M$, $N$ are two $R$-modules then, $M\cong N$ if and only if for every maximal ideal $m$ of $R$, $M_m\cong N_m$. We prove if $R$ is a refinement ring, then every…

Let $G$ be a connected reductive algebraic group over an algebraically closed field of characteristic $p \ge 0$. We give a case-free proof of Lusztig's conjectures [Unipotent elements in small characteristic, {\em Transform. Groups} 10…