1: \begin{definition}

2: We define the \emph{extended boundary map} $\hat{\delta}_{\mathfrak{A}%

3: ,\mathbb{R}}^{1}:\zeta(A_{\mathbb{R}})^{\times}\rightarrow\operatorname*{Cl}%

4: (\mathfrak{A},\mathbb{R})$ as follows: Given $y\in\zeta(A_{\mathbb{R}%

5: })^{\times}$, pick some $\lambda\in\zeta(A)^{\times}$ such that $\lambda

6: y\in\operatorname*{im}(\operatorname*{nr}\nolimits_{A_{\mathbb{R}}})$. Then

7: define%

8: \[

9: \psi_{y,\lambda}:=\left(  \prod_{p}\operatorname*{nr}\nolimits_{A_{p}}%

10: ^{-1}(\lambda),\operatorname*{nr}\nolimits_{A_{\mathbb{R}}}^{-1}(\lambda

11: y)\right)  \in K_{1}(\widehat{A})\oplus K_{1}(A_{\mathbb{R}})\text{.}%

12: \]

13: Then $\hat{\delta}_{\mathfrak{A},\mathbb{R}}^{1}(y):=\operatorname*{sum}%

14: (\psi_{y,\lambda})$, where the sum map is the one from Theorem

15: \ref{thm_reciprocity_law}.%

16: \[%

17: %%%%%

18: %\cdots\ar[r] & K_1(\mathfrak{A}) \ar[r] & K_1(A_{\mathbb{R}}) \ar[r] \ar@

19: %{^{(}->}[d]_{\operatorname{nr}_{A_{\mathbb{R}}}} & \operatorname

20: %*{Cl}(\mathfrak{A},\mathbb{R}) \\

21: %& & \zeta(A_{\mathbb{R}})^{\times} \ar@{-->}[ur]_{\hat{\delta}_{\mathfrak

22: %{A},\mathbb{R}}^{1}}

23: %}}}%

24: %%%%%%%%%%%%%

25: \xymatrix{

26: \cdots\ar[r] & K_1(\mathfrak{A}) \ar[r] & K_1(A_{\mathbb{R}}) \ar[r] \ar@

27: {^{(}->}[d]_{\operatorname{nr}_{A_{\mathbb{R}}}} & \operatorname

28: *{Cl}(\mathfrak{A},\mathbb{R}) \\

29: & & \zeta(A_{\mathbb{R}})^{\times} \ar@{-->}[ur]_{\hat{\delta}_{\mathfrak

30: {A},\mathbb{R}}^{1}}

31: }%

32: %%%%%%%%%%%%%

33: \]

34: 

35: \end{definition}