1000/1000

Hot
Most Recent

Submitted Successfully!

Thank you for your contribution! You can also upload a video entry or images related to this topic.

Do you have a full video?

Are you sure to Delete?

Cite

If you have any further questions, please contact Encyclopedia Editorial Office.

Voskoglou, M. Iterared Skew Polynomial Rings. Encyclopedia. Available online: https://encyclopedia.pub/entry/3612 (accessed on 11 December 2023).

Voskoglou M. Iterared Skew Polynomial Rings. Encyclopedia. Available at: https://encyclopedia.pub/entry/3612. Accessed December 11, 2023.

Voskoglou, Michael. "Iterared Skew Polynomial Rings" *Encyclopedia*, https://encyclopedia.pub/entry/3612 (accessed December 11, 2023).

Voskoglou, M.(2020, December 16). Iterared Skew Polynomial Rings. In *Encyclopedia*. https://encyclopedia.pub/entry/3612

Voskoglou, Michael. "Iterared Skew Polynomial Rings." *Encyclopedia*. Web. 16 December, 2020.

Copy Citation

Skew polynomial rings used to be, especially during the 1970’s and 1980’s, a popular topic of the modern abstract Algebra with great theoretical interest. The researchers’ attention about them has renewed recently, due to the important applications that they have found to the study of Quantum Groups and to Cryptography. The present work studies a special class of iterated skew polynomial rings over a ring R, defined with respect to a finite set of pairwise commuting derivations of R.

Skew polynomial rings (SPR),terated SPR (ISPR),derivations

The history of Science shows that progress in mathematics is achieved in two ways. The first way is connected to the effort of applying mathematics to solve real world problems, or problems of the everyday life. Frequently, however, the already known mathematical theories are proved to be not suitable or enough to solve the corresponding problems. In such cases the scientists are forced to develop new mathematics in order to overcome the existing difficulties. Characteristic examples of this case are the recently developed theories of *Fuzzy Sets* ^{[1]} and of *Chaotic Dynamics and Fractals *^{[2]}^{[3]}, which have found important applications in many sectors of the human activity.

The second way of progress in mathematics concerns pure mathematical research, i.e. the process of “doing mathematics for mathematics". The amazing thing in this case, however, is that usually theories developed through pure mathematical research, find, sometimes many years after their initial appearance, successful and often unsuspected applications to real situations. As an example, the *non-Euclidean Geometries*, developed on a purely theoretical basis by Lobachevsky, Riemann and others during the 19^{th} century (e.g. ^{[4]}, Section 3) helped later Einstein to prove his famous *Relativity Theory*, which has replaced the Newton’s classical theory of gravity for the existing great masses and distances in the Universe (outside the Earth) ^{[5]}. Another example is the *Knot theory*, initiated from a false model for the description of the atom’s theory, which however proved later to be the key for understanding the basic mechanisms of the DNA!

Examples analogous to the previous two can be found in abundance in the history of mathematics. The Nobel Prize winner E.P. Winger has characterized this phenomenon as “the unreasonable effectiveness of Mathematics in the Natural Sciences”, a characterization which is widely known as the* Winger’s enigma* ^{[4]}. This phenomenon rises a question which has occupied for centuries, and still occupies, the interest of philosophers, mathematicians and other scientists: Is actually Mathematics INVENTED or DISCOVERED by humans? The great ancient Greek philosopher Plato introduced the idea of the existence of an abstract “Universe of Mathematics”, parts of which are eventually discovered by humans. His theory, usually referred as *Platonism*, despite the blows that has received during the centuries by the development of several mathematical theories and the opposite views of many other philosophers, social thinkers and scientists, has still many supporters in our times ^{[4]}.

The present study focuses on *Skew Polynomial Rings (SPRs), *a topic of abstract Algebra which can be considered also as an example of the Winger’s enigma.* *SPR have been firstly introduced by Ore ^{[6]} in 1933 over a division ring R and that is why they are also called *Ore extensions*. Those rings were initially used as counter examples, but eventually a great attention was given to them and many papers were written, especially during the 1970’s and 1980’s, since it was realized that they have an important theoretical interest.

The researchers’ interest about SPRs has been renewed recently, because they have found two important applications. The first application is related to the use of *quantum groups* as a tool of Theoretical Physics. It is recalled that a quantum groups is a Hopf algebra having in addition a structure analogous to that of a Lee group ^{[7]}. It has been observed that most of these algebras can be expressed in the form of a SPR.

The second application concerns the use of SPRs in* coding theory*. More explicitly, Jatengaokar ^{[8]} studied in detail the structure of monomorphism skewed polynomial rings over semi-simple rings showing that they are direct sums of matrix rings. Jatengaokar’s structure theorem for SPRs has been recently used in coding theory to analyze the structure of certain convolutional codes. For the same purpose, Jatengaokar’s results hav ^{[9]}.

The rest of the present article is organized as follows: Section 2 includes the definitions and some examples of SPRs and of *Iterated SPRs (ISPRs)*, i.e. SPRs in finitely many variables. In Section 3 a special class of ISPRs is introduced over a ring R with respect to a finite set of pairwise commuting derivations of R, some important properties of the ISPRs of this class are presented, and examples are given. The paper closes with the final conclusions, which are stated in Section 4.

Let R be a ring with identity. In order to define a SPR over R, we extend the notion of a derivation of R as follows:

**Definition 2.1: **Let *f* and *g* be endomorphisms of R and let *d*: R R be a map satisfying, for all a, b in R, the properties:

*d(a+b)=d(a)+d(b)**d(ab)= g(a)d(b)+d(a)f(b)*.

Then d is called a *(f,g)-derivation* of R.

If both *f* and *g* are identity maps, then *d* becomes a classical *derivation* of R. Also, if only *g* is the identity map, then *d* is called an *f-derivation* of R or a *skew derivation* of R defined with respect to *f*.

Let now *f* be a monomorphism of R and let *d* be an *f*-derivation of R. Then we define a SPR over R as follows:

**Definition 2.2: **Consider the set S of all polynomials in one variable, say x, over R. Define addition in S in the usual way and multiplication by the distributive law with respect to addition and by the by the rule

*xr=f(r)x+d(r)* (1).

Then it is straightforward to check that S becomes a ring, called a *skew* (or *twisted) polynomial ring* over R and denoted by R[*x; f, d*].

In Definition 2.2, f has been considered to be a monomorphism__,__ and not a simple endomorphism of R, just to block the case for x to be a zero divisor of S. In fact, if there were r_{1} r_{2 }in R such that f(r_{1})=f(r_{2}), then by equation (1) we should have

*x(r _{1}-r_{2})=xr_{1}-xr_{2}=f(r_{1})x+d(r_{1})-[f(r_{2})x+d(r_{2})}=d(r_{1}-r_{2}).*

Therefore, if *r _{1}-r_{2}*

If f is the identity map, then S is denoted by R[*x; d*] and is called a SPR *of derivation type* over R. Then equation (1) gives, for all r in R, that

xr = rx + d(r) (2).

Using equation (2) and applying induction on *n* one finds, for all r in R and all positive integers *n*, that

*(3)*

Also, if d is the zero derivation of R, then the SPR S is denoted by R[*x; f*], where multiplication is defined, for all r in R, by the distributive law and the equation

*xr = f(r)x ** *(5)

Applying induction on *n* one finds from equation (5) that, for all r in R and all positive integers *n*, is

*x ^{n}r = f^{n}(r)x^{n}*

**Example 2.3: **Let** ***T[x _{1}]* be a polynomial ring over a ring

*x _{1}t=tx_{1}*,

Next, following ^{[10]} one can define an ISPR over R as follows:

**Definition 2.4: **Let *S _{1}=R[x_{1}; f_{1}, d_{1}]* be a SPR over the ring

Keep the same notation and set *S _{0}=R. *Consider the finite sets

When all the elements of *H* are identity maps, then *S _{n}*

**Examples 2.5: **

**(i) **The first Weyl algebra *A _{1}(T)* over a ring

**(ii) **Set** ***R = A_{1}(T)*. Then the first Weyl algebra

*A _{2}(T)= A_{1}[A_{1}(T)]=T[x_{1}][x_{2}; *

**(iii) **Consider the set of all polynomials in n+1 variables, say *x _{1},x_{2},…, x_{n},x_{n+1}*, over a ring

In this section, given a finite set *D* of *pairwise commuting* derivations of R, we shall construct an ISPR *R[x; D] *of derivation type over R. For this, we need the following lemma:

**Lemma 3.1: **Let *R* be a ring, let *d* be a derivation of *R*, let *S=R[x; d]* be the SPR over *R* defined with respect to *d*, and let *d _{1}* be another derivation of

*Proof: *Assume first that d_{1} can be extended to a derivation of *S* by *d _{1}(x)=0*. Then, for all

Then, by equation (2) we have that * **d _{1}(xr)=d_{1}[rx+d(r)]=d_{1}(rx)+ d_{1}[d(r)] *

*= d _{1}(r)x+*

Conversely assume that *d _{1}od= =dod_{1}.* Then, if

But, as before, we find that *d _{1}(xr)=d_{1}(r)x+*

We are ready now to prove the following theorem:

**Theorem 3.2:** Let *R* be a ring, and let *D={d _{1},d_{2},….,d_{n}}* be a finite set of derivations of

*x _{i}r=rx_{i}+d_{i}(r)* for all

Then *S _{i}* is a SPR of derivation type) over

*Proof: *Assume first that the elements of *D* commute to each other. Obviously *S _{1}=R[x_{1}; d_{1}]* is a SPR over R. We apply induction on n. For this, assume that

Let now be an element of *S _{n-1}*, with in

Thus *S _{n}=S_{n-1}[x_{n}; d_{n}]* is a SPR over

Conversely, assume that *S _{i}* is a SPR over

Further, given r in R we have that *x _{i}r=rx_{i}+d_{i}(r)*. Therefore

Theorem 2.2 shows that, if the derivations of *D* commute to each other, then *S _{n}=R[x; D],* with addition defined in the usual way and multiplication by the rules (10) and the distributive law, is an ISPR of derivation type over R.

In a more general context, one can define an ISPR over R of the form *R[x; H, D]* with *H* a finite set of monomorphisms of *R *and *D *a finite set of skew derivations of *R* defined with respect to the monomorphisms of *H, *provided that all these maps commute pairwise to each other (^{[11]}, Theorem 2.4).

The following example illustrates Theorem 3.2:

**Example 3.3: **Let *R=T[y _{1},y_{2},….,y_{n}]* be a polynomial ring over a ring

Set *D*={ , ,…., }. Since the elements of *R *are polynomials with coefficients in *T*, their partial derivatives are continuous functions. Therefore, by the Young’s classical theorem of differential calculus, the derivations of *D* commute to each other.

Consider the set* S _{n}* of all polynomials in n variables, say

*hx _{i}=x_{i}h+*

Then, by Theorem 3.2, *S _{n}=R[x; D]* is an ISPR of derivation type over the polynomial ring

**Remarks 3.4:**

d_{i} o d = d o d _{I},_{ }for all i, j=1,2,…,n. In fact, given r in R, we have

*r* = x ] = *(x _{i}r)x_{j }+ x_{i}d_{j}(r)* =

**ii)**If there exist, however,*x’s*in*S*not commuting to each other, this does not mean that the same must happen with the derivations of_{n}*D*. An example illustrating this situation is the n-th Weyl algebra*A*over a ring_{n}(T)*T*,*n**A*are polynomials over_{n}(T)*T*and therefore, as we have shown above, the derivations of*D*commute to each other, whereas the*x’s*don’t commute (Example 2.3).

**iii)** SPRs in finitely many variables over a ring R, not necessarily commuting to each other, with respect to a finite set of derivations of R have been firstly introduced by Kishimoto ^{[12]}. In those SPRs, which need not be ISPRs over *R*, multiplication is defined by the first (only) of rules (10) and the distributive law.

We shall close this article by mentioning some important properties of the special class of ISPRs defined in this Section, which have been proved in earlier works of the present author. For this, it is necessary to recall the following definitions:

**Definition 3.5: **A derivation *d *of a ring *R* is called an *inner derivation* induced by an element *s* of R, if *d(r)=sr-rs, *for all *r* in R. A derivation of *R* which is not inner is called an *outer derivation***.**

Note also that an outer derivation of *R* is possible to be extendable to an inner derivation of a SPR of derivation type over R. For example, *d=** * is an outer derivation of the polynomial ring R=*T[x _{1}]* over a ring

**Definition 3.6: **Let R be a ring and let D be a set of derivations of R. Then an ideal I of R is called a *D-ideal*, if d(I) I for all derivations d in D , and R is called a *D-simple ring* if it has no non trivial D-ideals.

Every D-simple ring R contains the field *F= C(R)** **ker d]*, where *C(R)* denotes the center of R, therefore R is either of characteristic zero or of a prime number p. Non commutative D-simple rings exist in abundance, e.g. every simple ring R is D-simple for any set D of derivations of R. Characteristic examples of commutative D-simple rings can be found in ^{[13]}.

**Definition 3.7: **Let *D* be a set of derivations of a ring *R*. Then, a *D*- ideal *I* of *R* is called *D-prime ideal*, if, given any two *D*-ideals *A, B* of *R* such that *AB* *I*, is either *A*** **, or *B* ** ****. **Also, I is called** ***D-semiprime ideal*, if for all *D*-ideals *A* of *R* and any positive integer k such that *A ^{k}* , is A .

**Remarks 3.8: **

**(i) **Let *R* be a ring of characteristic zero and let *D={d _{1},……, d_{n}}* be a finite set of derivations of R commuting to each other. Set

Conversely, if *S _{n}=R[x; D]* is a simple ring, then no element of

Analogous results, with a little bit more complicated statement, hold if *R* is of prime characteristic (^{[15]}, Theorems 2.3 and 2.4).

As an immediate consequence of the previous results, if *R* is a commutative ring, then *S _{n}=R[x; D]* is a simple ring, if, and only if,

** (ii) **Let *R*, *D and S _{n} *be as in the previous remark. Then, if

The study of SPRs** **used to be of great theoretical importance for the abstract Algebra some decades ago, but the recent renewal of interest about them is due to the fact that they have found practical applications too. In this work** **a special class of ISPRs over a ring R with respect to a finite set D of pairwise commuting derivations of R was constructed. The simplicity of those ISPRs is connected to the D-simplicity of R and their prime ideals correspond to D-prime ideals of R. The attempt to obtain further properties of those ISPRs with respect to corresponding properties of R could be a good hint for future research on the subject.

- Zadeh, L.A., Fuzzy Sets, Information and Control, 1965, 8(3), 338–353.
- Mandelbrot, Benoit, B., The Fractal Geometry of Nature, W. H. Freeman and Company, 1983
- Peitgen, H.-O., Jurgens, H. & Saupe, D., Chaos and Fractals: New Frontiers of Science, Springer-Verlag, 1992.
- Voskoglou, M.Gr., Studying the Winger’s “Enigma” about the Unreasonable Effectiveness of Mathematics in the Natural Sciences, American Journal of Applied Mathematics and Statistics, 2017, 5(3), 95-100.
- Athanassopoulos, E. and Voskoglou, M.Gr., A Philosophical Treatise on the Connection of Scientific Thinking with Fuzzy Logic, Mathematics, 2020, 8, 875.
- Ore, O., Theory of noncommutative polynomials, Ann. of Math., 1933, 34, 480-503.
- Majid, S., What is a Quantum group? Notices of the American Math. Soc., 2006, 53, 30-31.
- Jategaonkar, V., Skew Polynomial Rings over Semisimple Rings, Journal of Algebra, 1971, 19, 315-328.
- Lopez-Permouth, S., Matrix Representations of Skew Polynomial Ring with Semisimple Coefficient Rings, Contemporary Mathematics, 2009, 480, 289-295.
- Goodearl, K.R. & Warfield, Jr., An Introduction to Noncommutative Noetherian Rings, Second Edition, Cambridge University Press, Cambridge, 2004.
- Voskoglou, M. Gr., Extending derivations and endomorphisms to skew polynomial rings, Inst. Math. (Beograd), 1986, 39 (53), 79-82.
- Kishimoto, K., On abelian extensions of simple rings, Fuc. Sci., 1967, Hokkaido Univ., 20, 53-78.
- Voskoglou, M. Gr., Differential simplicity and dimension of a commutative ring, Mat. Univ. Parma, 2001, (6), 4, 111-119.
- Voskoglou, M. Gr., Simple skew polynomial rings, Inst. Math. (Beograd), 1985, 37 (51), 37-41.
- Voskoglou, M. Gr., A note on skew polynomial rings, Inst. Math.(Beograd), 1994, 55 (69), 23-28.
- Voskoglou, M. Gr., Prime ideals of skew polynomial rings, Mat. Univ. Parma, 1989, (4),15, 17-25.
- Voskoglou, M. Gr., Semiprime ideals of skew polynomial rings, Inst. Math. (Beograd), 1990, 47 (61), 33-38.

More

Information

Subjects:
Others

Contributor
MDPI registered users' name will be linked to their SciProfiles pages. To register with us, please refer to https://encyclopedia.pub/register
:

View Times:
578

Update Date:
17 Dec 2020