# Thread: Commutative Ring, Subgroups, Subrings, Ideals

1. ## Commutative Ring, Subgroups, Subrings, Ideals

Let $\displaystyle \mathcal{F}$ be the set of functions $\displaystyle f:\mathbb{R} \ \rightarrow \ \mathbb{R}$. Given that $\displaystyle \mathcal{F}$ forms a commutative ring with indentity under (pointwise) addition and multiplication,

(a) Find a subgroup of $\displaystyle \mathcal{F}$ which is not a subring. Why?
(b) Find a subring of $\displaystyle \mathcal{F}$ which is not an ideal. Why?
(c) Find an ideal of $\displaystyle \mathcal{F}$ which is not the zero ring or $\displaystyle \mathcal{F}$. Can this ideal be written as a principal idea? Why?

2. i'll leave the "whys" for you to figure out!

Originally Posted by Jimmy_W
Let $\displaystyle \mathcal{F}$ be the set of functions $\displaystyle f:\mathbb{R} \ \rightarrow \ \mathbb{R}$. Given that $\displaystyle \mathcal{F}$ forms a commutative ring with indentity under (pointwise) addition and multiplication,

(a) Find a subgroup of $\displaystyle \mathcal{F}$ which is not a subring. Why?
set of all polynomials with coefficients in $\displaystyle \mathbb{R}$ and of degree at most 1. this is an additive subgroup which is not closed under multiplication.

(b) Find a subring of $\displaystyle \mathcal{F}$ which is not an ideal. Why?
set of all constant functions or, if you want the subring to have the identity element of $\displaystyle \mathcal{F},$ then $\displaystyle \mathbb{R}[x]$ would be an example.

(c) Find an ideal of $\displaystyle \mathcal{F}$ which is not the zero ring or $\displaystyle \mathcal{F}$. Can this ideal be written as a principal idea? Why?
fix an $\displaystyle a \in \mathbb{R}$ and define $\displaystyle I_a=\{f \in \mathcal{F}: \ f(a)=0 \}.$ this is a principal ideal. why?