1: \begin{definition}

2: \label{def_FrohlichTheory}Let an id\`{e}le $a=(a_{\mathfrak{p}})_{\mathfrak{p}%

3: }\in J(A)$ be given.

4: 

5: \begin{enumerate}

6: \item Then there is a unique $\mathcal{O}_{F}$-lattice \textquotedblleft%

7: $a\mathfrak{A}$\textquotedblright\ inside $A$ such that%

8: \begin{equation}

9: (a\mathfrak{A})_{\mathfrak{p}}=a_{\mathfrak{p}}\mathfrak{A}_{\mathfrak{p}}

10: \label{lciops1E}%

11: \end{equation}

12: holds for all finite places $\mathfrak{p}$ of $F$. See \cite[\S 2, Equation

13: 2.2 and Theorem 1]{MR0376619} for background.

14: 

15: \item Secondly, we write $a_{\infty}$ for the map%

16: \[

17: a_{\infty}:A_{\mathbb{R}}\overset{\sim}{\longrightarrow}A_{\mathbb{R}}%

18: \]

19: coming from those components $a_{\mathfrak{p}}$ alone for which $\mathfrak{p}$

20: runs through the infinite places of $F$.

21: \end{enumerate}

22: \end{definition}