Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:interpretation_quotient_under_congruence [2008/04/02 22:09] vkuncak |
sav08:interpretation_quotient_under_congruence [2008/04/02 22:20] vkuncak |
||
---|---|---|---|
Line 70: | Line 70: | ||
\[ | \[ | ||
\alpha_Q(x) = [\alpha(x)] | \alpha_Q(x) = [\alpha(x)] | ||
+ | \] | ||
+ | |||
+ | **Lemma 0:** For all $x_1,\ldots,x_n \in D$, | ||
+ | \[ | ||
+ | ([x_1],\ldots,[x_n]) \in \alpha_Q(R) \mbox{ iff } (x_1,\ldots,x_n) \in \alpha(R) | ||
\] | \] | ||