$ 0 0 By $X$ you mean the $\mathbb{Q}$-linear span of $a_1,\ldots,a_n$, right? The notation suggests the subring they generate.