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

We generalize a recent result of Clausen: For a number field with integers O, we compute the K-theory of locally compact O-modules. For the rational integers this recovers Clausen's result as a special case. Our method of proof is quite…

The product m_k of the first k primes (2..p_k) has neighbours m_k +/- 1 with all prime divisors beyond p_k, implying there are infinitely many primes [Euclid]. All primes between p_k and m_k are in the group G_1 of units in semigroup…

The purpose of this paper and its sequel, is to introduce a new class of modules over a commutative ring $R$, called $\mathbb{P}$-radical modules (modules $M$ satisfying the prime radical condition "$(\sqrt[p]{{\cal{P}}M}:M)={\cal{P}}$" for…

We generalize the Grothendieck construction of the completion group for a monoid (being the starting point of the algebraic $K$-theory) to the polyadic case, when an initial semigroup is $m$-ary and the corresponding final class group…

Free groups have many applications in Algebraic Topology. In this paper I specifically study the finitely generated free groups by using the covering spaces and fundamental groups. By the Van Kampen's theorem, we have a famous fact that the…

Let $Q=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ with the standard $N^n$-grading. Let $\phi$ be a morphism of finite free $N^n$-graded $Q$-modules. We translate to this setting several notions and constructions that appear…

Let $\h_n$ be the Cartan subalgebra of the Witt algebras $\W_n^+=\text{Der}\C[t_1, t_2, ..., t_n]$ and $\W_n=\text{Der}\C[t_1^{\pm 1},t_2^{\pm 1},\cdots,t_n^{\pm1}]$ where $1\le n\le \infty$. In this paper, we classify the modules over…

We investigate the relations between the Grothendieck group of coherent modules of an algebraic variety and its Chow group of algebraic cycles modulo rational equivalence. Those are in essence torsion phenomena, which we attempt to control…

We consider the model-theoretic Grothendieck ring of definable sets in ordered abelian groups. It is well-known that $\mathrm{K} \mathbb{Q} \cong \mathbb{Z}[T]/(T^2 + T)$ and $\mathrm{K} \mathbb{Z} =0$, but surprisingly little is known…

Let $\mathfrak{g}_0$ be a simple Lie algebra of type ADE and let $U'_q(\mathfrak{g})$ be the corresponding untwisted quantum affine algebra. We show that there exists an action of the braid group $B(\mathfrak{g}_0)$ on the quantum…

We show that for any commutative noetherian regular ring $R$ containing $\Q$, the map $K_1(R) \to K_1(\frac{R[x_1, \cdots , x_4]}{(x_1x_2 - x_3x_4)})$ is an isomorphism. This answers a question of Gubeladze. We also compute the higher…

In this article we describe the $G\times G$-equivariant $K$-ring of $X$, where $X$ is a regular compactification of a connected complex reductive algebraic group $G$. Furthermore, in the case when $G$ is a semisimple group of adjoint type,…

Let $R:= \Bbbk[x_1,\ldots,x_{n}]$ be a polynomial ring over a field $\Bbbk$, $I \subset R$ be a homogeneous ideal with respect to a weight vector $\omega = (\omega_1,\ldots,\omega_n) \in (\mathbb{Z}^+)^n$, and denote by $d$ the Krull…

We study the images of polynomial maps over algebraically closed division rings. Our first result generalizes the classical Ax-Grothendieck theorem: We show that if $ f_1, \ldots, f_m $ are elements of the free associative algebra $…

Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. In a previous article, we gave a necessary and sufficient condition for X to be free of given rank d…

We compute the topological K-theory of the group C*-algebra C*_r(G) for a group extension Z^n->G->Z/m provided that the conjugation action of Z/m on Z^n is free outside the origin.

In this paper we investigate a local to global principle for Mordell-Weil group defined over a ring of integers ${\cal O}_K$ of $t$-modules that are products of the Drinfeld modules ${\widehat\varphi}={\phi}_{1}^{e_1}\times \dots \times…

We study the classical K\"othe's problem, concerning the structure of non-commutative rings with the property that: ``every left module is a direct sum of cyclic modules". In 1934, K\"othe showed that left modules over Artinian principal…

Extending the model of the interval, we explicitly define for each $n\ge 0$ a free complete differential graded Lie algebra $\mathfrak{L}_n$ generated by the simplices of $\Delta^n$, with desuspended degrees, in which the vertices are…

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…