1: \begin{definition}

2: \label{k(p)}

3: Given $\mathfrak{p}$, consider 

4: first $R_{\mathfrak{p}}$, the arithmetic

5: localization of $R$ at $\mathfrak{p}$, as an $E_{\infty}$-$R$-algebra using 

6: \cite[Theorem 2.2]{EKMM} or \cite[\S 8.2.4]{higheralg}.

7: Then consider the $R$-module $K(

8: \mathfrak{p})$ defined as

9: \[ K( \mathfrak{p}) = R_{\mathfrak{p}}/(x_1, \dots, x_n)

10: \stackrel{\mathrm{def}}{=} R_{\mathfrak{p}}/x_1 \wedge_R

11: R_{\mathfrak{p}}/x_2 \wedge_R \dots \wedge_R R_{\mathfrak{p}}/x_n

12: ,  \]

13: where $R/x$ for $x \in \pi_0 R$ denotes the cofiber of $x\colon R \to R$,

14: so that 

15: \[ K( \mathfrak{p})_* \simeq k( \mathfrak{p})[t^{\pm 1}], \quad |t| = 2.  \]

16: By the results of \cite{angeltveit}, it follows that $K(\mathfrak{p})$ admits the structure of

17: an $A_\infty$-algebra internal to $\md(R)$. \end{definition}

18: