All Questions
9 questions
3
votes
2
answers
246
views
Explicit description of transfer for $K_1$
Let $R$ be a commutative regular ring and let $s \in R$ be an element such that $R / s$ is also regular. Then we have a long exact localization sequence
$$
\ldots \rightarrow K_i(R/s) \rightarrow K_i(...
1
vote
0
answers
151
views
$K_1(k[x]/(x^2))$ for a field $k$
$\DeclareMathOperator\GL{GL}$The definition of $K_1$ is stated in "The K-book" by Charles Weibel as a quotient of $\GL(R)$, where $\GL(R)$ is the union of the sequence $R^{ \times} = \GL_1(R)...
- 167
5
votes
1
answer
273
views
Examples of noetherian local rings $R$ such that $K'_0(R)$ is not isomorphic to $\mathbb Z$
Does there exist a simple example of a commutative noetherian local ring $R$ such that $K'_0(R) = K_0(\mbox{Mod-}R)$ (by $\mbox{Mod-}R$ I mean the abelian category of finitely generated $R$-modules) ...
- 1,307
3
votes
0
answers
122
views
Is the Milnor boundary map, a natural transformation?
Consider the Milnor $K_n$-functors for discrete valuiation fields. For any discrete valuation field $F$ we can associate an abelian group $K_n(F)$ and the construction is given thanks a universal ...
- 1,237
2
votes
1
answer
268
views
Does $A\oplus M_n(R)\cong B\oplus M_n(R)$ imply $A\cong B$? $R$ Dedekind domain
Let $R$ be a Dedekind domain and $A, B$ be finitely generated projective $M_n(R)$-modules. Is it true that
$A\oplus M_n(R)\cong B\oplus M_n(R)\:\:\Rightarrow\:\:A\cong B$?
Here, the isomorphism is ...
- 348
3
votes
1
answer
236
views
For $T$ the $2\times 2$ triangular matrices over $R$, can we write $GL_2(T)=U(T)E_2(T)$?
Let $R$ be a commutative ring with identity, and let $T = T_2(R)$ be the ring of $2\times 2$ upper triangular matrices over $R$. Is it true that the following identity holds?
$$GL_2(T)=U(T)E_2(T)$$
...
- 348
16
votes
3
answers
797
views
For which rings R is SL_n(R) generated by its n-1 fundamental copies of SL_2(R)?
By "fundamental copies" of $SL_2(R)$ in $SL_n(R)$, I mean those embedded along the diagonal (for instance, if $n=3$, those are the upper left and lower right corner copies of $SL_2(R)$ embedded in $...
- 563
9
votes
0
answers
260
views
Is the generation of rings by their units a question in K-theory?
Susan's question When can number rings be spanned (as $\mathbb{Z}$-modules) by units? smells like an algebraic K-theory question in disguise. I'll reformulate the question first:
Given an integral ...
- 13.3k
12
votes
2
answers
657
views
Maps between K-groups induced by rings homomorphism
Let $f: R\to S$ be a map between two commutative Noetherian rings. Let $G_0(R)=K_0(mod R)$ be the Grothendieck group of finite generated modules over $R$. It means $G_0(R)$ is the quotient of the free ...
- 30.5k