Do $\Bbb Q (\sqrt 2)$ and $\Bbb Q [\sqrt 2]$ mean the same? Do $\Bbb Q (\sqrt 2)$ and $\Bbb Q [\sqrt 2]$ mean the same?
I'm trying to refer to the field of the real numbers of the form $a + b \sqrt 2$ where $a$ and $b$ are rationals.
E: I'm sorry, my question was unclear, I was using $\sqrt  2$ as an example number, but from what I read in the answers, if I choose a number like $\pi$ then $\Bbb Q (\pi)$ and $\Bbb Q [\pi]$ would be different, correct?
 A: Yes, they are the same field, although the notation $\Bbb{Q}(\sqrt{2})$ is preferred.
The reason is that if $a$ is a number or a variable and $F$ is a field, then $F[a]$ denotes the ring of polynomial elements in $a$. These are all the elements of the form
$$
\gamma_n a^n + \gamma_{n-1} a^{n-1} + \dotsb + \gamma_0
$$
with $n$ any non-zero integer and $\gamma_n,\dotsb,\gamma_0 \in F$. Note that this ring is always a domain.
On the other hand, the notation $F(a)$ denotes the field of fractions of $F[a]$, and its elements are of the form
$$
\frac{f}{g}
$$
with $f,g \in F[a]$ and $g \neq 0$. This is the smallest field that contains $F[a]$.
The thing is, whenever $a$ is algebraic over $F$ the two are the same. This is because if $a$ is algebraic then it is a root of an irreducible polynomial $\varphi \in F[X]$. You can check that
$$
F[X]/(\varphi) \simeq F[a]
$$
and this is already a field because $\varphi$ irreducible implies that the ideal $(\varphi)$ is maximal.
It is a nice exercise to check that the elements of this field are exactly the polynomials in $a$ of degree at most $\deg(\varphi)-1$. In particular, this is why $F(a)$ is a vector space of dimension $\deg(\varphi)$ over $F$ whenever $a$ is algebraic over $F$.

Note that when $a$ is transcendental over $F$, then $F[a] \subsetneq F(a)$. Indeed, in this case $F[a]$ is isomorphic to $F[X]$ as a ring, but $X$ is not invertible in $F[X]$.
A: If you have a ring $B$, a subring $A\subseteq B$ and $b\in B$, then 

$A[b]$ denotes the smallest subring of $B$ which contains both $A$ and $b$.

On the other hand, if $E$ is a field, $F\subseteq E$ a subfield and $e\in E$, then

$F(e)$ denotes the smallest subfield of $E$ which contains both $A$ and $b$.

The inclusion $\mathbb Q\subseteq\mathbb C$ is at the same time an inclusion of rings and of fields, so we can consider $\mathbb Q[\sqrt2]$ and $\mathbb Q(\sqrt2)$. It is a non-trivial fact that these two subrings of $\mathbb C$ are equal.  On the other hand, $\mathbb Q[\pi]$ and $\mathbb Q(\pi)$ are not equal.
In short, the two notations do mean different things in general, which happen to coincide in your special case.
A: In principle $\Bbb Q [\sqrt 2]$ means the ring of the expressions of the type $a + b \sqrt 2$, and $\Bbb Q (\sqrt 2)$ is the field of fractions of $\Bbb Q [\sqrt 2]$, which for us will simply mean fractions of numbers from $\Bbb Q [\sqrt 2]$, i.e. fractions like $\frac {a + b \sqrt 2} {c + d \sqrt 2}$. Remarkably, though, fractions like this can be rewritten as
$$\frac {(a + b \sqrt 2) (c - d \sqrt 2)} {(c + d \sqrt 2) (c - d \sqrt 2)} = \frac {(ac - 2bd) + (bc - ad) \sqrt 2} {c^2 - 2 d^2} = \frac {ac - 2bd} {c^2 - 2 d^2} + \frac {bc - ad} {c^2 - 2 d^2} \sqrt 2 ,$$
which is again precisely of the form $a' + b' \sqrt 2$.
This shows that in fact $\Bbb Q (\sqrt 2) \subset \Bbb Q [\sqrt 2]$ and since trivially $\Bbb Q [\sqrt 2] \subset \Bbb Q (\sqrt 2)$, the two coincide.
A: An algebraic structure is specified by two components: a signature (a list of functions and predicates) and a list of axioms. For example, one way to define a group is as follows:


*

*Signature: multiplication (a binary operation), inverse (a unary operation) and identity (a constant). We denote these by concatenation, $^{-1}$ and $e$, respectively.

*Axioms: The usual group axioms: $\forall abc (a(bc) = (ab)c)$; $\forall a (aa^{-1} = a^{-1}a = e)$; $\forall a (ea=ae=e)$.


An instance of the algebraic structure is an underlying set and a collection of functions and predicates matching the signature and satisfying the axioms. For example, the group $\mathbb{Z}_2$ (or rather, one realization of it) has the underlying set $\{0,1\}$, multiplication is defined by $0^2=1^2=0,01=10=1$, inverse is defined by $0^{-1}=0,1^{-1}=1$, and the identity by $e = 0$. We usually identify algebraic structures up to isomorphism.
In your case, $\mathbb{Q}[\sqrt{2}]$ is a ring while $\mathbb{Q}(\sqrt{2})$ is a field. This means that there is a type mismatch when asking whether $\mathbb{Q}[\sqrt{2}] = \mathbb{Q}(\sqrt{2})$. How serious this type mismatch is depends on the exact definitions of ring and field and on how formal you want to be. Here are two reasonable options:


*

*You can define a ring as an algebraic structure with addition, multiplication, negation, and additive and multiplicative identities, satisfying the ring axioms. For a field, you add reciprocal to the signature and the field axioms to the list of axioms. In this case, rings and fields have different signatures.

*You can define ring as in option 1, and field as having the same signature as ring. In order to state the field axioms, you define the reciprocal as the unique element $x^{-1}$ such that $x^{-1}x=xx^{-1}=1$ if $x \neq 0$, and (say) $0^{-1}=0$.
Under the second option, you can argue that $\mathbb{Q}[\sqrt{2}]$ is a ring that satisfies the additional axioms for fields, and so it can be considered a field.
Under the first option, technically $\mathbb{Q}[\sqrt{2}] \neq \mathbb{Q}(\sqrt{2})$ since they have a different signature; however, there is a unique way to define the reciprocal so that the resulting structure satisfies the field axioms, and once you do that, then again the structures become identical. So $\mathbb{Q}[\sqrt{2}]$ can be "typecast" to a field, and then it becomes identical with (or rather, isomorphic to) $\mathbb{Q}(\sqrt{2})$. This typecast is harmless since for every ring there is at most one way of looking at it as a field, and so no ambiguity arises.
Summarizing, our usual sloppy conventions allow us to regard $\mathbb{Q}[\sqrt{2}]$ and $\mathbb{Q}(\sqrt{2})$ as representing the same structure. However, if we are being very formal (say when using a proof assistant), then we might have to explicitly argue that $\mathbb{Q}[\sqrt{2}]$ satisfies the field axioms, or even to argue that the reciprocal exists.
A: Yes, they are same, but it's because $\mathbb{Q}$ is a field, and they are not same if you replace it by an arbitrary ring, which is not a field. In general, bracket gives the meaning "smallest ring containing the element in the bracket and the given ring", while paranthesis means "smallest field containing the element in the paranthesis and the given ring." So, when the given ring is itself a field, they're basically same.
