All Questions
2 questions
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
6
votes
1
answer
302
views
Why is $\operatorname{nr}_{F[G]}:K_1(F[G])\to Z(F[G])^\times$ a bijection?
Let $A$ be a finite dimensional semisimple $F$-algebra and $K_1(A)$ the Whitehead group of $A$.
By splitting $A$ into its Wedderburn components, the reduced norm map $\operatorname{nr}_A:K_1(A)\to Z(...
- 255