Rings of the form R[X] - Ring Adjunction

In summary: Anyway, the point is that when we want to commute a ring S with a transcendental ring \alpha, we require the existence of an evaluation morphism \phi: S[x] \to S[\alpha] such that:\phi(f(x)) = f(\alpha).This is what is called a "ring-homomorphism."]In summary, on page 6 in R.Y. Sharp's book, "Steps in Commutative Algebra", he states that if R is a commutative ring and X is an indeterminate, then the earlier use of R[X] to denote the polynomial ring is consistent with
  • #1
Math Amateur
Gold Member
MHB
3,998
48
I am reading R.Y Sharp's book: "Steps in Commutative Algebra".

On page 6 in 1.11 Lemma, we have the following: [see attachment]

"Let S be a subring of the ring R, and let [TEX] \Gamma [/TEX] be a subset of R.

Then [TEX] S[ \Gamma ] [/TEX] is defined as the intersection of all subrings of R which contain S and [TEX] \Gamma [/TEX].

Thus, [TEX] S[ \Gamma ] [/TEX] is a subring of R which contains both S and [TEX] \Gamma [/TEX], and it is the smallest such subring of R in the sense that it is contained in every other subring of R that contains S and [TEX] \Gamma [/TEX].

In the special case in which [TEX] \Gamma [/TEX] is a finite set [TEX] \{ \alpha_1, \alpha_2, ... ... , \alpha_n \} [/TEX] we write [TEX] S[ \Gamma ] [/TEX] as [TEX] S [ \alpha_1, \alpha_2, ... ... , \alpha_n ] [/TEX].

In the special case in which S is commutative, and [TEX] \alpha \in R [/TEX] is such that [TEX] \alpha s = s \alpha [/TEX] for all [TEX] s \in S [/TEX] we have

[TEX] S[ \alpha ] = \{ \ {\sum}_{i = 0}^{t} s_i \alpha^i : t \in {\mathbb{N}}_0 \ s_0, s_1, ... ... , s_t \in S \} [/TEX] ......... (1)------------------------------------------------------------------------------------------------------------------------------------

Then on page 7 Sharp writes:

Note that when R is a commutative ring and X is an indeterminate, then it follows from 1.11 Lemma that our earlier use of R[X] to denote the polynomial ring is consistent with this new use of R[X] to denote 'ring adjunction'.

-------------------------------------------------------------------------------------------------------------------------------------

Now in the polynomial ring R[X] we take a subset of ring elements [TEX] a_1, a_2, ... ... , a_n \in R [/TEX] and use an indeterminate x (whatever that is?) to form sums like the following:

[TEX] a_n x^n + a_{n-1} + ... ... + a_1x + a_0 [/TEX] .......... (2)My problems are as follows:

(a) It looks like (1) and (2) have the same structure BUT [TEX] \alpha [/TEX] is a member of the ring R, and also the subring S whereas x is not a member of R but is an "indeterminate" [maybe I am overthinking this and it does not matter??] Can someone please clarify this matter?

(b) Again, (1) and (2) seem to have the same structure BUT [TEX] a_1, a_2, ... ... , a_n \in R [/TEX] is just a subset of R - whereas [TEX] s_0, s_1, ... ... , s_t [/TEX] are elements of a subring. Does this matter? Can someone please clarify?

(c) Sharp specifies that S has to be commutative - but why? I cannot see how this is needed in his Proof on the bottom of page 6. Can someone help.

I would be grateful if someone can clarify the above.

Peter

[Note: This has also been posted on MHF]
 
Physics news on Phys.org
  • #2
We always have the (canonical) surjective ring-homomorphism:

\(\displaystyle \phi: S[x] \to S[\alpha] \subseteq R\) given by:

\(\displaystyle \phi(f(x)) = f(\alpha)\).

If \(\displaystyle \alpha\) is transcendental over \(\displaystyle S\) (that is, there is NO non-zero polynomial \(\displaystyle p(x)\) in \(\displaystyle S[x]\) for which \(\displaystyle p(\alpha) = 0\)), then this is an isomorphism of \(\displaystyle S[x]\) with \(\displaystyle S[\alpha]\).

Perhaps an example might illustrate this phenomenon more clearly:

let \(\displaystyle R = \Bbb R\), the ring (actualy a field) of real numbers, let \(\displaystyle S = \Bbb Z\), the sub-ring of integers, and let \(\displaystyle \alpha = \pi\) (the ratio of a circle to its diameter). We then obtain a ring isomorphism between integral polynomials in a single variable (indeterminate) and "integral polynomials in \(\displaystyle \pi\)"(which form a sub-ring of the real numbers).

In fact, as we let \(\displaystyle \alpha\) range over the real numbers, we obtain different sub-rings of \(\displaystyle \Bbb R\)...because the quotient ring \(\displaystyle \Bbb Z[x]/(\text{ker}(\phi))\) will have different properties depending on how big the kernel is.

We desire \(\displaystyle S\) to commute with \(\displaystyle \alpha\) because then the usual "high-school" rules of polynomial multiplication hold (otherwise we would have to keep track of "coefficients on both sides" of the "indeterminates"). While this is certainly *possible* to imagine, it greatly increases the difficulty of working with such expressions. One simple way to ensure this desirable state of affairs happens is to require that \(\displaystyle S\) lies within the center of the larger ring \(\displaystyle R\).

The subtle difference between \(\displaystyle S[x]\) and \(\displaystyle S[\alpha]\) is the kind of difference between a polynomial FUNCTION \(\displaystyle p\) and it's value \(\displaystyle p(x)\) at some particular point \(\displaystyle x\) in the domain of \(\displaystyle p\). In keeping with the spirit of this, the ring-homomorphism \(\displaystyle \phi\) is often called the "evaluation morphism at \(\displaystyle \alpha\)".

Another key example: the field of complex numbers can be considered "real polynomials in \(\displaystyle i = \sqrt{-1}\)" all of which have degree at most two since:

\(\displaystyle i^2 + 1 = 0\)

effectively means all the higher powers of \(\displaystyle i\) can be reduced to either real numbers or real multiples of \(\displaystyle i\), that is, complex numbers are ALL of the form:

\(\displaystyle a + bi: a,b \in \Bbb R\)

that is:

\(\displaystyle \Bbb C \cong \Bbb R\), which is in turn ring-isomorphic to the ring:

\(\displaystyle \Bbb R[x]/(x^2 + 1)\).

Perhaps more importantly (in the general scheme of things), if a ring \(\displaystyle R\) contains a field within its center (say \(\displaystyle F\)), the ring itself can be considered a vector space over \(\displaystyle F\), using the ring-multiplication as the definition of "scalar multiple", which allows us to use tools of linear algebra to investigate the ring-structure of \(\displaystyle R\). Even if we just have a sub-ring of the center, we can still use many of the tools of module theory (which is "almost" linear algebra). One of the things mathematicians often seek to do is take some complicated structure, and find "simple building blocks" for it, with the hope that investigations into the simple building blocks will reveal heretofore hidden features of the overall structure.

So long story short: restricting our attention to commutative rings allows us to say a great deal more easily than we would be able to otherwise. If our guiding intuition for rings in general is the integers, abandoning commutativity leads to a loss of "too many things we feel ought to be true". Rest assured, there ARE those who venture into this brave world, but the special "commutative" case is *important*, and not just for historical reasons, but also because of its many applications.
 
  • #3
Deveno said:
We always have the (canonical) surjective ring-homomorphism:

\(\displaystyle \phi: S[x] \to S[\alpha] \subseteq R\) given by:

\(\displaystyle \phi(f(x)) = f(\alpha)\).

If \(\displaystyle \alpha\) is transcendental over \(\displaystyle S\) (that is, there is NO non-zero polynomial \(\displaystyle p(x)\) in \(\displaystyle S[x]\) for which \(\displaystyle p(\alpha) = 0\)), then this is an isomorphism of \(\displaystyle S[x]\) with \(\displaystyle S[\alpha]\).

Perhaps an example might illustrate this phenomenon more clearly:

let \(\displaystyle R = \Bbb R\), the ring (actualy a field) of real numbers, let \(\displaystyle S = \Bbb Z\), the sub-ring of integers, and let \(\displaystyle \alpha = \pi\) (the ratio of a circle to its diameter). We then obtain a ring isomorphism between integral polynomials in a single variable (indeterminate) and "integral polynomials in \(\displaystyle \pi\)"(which form a sub-ring of the real numbers).

In fact, as we let \(\displaystyle \alpha\) range over the real numbers, we obtain different sub-rings of \(\displaystyle \Bbb R\)...because the quotient ring \(\displaystyle \Bbb Z[x]/(\text{ker}(\phi))\) will have different properties depending on how big the kernel is.

We desire \(\displaystyle S\) to commute with \(\displaystyle \alpha\) because then the usual "high-school" rules of polynomial multiplication hold (otherwise we would have to keep track of "coefficients on both sides" of the "indeterminates"). While this is certainly *possible* to imagine, it greatly increases the difficulty of working with such expressions. One simple way to ensure this desirable state of affairs happens is to require that \(\displaystyle S\) lies within the center of the larger ring \(\displaystyle R\).

The subtle difference between \(\displaystyle S[x]\) and \(\displaystyle S[\alpha]\) is the kind of difference between a polynomial FUNCTION \(\displaystyle p\) and it's value \(\displaystyle p(x)\) at some particular point \(\displaystyle x\) in the domain of \(\displaystyle p\). In keeping with the spirit of this, the ring-homomorphism \(\displaystyle \phi\) is often called the "evaluation morphism at \(\displaystyle \alpha\)".

Another key example: the field of complex numbers can be considered "real polynomials in \(\displaystyle i = \sqrt{-1}\)" all of which have degree at most two since:

\(\displaystyle i^2 + 1 = 0\)

effectively means all the higher powers of \(\displaystyle i\) can be reduced to either real numbers or real multiples of \(\displaystyle i\), that is, complex numbers are ALL of the form:

\(\displaystyle a + bi: a,b \in \Bbb R\)

that is:

\(\displaystyle \Bbb C \cong \Bbb R\), which is in turn ring-isomorphic to the ring:

\(\displaystyle \Bbb R[x]/(x^2 + 1)\).

Perhaps more importantly (in the general scheme of things), if a ring \(\displaystyle R\) contains a field within its center (say \(\displaystyle F\)), the ring itself can be considered a vector space over \(\displaystyle F\), using the ring-multiplication as the definition of "scalar multiple", which allows us to use tools of linear algebra to investigate the ring-structure of \(\displaystyle R\). Even if we just have a sub-ring of the center, we can still use many of the tools of module theory (which is "almost" linear algebra). One of the things mathematicians often seek to do is take some complicated structure, and find "simple building blocks" for it, with the hope that investigations into the simple building blocks will reveal heretofore hidden features of the overall structure.

So long story short: restricting our attention to commutative rings allows us to say a great deal more easily than we would be able to otherwise. If our guiding intuition for rings in general is the integers, abandoning commutativity leads to a loss of "too many things we feel ought to be true". Rest assured, there ARE those who venture into this brave world, but the special "commutative" case is *important*, and not just for historical reasons, but also because of its many applications.


Thanks Deveno, most helpful ...

I need to spend some time working through this and reflecting on what you have said ...

Thanks again,

Peter
 

FAQ: Rings of the form R[X] - Ring Adjunction

1. What is a ring adjunction?

A ring adjunction is a mathematical operation that combines two rings together in a specific way. It is denoted by the symbol "R[X]" and is used to form a new ring that contains elements from both original rings.

2. How does the ring adjunction work?

The ring adjunction works by taking the original ring, denoted by "R", and adding a new element "X" to it. This new element is called an indeterminate and is used to create polynomials in the new ring. The resulting ring, denoted by "R[X]", contains all possible combinations of elements from the original ring and the indeterminate "X".

3. What is the purpose of using a ring adjunction?

The ring adjunction is primarily used in abstract algebra to study and manipulate polynomials. It allows for the creation of new rings with specific properties, which can then be used to solve equations and prove theorems in various mathematical fields.

4. Can any two rings be combined using a ring adjunction?

No, not all rings can be combined using a ring adjunction. The two rings being combined must have certain properties, such as being commutative and having a multiplicative identity. Additionally, the resulting ring may not have all the properties of the original rings, depending on the elements and operations involved.

5. How is the ring adjunction related to other algebraic structures?

The ring adjunction is closely related to other algebraic structures, such as fields, groups, and modules. In fact, many of these structures can be seen as special cases of the ring adjunction. For example, a field can be formed by taking a ring and adjoining an element with multiplicative inverse, while a group can be formed by adjoining an element with a specific set of properties.

Back
Top