Related papers: Adjoining a universal inner inverse to a ring elem…

Using methods developed by Franke, we obtain algebraic classification results for modules over certain symmetric ring spectra ($S$-algebras). In particular, for any symmetric ring spectrum $R$ whose graded homotopy ring $\pi_*R$ has graded…

Let $k$ be a field and let $E$ be a finite quiver. We study the structure of the finitely presented modules of finite length over the Leavitt path algebra $L_k (E)$ and show its close relationship with the finite-dimensional representations…

P. M. Cohn showed in 1971 that given a ring $R$, to describe, up to isomorphism, a division ring $D$ generated by a homomorphic image of $R$ is equivalent to specifying the set of square matrices over $R$ which map to singular matrices over…

For $R_1,R_2,R_3,\dots$ a family of non isomorphic rings (or algebras) having each only 2 idempotents ($1$ and $0$), we classify up to isomorphism the rings (or algebras) obtained by taking products of powers of the different $R_i$. We show…

We compute the structure of the cohomology ring for the quantized enveloping algebra (quantum group) $U_q$ associated to a finite-dimensional simple complex Lie algebra $\mathfrak{g}$. We show that the cohomology ring is generated as an…

Let $k$ be a field of characteristic $p>0$, and let $W$ be a complete discrete valuation ring of characteristic $0$ that has $k$ as its residue field. Suppose $G$ is a finite group and $G^{\mathrm{ab},p}$ is its maximal abelian $p$-quotient…

What are all rings $R$ for which $R^*$ (the group of invertible elements of $R$ under multiplication) is an elementary abelian $p$-group? We answer this question for finite-dimensional commutative $k$-algebras, finite commutative rings,…

Let $R$ be a ring with $1$ and $\J(R)$ its Jacobson radical. Then $1+\J(R)$ is a normal subgroup of the group of units, $G(R)$. The existence of a complement to this subgroup was explored in a paper by Coleman and Easdown; in particular the…

Let $R$ be a commutative ring of dimension $d$, $S = R[X]$ or $R[X, 1/X]$ and $P$ a finitely generated projective $S$ module of rank $r$. Then $P$ is cancellative if $P$ has a unimodular element and $r \geq d + 1$. Moreover if $r \geq \dim…

Given a subdirectly irreducible *-regular ring R, we show that R is a homomorphic image of a regular *-subring of an ultraproduct of the (simple) eRe, e in the minimal ideal of R. Moreover, unit-regularity is shown for every member of the…

Firstly, we give a partial solution to the isomorphism problem for uniserial modules of finite length with the help of the morphisms between these modules over an arbitrary ring. Later, under suitable assumptions on the lattice of the…

Let $\mathcal{W}$ be a complete local commutative Noetherian ring with residue field $k$ of positive characteristic $p$. We study the inverse problem for the versal deformation rings $R_{\mathcal{W}}(\Gamma,V)$ relative to $\mathcal{W}$ of…

We use the idea of generic extensions to investigate the correspondence between the isomorphism classes of nilpotent representations of a cyclic quiver and the orbits in the corresponding representation varieties. We endow the set $\cal M$…

Let $k$ be a field, and let $\Lambda$ be a finite dimensional $k$-algebra. We prove that if $\Lambda$ is a self-injective algebra, then every finitely generated $\Lambda$-module $V$ whose stable endomorphism ring is isomorphic to $k$ has a…

The ring of Witt vectors associated to a ring R is a classical tool in algebra. We introduce a ring C(R) which is more easily constructed and which is isomorphic to the ring of Witt vectors W(R) for a perfect F_p-algebra R. It is obtained…

Let A be a commutative Noetherian ring of dimension d and let P be a projective R=A[X_1,\ldots,X_l,Y_1,\ldots,Y_m,\frac {1}{f_1\ldots f_m}]-module of rank r\geq max {2,dim A+1, where f_i\in A[Y_i]. Then (i) \EL^1(R\op P) acts transitively…

From a system consisting of a right non-degenerate ring $R$, a pair of $R$-bimodules $Q$ and $P$ and an $R$-bimodule homomorphism $\psi:P\otimes Q\longrightarrow R$ we construct a $\Z$-graded ring $\mathcal{T}_{(P,Q,\psi)}$ called the…

Let p be a prime, M be a finite group, F be the field with p elements, and V be an absolutely irreducible FM-module. Then V has a universal deformation ring R(M,V) whose structure is closely related to the first and second cohomology groups…

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$…

If R is a triangular 2x2 matrix ring, the columns, P and Q, are projective left R-modules. We describe the universal localization of R which makes invertible an R-module morphism P --> Q, generalizing a theorem of A.Schofield. We also…