MHB Quotient rings and homorphic images

simo1
Messages
21
Reaction score
0
am given that ϕ is a function from F(R) tp RxR defined by ϕ(f)=(f(0),f(1))
i proved that ϕ is a homomorphism from F(R) onto RxR.
i showed that
1) ϕ(f) +ϕ(g)=ϕ(f+g) [for all f,g in F(R)]
2)
ϕ(f)*ϕ(g)= ϕ(f*g)

how do i show that ϕ is onto and define the kernal??(Wasntme)
 
Physics news on Phys.org
Re: quotient rings and homorphic images

To show that $\phi$ is onto, given $(a,b) \in \Bbb R \times \Bbb R$ you have to exhibit one (there may be more than one) $f \in F(\Bbb R)$ with $f(0) = a, f(1) = b$.

You haven't said what kind of function-space $F(\Bbb R)$ is: in fact, I am only guessing that by R you mean the real numbers.

I suspect that the function $f(x) = (b-a)x + a$ will do the trick, but in order for us to help you, we need YOU to define your terms. We all aren't using YOUR textbook, or lecture notes.

The kernel of $\phi$ is all $f \in F(\Bbb R)$ such that $f(0) = f(1) = 0$. That's about as specific as I can get without more information.
 
Re: quotient rings and homorphic images

Deveno said:
To show that $\phi$ is onto, given $(a,b) \in \Bbb R \times \Bbb R$ you have to exhibit one (there may be more than one) $f \in F(\Bbb R)$ with $f(0) = a, f(1) = b$.

You haven't said what kind of function-space $F(\Bbb R)$ is: in fact, I am only guessing that by R you mean the real numbers.

I suspect that the function $f(x) = (b-a)x + a$ will do the trick, but in order for us to help you, we need YOU to define your terms. We all aren't using YOUR textbook, or lecture notes.

The kernel of $\phi$ is all $f \in F(\Bbb R)$ such that $f(0) = f(1) = 0$. That's about as specific as I can get without more information.

yes by R it is real numbers. and everythin that I wrote is as it is on the texbook. are there options here on mathshelpboard that we can use to show real numbers, complex etc
 
Re: quotient rings and homorphic images

If you use the buttons, there is a button labeled $\Sigma$ that creates $$ tags that wrap around your text.

This let's you type expressions in Latex, which makes "pretty math symbols". For example putting:

\sqrt{x^2 + 1}

inside the tags produces:

$$\sqrt{x^2 + 1}$$

You can also enter Latex directly, by using the dollar sign as a delimiter (for in-line latex) or a double dollar sign (which produces "centered display style").

The Latex code for the "blackboard bold" font that is used for the sets you listed is either:

\mathbb{text goes here}

or the code \Bbb, for example:

\Bbb Z

inside [math] tags or dollar signs produces:

$\Bbb Z$

**********

You still haven't told us what is meant by $F(\Bbb R)$, although I guess it is a set of functions $f:\Bbb R \to \Bbb R$. Knowing which functions would be nice.
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
Back
Top