Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Show that the set of all real numbers of the form $a_0 + a_1\pi + a_2\pi^2 +\cdots+ a_n\pi^n$ with $n≥0$ and $a_i ∈ \mathbb{Z}$ is a subring of $R$ that contains $\mathbb{Z}$ and $\pi$.

Proof. We show that the set of all real numbers of the form $a_0 + a_1\pi + a_2\pi^2 +\cdots+ a_n\pi^n$ (call it the set $A$) contains $\mathbb{Z}$, $\pi$, and the set is closed under subtraction and multiplication of its elements.

Take $a_1 = 1$ and $(a_n)_{n \in \{0\} \cup \mathbb{N} \setminus \{1\}}$. Then $\pi$ is in $A$.

Consider the set $D = \{\pi^n : n \in \mathbb{N}\}$. It becomes evident this can be re-written as $aD = Da : a \in A$. $A$ clearly has a bijection with $\mathbb{Z}$.

Another way to show this is to construct a function $g$ such that it sends $\pi^n$ to $1$. Thus we will make $g: D \twoheadrightarrow 1$. In this fashion I want to show I can use the function $g$ on $C$ to get it to correspond to $c_0 + c_1 + c_2 + \dots + c_n$. In this sense we can correspond to each $c_i$ a natural number. Since the naturals share the same cardinality with the integers, we are done.

Comment: I am annoyed at how I had to use set theory to arrive at my answer. Perhaps there is a better way, algebraically?

To show that $A$ is closed under subtraction, take any real number $a_0 + a_1\pi + a_2\pi^2 +\cdots+ a_n\pi^n$ in $A$ and subtract $b_0 + b_1\pi + b_2\pi^2 +\cdots+ b_n\pi^n$ (also in $A$) from it to get $$(a_0 - b_0) + (a_1 - b_1)\pi + (a_2 - b_2)\pi^2 +\cdots+ (a_n - b_n)\pi^n$$

Clearly subtraction of integers yields an integer, and since $\mathbb{Z}$ is contained in $A$, $A$ is closed under subtraction.

For multiplication, I have no idea. It gets quite messy in my head.


Questions. First off, what is it called when a set contains a ring? Is it called an ideal? Or a coset? For example, when I said "We show that the set of all real numbers of the form $a_0 + a_1\pi + a_2\pi2 +\cdots+ a_n\pi^n$ (call it the set $A$) contains $Z$". I know $a_i \in Z$ and I have seen examples like $bZ = Zb : b \in B$ but I don't know what that's called.

Secondly, what is $\mathbb{Z}$ called? A ring? What is $\mathbb{Z} \mod 2$ called? An ideal in the ring? Just making sure.

Lastly, how was my proof written - subjectively, what did you like and dislike about the proof? Is it correct in its entirety?

share|cite|improve this question
up vote 2 down vote accepted

You seem to be confused about various definitions :

  1. The set $$ A := \{a_0 + a_1\pi + a_2\pi^2 + \ldots + a_n\pi^n : a_i \in \mathbb{Z}\} $$ forms a ring because, as you say, it forms a group under addition, and for any $$ a = \sum_{i=0}^n a_i\pi^i, \text{ and } b:= \sum_{j=0}^m b_j\pi^j $$ you have $$ ab = \sum_{k=0}^{n+m} c_k\pi^k, \text{ where } c_k = \sum_{i=0}^k a_ib_{k-i} $$ This is called a "Cauchy product" of two polynomials.

  2. $\mathbb{Z}$ is a ring, $\mathbb{Z}/2\mathbb{Z}$ is a quotient ring (not an ideal).

share|cite|improve this answer
    
Okay, so suppose I have a function $\phi : R[x] \to R$ and it maps each polynomial in the domain to its constant term. Clearly it is a surjective homomorphism and not one-to-one since we can have $\mathbb{R}\_{2\mathbb{R}}[x]$ and $\mathbb{R}\_{3\mathbb{R}}[x]$ and pick two elements and show it is operation preserving. Correct? – Don Larynx Oct 28 '13 at 6:16
    
It isn't injective, because $1+x$ and $1+2x$ map to the same element, but what do you mean by $\mathbb{R}_2\mathbb{R}[x]$? – Prahlad Vaidyanathan Oct 28 '13 at 7:07
    
polynomials with constants 2 and 3. – Don Larynx Oct 28 '13 at 12:34

For subtraction, you did it perfectly. For multiplication you need to do some algebra:

we know that $a_0 + a_1\pi + a_2\pi^2 +\cdots+ a_n\pi^n$ is in our set and, if we take $b_0 + b_1\pi + b_2\pi^2 +\cdots+ b_n\pi^n$ to be another member of our set, we get that : \begin{align}(a_0 + a_1\pi + a_2\pi^2 +& \cdots+ a_n\pi^n)(b_0 + b_1\pi + b_2\pi^2 +\cdots+ b_n\pi^n)\\ &= (a_0b_0) + \pi(a_0 b1 + b_0 a_1) + \pi^2(a_2 b_0 + b_2a_0 + a_1b_1) + \cdots + (a_nb_n)\pi^{2n} \end{align}

Verify that the coefficients of this product are integers, and that the product is in the set, and you are finished

share|cite|improve this answer
    
Could you please try to reformat this in MathJax? It would make it much easier to understand. – Antonios-Alexandros Robotis Feb 18 at 5:34

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.