Homomorphic Encryption - Smart Vercauteren Batching I'm going through Smart and Vercauteren's paper "Fully Homomorphic SIMD operations" and had a question about some notation used in the paper. 

In section 2 of the above it is stated that for each monic polynomial $F(X) \in \mathbb{F}_2[X]$ of degree $N$ that splits into $r$ distinct irreducible factors of degree $d = N/r$ viz. $F(X)=\prod_{i = 1}^{r}F_i(X)$, the polynomial $F(X)$ defines the field $\mathbb{K} = \mathbb{Q}(\theta) = \mathbb{Q}[X]/(F)$ where $\theta$ is a fixed root in the algebraic closure of the base field. 

Questions:


Should it not be stated that $\mathbb{Q}(\theta) \cong \mathbb{Q}[X]/(F)$ rather than $\mathbb{Q}(\theta) = \mathbb{Q}[X]/(F)$ ?
I assume that $\theta$ is just a root of $F(X)$ in the extension $\mathbb{Q}/\mathbb{F}_2$?
In the expression $\mathbb{Q}[X]/(F)$, is what is being referred to the

quotient of $\mathbb{Q}[X]$ by the ideal generated by $F(X)$, i.e. $\mathbb{Q}[X]/(F(X))$?
Yes, technically this is an isomorphism, so $\cong$ should be used. The isomorphism is question identifies $\theta$ with $X$.
Not quite (for the original question or your restatement).  The notation $\mathbb{Q}(\theta)$ means adjoining $\theta$, a root of $F(X)$ in the algebraic closure of $\mathbb{Q}$ (namely, $\mathbb{C}$), to $\mathbb{Q}$.  The finite field $\mathbb{F}_2$ has nothing to do with it.  (And I think $\mathbb{Q}/\mathbb{F}_2$ is meaningless, since there is no field embedding of $\mathbb{F}_2$ into $\mathbb{Q}$.)
Yes.  Such a structure is more commonly known as a number field (i.e., a finite dimensional field extension of the rationals).