$\mathcal M$ is a structure in language $\mathcal L$. The expanded language $\mathcal L_\mathcal M$ is obtained from $\mathcal L$ by adding a new constant $c_a$ for each $a \in |\mathcal M|$.
The theory of $\mathcal M$ is the set of sentences $\phi$ of $\mathcal L$ such that $\mathcal M \models \phi$.
The complete diagram of $\mathcal M$ is the set of sentences in the expanded language $\mathcal L_\mathcal M$ which are true in $\mathcal M$, that is the
set of sentences $\phi(c_{a_1}, \dots, c_{a_n})$ such that $\mathcal M \models \phi(a_1, \dots, a_n)$.
What is the difference between the two theories? To define $\mathcal M \models \phi$ don't we have to use the expanded language to support quantifier sentences? My understanding of satisfaction / modeling is that we have to work in the expanded language.
Best Answer
Let us say that $\mathcal{L}$ is the language of rings, and $\mathcal{M}$ is $\mathbb{R}$.
Then the theory of $\mathcal{M}$ contains (non-trivial) formulas such as $$\forall x,\forall y, \exists z, x^2+y^2=z^2$$ (a sum of squares is a square). This already contains meaningful information about $\mathbb{R}$, which is definitely not true in general structures.
But you can't refer to any specific real number in those formulas, except possibly those which are definable in the language of rings (like the rational numbers).
On the other hand, in the extended language, you can write formulas such as $$\exists x, \pi + e = x^2$$ with explicit mention of any real numbers. You can see that this formula would of course make no sense for other structures of $\mathcal{L}$, such as $\mathbb{Z}$.