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

Let K be a skew field and (G,<) an ordered group. We show that the skew field generated by the group ring K[G] inside the Malcev-Neumann series ring K((G;<)) contains noncommutative free group algebras.

In this paper, by assuming a faithful action of a finite flat $\mathbb{Z}_p$-algebra $\mathscr{R}$ on a $p$-divisible group $\mathcal{G}$ defined over the ring of $p$-adic integers $\mathscr{O}_K$, we construct a category of new…

In this paper, we describe the Grothendieck groups $K_1(V)$ and $K(V)$ of an absolute matrix order unit space $V$ for unitary and partial unitary elements respectively. For this purpose, we study some basic properties of unitary and partial…

If $G$ is a finite group, the Grothendieck group ${\mathbf{K}}\_G(G)$ of the category of $G$-equivariant ${\mathbb{C}}$-vector bundles on $G$ (for the action of $G$ on itself by conjugation) is endowed with a structure of (commutative)…

For a recollement of derived module categories of rings, we provide sufficient conditions to guarantee the additivity formula of higher algebraic K-groups of the rings involved, and establish a long Mayer-Vietoris exact sequence of higher…

Let p>3 be a prime, let ku be the connective complex K-theory spectrum, and let K(ku) be the algebraic K-theory spectrum of ku. We study the p-primary homotopy type of the spectrum K(ku) by computing its mod (p,v_1) homotopy groups. We show…

Let $R$ be a commutative ring and $\Gamma$ be an infinite discrete group. The algebraic $K$-theory of the group ring $R[\Gamma]$ is an important object of computation in geometric topology and number theory. When the group ring is…

Let A be an arbitrary ring. We introduce a Dennis trace map mod n, from K_1(A;Z/n) to the Hochschild homology group with coefficients HH_1(A;Z/n). If A is the ring of integers in a number field, explicit elements of K_1(A,Z/n) are…

Let R be a unital commutative ring and let $M$ be an $R$-module that is generated by $k$ elements but not less. Let $E_n(R)$ be the subgroup of $GL_n(R)$ generated by the elementary matrices. In this paper we study the action of $E_n(R)$ by…

We define higher polyhedral K-groups for commutative rings, starting from the stable groups of elementary automorphisms of polyhedral algebras. Both Volodin's theory and Quillen's + construction are developed. In the special case of…

In this paper we consider orthogonal geometry of the free $\protect\ZZ$-module $K_0(\protect\PP_n)$ with respect to the non-symmetric unimodular bilinear form $$\chi(E,F)=\sum (-1)^\nu\dim\ext^\nu(E,F). $$ We calculate the isometry group of…

We study modules over a generalized Weyl algebra $R(\sigma,a)$ which are free when restricted to the base ring $R$. When $R$ is an integral domain, we construct all such finite-rank modules up to isomorphism, leading to new simple modules…

We show that the higher Grothendieck-Witt groups, a.k.a. algebraic hermitian K-groups, are represented by an infinite orthogonal Grassmannian in the A1-homotopy category of smooth schemes over a regular base for which 2 is a unit in the…

We determine the Galois module structure of the ring of integers for all cubic fields using roots of the generic cyclic cubic polynomial $f_n(X)=X^3-nX^2-(n+3)X-1$. Let $L_n=\mathbb Q(\rho_n)$ be a cyclic cubic field with Galois group…

Let the finite group $G$ act linearly on the vector space $V$ over the field $k$ of arbitrary characteristic. If $H<G$ is a subgroup the extension of invariant rings $k[V]^G\subset k[V]^H$ is studied using modules of covariants. An example…

Let O_K be a discrete valuation ring of mixed characteristics (0,p), with residue field k. Using work of Sekiguchi and Suwa, we construct some finite flat O_K-models of the group scheme \mu_{p^n,K} of p^n-th roots of unity, which we call…

Let $K$ be a field, and $A=K[a_1,\ldots ,a_n]$ a solvable polynomial algebra in the sense of [K-RW, {\it J. Symbolic Comput.}, 9(1990), 1--26]. Based on the Gr\"obner basis theory for $A$ and for free modules over $A$, an elimination theory…

Let $\g$ be an arbitrary Kac-Moody algebra with a Cartan sualgebra $\h$. In this paper, we determine the category of $\g$-modules that are free $U(\h)$-modules of rank 1.

The Kauffman bracket skein module $K(M)$ of a 3-manifold $M$ is defined over formal power series in the variable $h$ by letting $A=e^{h/4}$. For a compact oriented surface $F$, it is shown that $K(F \times I)$ is a quantization of the…

In this paper we define Martin-L\"{o}f complexes to be algebras for monads on the category of (reflexive) globular sets which freely add cells in accordance with the rules of intensional Martin-L\"{o}f type theory. We then study the…