The unitalization case $A=J^+$ is treated in Blackadar's $K$-theory for Operator Algebras. In Proposition 5.4.1 he directly showes that $$ K_0(J^+,J)\cong\ker(K_0(J^+)\to K_0({J^+}/J)). $$
Rasmus
- 3.2k
- 1
- 25
- 41