Let $R$ be a domain and let $Q$ be its field of fractions. Show that the field of fractions of $R[X]$ is isomorphic to $Q(X)$.
By the way, I don't know exactly what $Q(X)$ is. It means $Q[X]$? Or $Q$ times the ideal generated by $X$ in $R[X]$?
Let $R$ be a domain and let $Q$ be its field of fractions. Show that the field of fractions of $R[X]$ is isomorphic to $Q(X)$.
By the way, I don't know exactly what $Q(X)$ is. It means $Q[X]$? Or $Q$ times the ideal generated by $X$ in $R[X]$?
Generally, $A[\alpha]$ means "the ring generated by A and $\alpha$", and $A(\alpha)$ means "the field generated by A and $\alpha$". I have only ever seen the latter when $A$ itself is a field.
In the case of an indeterminate variable $X$, $A[X]$ would be the ring of polynomials (with coefficients in $A$), and $A(X)$ would be the fraction field of $A[X]$: the field of rational functions (with coefficients in $A$).
$Q(X)$ denotes the field of fractions of $Q[X]$, which is the smallest field generated by adjoining $X$ to $Q$. Essentially, you are being asked to prove that taking the field of fractions commutes with adjoining an indeterminant.
Hint $\:$ $Q(X)$ denotes the fraction field of $Q[X]$, i.e. rational functions in $X$. By the universal property of fraction fields, the natural injection $R[X] \to Q(X)$ lifts to the fraction field of $R[X]$, and the lift is surjective, since every element of $Q(X)$ is equivalent to a fraction over $R[X]$, by scaling both numerator and denominator by a common denominator $\in R$ of all the coefficients.