Quotient rings and homorphic images

Click For Summary

Discussion Overview

The discussion revolves around the properties of a function ϕ defined from F(R) to R×R, specifically focusing on proving that ϕ is a homomorphism and onto, as well as defining its kernel. The context includes mathematical reasoning related to quotient rings and homomorphic images.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant asserts that ϕ is a homomorphism from F(R) onto R×R and provides two properties of ϕ related to addition and multiplication of functions.
  • Another participant suggests that to show ϕ is onto, one must find a function f in F(R) such that f(0) = a and f(1) = b for any (a, b) in R×R, proposing a specific linear function as a candidate.
  • There is a request for clarification on the nature of the function space F(R), with a participant expressing uncertainty about the definitions being used.
  • Participants agree that the kernel of ϕ consists of functions f in F(R) such that f(0) = f(1) = 0, but this is contingent on the definitions of F(R) being clarified.
  • One participant mentions the use of LaTeX for mathematical expressions, indicating a need for better communication of mathematical ideas.

Areas of Agreement / Disagreement

Participants generally agree on the definition of the kernel of ϕ, but there is no consensus on the specifics of the function space F(R) or the methods to demonstrate that ϕ is onto. Multiple competing views and uncertainties remain regarding the definitions and approaches discussed.

Contextual Notes

The discussion highlights limitations related to the lack of clarity on the function space F(R) and the assumptions underlying the definitions of the functions involved. The need for specific definitions and context is emphasized by multiple participants.

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.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
1
Views
3K
  • · Replies 13 ·
Replies
13
Views
1K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
1
Views
3K
  • · Replies 7 ·
Replies
7
Views
1K