Related papers: Model-theoretic $K_1$ of free modules over PIDs

A full subcategory of modules over a commutative ring $R$ is wide if it is abelian and closed under extensions. Hovey \cite{wide} gave a classification of wide subcategories of finitely presented modules over regular coherent rings in terms…

Revised 1977 seminar handout on Quillen's proof of the 1976 Quillen-Suslin theorem -- that all finitely generated, projective $k[x_1,\ldots,x_n]$-modules are free. This particular write-up is based on arguments of Quillen, Paul Roberts,…

Let $k$ be a field of characteristic different from $2$ and let $G$ be a nonabelian residually torsion-free nilpotent group. It is known that $G$ is an orderable group. Let $k(G)$ denote the subdivision ring of the Malcev-Neumann series…

In this paper we use the Merkurjev-Suslin theorem to explore the structure of arithmetically significant Galois modules that arise from Kummer theory. Let K be a field of characteristic different from a prime \ell, n a positive integer, and…

We confirm a conjecture of Quillen in the case of the mod $2$ cohomology of arithmetic groups ${\rm SL}_2({\mathcal{O}}_{\mathbb{Q}(\sqrt{-m})}[\frac{1}{2}]\thinspace)$, where ${\mathcal{O}}_{\mathbb{Q}(\sqrt{-m}\thinspace)}$ is an…

For a number field $K$ let $\mathcal{S}_K$ be the maximal subgroup of the multiplicative group $K^\times$ that embeds into the unit circle under each embedding of $K$ into the complex numbers. The group $\mathcal{S}_K$ can be seen as an…

Let $G$ be the adjoint group of a real simple Lie algebra $\mathfrak{g}_0$ equal either $\mathfrak{s}\mathfrak{u}(n,1)$ or $\mathfrak{s}\mathfrak{o}(n,1),$ $K$ its maximal compact subgroup, ${\cal U}(\mathfrak{g})$ the universal enveloping…

Let $R$ be a ring with unit. Passing to the colimit with respect to the standard inclusions $GL(n,R) \to GL(n+1,R)$ (which add a unit vector as new last row and column) yields, by definition, the stable linear group $GL(R)$; the same result…

Let $G$ be a finite group. In the first part of the paper we develop further the foundations of the youngly introduced glider representation theory. Glider representations encompass filtered modules over filtered rings and as such carry…

We show that the Grothendieck group associated to integral polytopes in $\mathbb{R}^n$ is free-abelian by providing an explicit basis. Moreover, we identify the involution on this polytope group given by reflection about the origin as a sum…

We develop the theory of groupoid graded semisimple rings. Our rings are neither unital nor one-sided artinian. Instead, they exhibit a strong version of having local units and being locally artinian, and we call them $\Gamma_0$-artinian.…

Let E be an elliptic curve having Complex Multiplication by the full ring O_K of integers of K=Q(\sqrt{-D}), let H=K(j(E)) be the Hilbert class field of K. Then the Mordell-Weil group E(H) is an O_K-module, and its structure denpends on its…

Let $A$ be a Noetherian domain and $R$ be a finitely generated $A$-algebra. We study several features regarding the generic freeness over $A$ of an $R$-module. For an ideal $I \subset R$, we show that the local cohomology modules ${\rm…

Let $R$ be a commutative ring with identity and let $M$ be an $R$-module which is generated by $\mu$ elements but not fewer. We denote by $\operatorname{SL}_n(R)$ the group of the $n \times n$ matrices over $R$ with determinant $1$. We…

Let {\phi} be a Drinfeld A-module of characteristic p0 over a finitely generated field K. Previous articles determined the image of the absolute Galois group of K up to commensurability in its action on all prime-to-p0 torsion points of…

In this survey-research paper, we first introduce the theory of Smith classes of complexes with fixed-point free, periodic maps on them. These classes, when defined for the deleted product of a simplicial complex $K$, are the same as the…

We define and construct a quantum Grothendieck ring for a certain monoidal subcategory of the category $\mathcal{O}$ of representations of the quantum loop algebra introduced by Hernandez-Jimbo. We use the cluster algebra structure of the…

We present a quick approach to computing the $K$-theory of the category of locally compact modules over any order in a semisimple $\mathbb{Q}$-algebra. We obtain the $K$-theory by first quotienting out the compact modules and subsequently…

If $\rho$ denotes a finite dimensional complex representation of $\textbf{SL}_2(\textbf{Z})$, then it is known that the module $M(\rho)$ of vector valued modular forms for $\rho$ is free and of finite rank over the ring $M$ of scalar…

The free Baker-Akhiezer modules on rational varieties obtained from ${\mathbb C}P^{1}\times{\mathbb C}P^{n-1}$ by identification of two hypersurfaces are constructed. The corollary of this construction is the existence of embedding of…