The Degree and Order of Polynomials in a Contracted Length Semigroup Ring R[S]

Size: px
Start display at page:

Download "The Degree and Order of Polynomials in a Contracted Length Semigroup Ring R[S]"

Transcription

1 International Journal of Algebra, Vol. 2, 2008, no. 18, The Degree and Order of Polynomials in a Contracted Length Semigroup Ring R[S] Ronnason Chinram and Kittima Pattamavilai Department of Mathematics, Faculty of Science Prince of Songkla University, Hat Yai Songkhla 90112, Thailand ronnason.c@psu.ac.th Abstract In this paper, we generalize some properties of the degree and the order of polynomials in R[x]. Mathematics Subject Classification: 12Y05, 16R50 Keywords: Polynomials, degree, order 1 Introduction and Preliminaries Let R be a ring. f is said to be a polynomial in x with coefficients in R if f is the form of sum f = a n x n where a n R for all n N {0} n=0 such that a n = 0 for all but a finite number of indices n. Let R[x] be the set of all polynomials in x with coefficients in R. We have that R[x] is a ring under usual addition and multiplication of polynomials. A ring R[x] is called the ring of polynomials in x with coefficients in R or the polynomial ring (see [4]). Let f R[x] where f 0. The degree of f is max{n a n 0}. The degree of f is denoted by deg f. The order of f is min{n a n 0}. The order of f is denoted by ord f. The following theorem is well-known. Theorem 1.1 Let R be a ring and f,g R[x] {0}. The following statements are true.

2 882 R. Chinram and K. Pattamavilai (i) fg =0or deg (fg) deg f + deg g. (ii) f + g =0or deg (f + g) max{deg f, deg g}. (iii) If deg f deg g, then deg(f + g) =max{deg f, deg g}. (iv) fg =0or ord (fg) ord f + ord g. (v) f + g =0or ord (f + g) min{ord f, ord g}. (vi) If ord f ord g, then ord(f + g) =min{ord f, ord g}. Our aim of this paper is to generalize Theorem 1.1. Let R be a ring and S be a semigroup. f is said to be a polynomial on S with coefficients in R if f is the form of finite sum f = a s s where s S and a s R. Let R[S] be the set of all polynomials on S with coefficients in R. For any f = a s s and g = s s, define binary operations + and on R[S] by b f + g = a s s + b s s = (a s + b s )s and f g =( a s s)( b s s)= (a s b s )ss. s S Then R[S] is a ring under these two binary operations. A ring R[S] is called a contracted semigroup ring. In [1], Chinram has given some properties of the degree and the order of polynomials in R[F 1 A ] where F A is a free semigroup generated by a nonempty set A and F 1 A = F A {1} (can see the definition of free semigroups in [3]). A semigroup S is called a length semigroup if there exists a function L : S N {0} such that L(xy) =L(x) +L(y) for all x, y S. The following theorem holds. Theorem 1.2 Let S be a length semigroup. The following statements hold. (i) If S has a zero 0, then L(x) =0for all x S. (ii) If e is an idempotent of S, then L(e) =0. (iii) If S has an identity 1, then L(1) = 0. Proof. (i) We have that L(0) = L(0 x) =L(0) + L(x) for all x S. Thus L(x) = 0 for all x S. (ii) Let e be an idempotent of S. Then L(e) = L(e 2 ) = L(e) +L(e). Therefore L(e) = 0. (iii) It follows by (ii). In this paper, we give some properties of the degree and the order of polynomials in R[S] where S is a length semigroup. In the remainder of this paper, let R be a ring and S be a length semigroup.

3 The degree and order of polynomials The degree of polynomials in R[S] Let f R[S] {0}. The degree of f is max{l(s) a s 0}. The degree of f is denoted by deg f. The two following theorems hold. Theorem 2.1 Let f,g R[S] {0}. Then fg =0or deg fg deg f + deg g. Proof. Let f = a s s and g = s s be nonzero polynomials in R[S]. b Then fg = (a s b s )ss. Assume fg 0. Thus s S deg fg = max{l(ss ) a s b s 0} = max{l(s)+l(s ) a s b s 0} max{l(s)+l(s ) a s 0 and b s 0} max{l(s) a s 0} + max{l(s ) b s 0} = deg f + deg g. Therefore fg = 0 or deg fg deg f + deg g. Theorem 2.2 Let f,g R[S] {0}. Then f + g =0or deg (f + g) max{deg f, deg g}. Proof. Let f = a s s and g = s s be nonzero polynomials in R[S]. b Assume that deg f = n and deg g = m. Case 1 : m>n. We have that f + g = (a s + b s )s + b s s.,l(s) n,l(s)>n Then deg(f+g) = max{l(s) b s 0} = m = max{n, m} = max{deg f,deg g}. Case 2 : m<n. We have that f + g = (a s + b s )s + a s s.,l(s) m,l(s)>m So deg(f + g) = max{l(s) a s 0} = n = max{n, m} = max{deg f,deg g}. Case 3 : m = n. We have that f + g = (a s + b s )s. Case 3.1 : f = g. Then f + g =0. Case 3.2 : f g. Then deg(f + g) max{deg f,deg g}. Therefore f + g = 0 or deg(f + g) max{deg f,deg g}, as required. The following corollary follows by the proof of Case 1 and Case 2 of Theorem 2.2. Corollary 2.3 Let f,g R[S] {0}. Ifdegf deg g, then deg (f + g) = max{deg f, deg g}.

4 884 R. Chinram and K. Pattamavilai 3 The order of polynomials in R[S] For f R[S] {0}, let the order of f be min{l(s) a s 0}. The order of f is denoted by ord f. The two following theorems are true. Theorem 3.1 Let f,g R[S] {0}. Then fg =0or ord fg ord f + ord g. Proof. Let f = a s s and g = s s be nonzero polynomials in R[S]. b Then fg = (a s b s )ss. Assume fg 0. Therefore s S ord fg = min{l(ss ) a s b s 0} = min{l(s)+l(s ) a s b s 0} min{l(s)+l(s ) a s 0 and b s 0} min{l(s) a s 0} + min{l(s ) b s 0} = ord f + ord g. Hence fg = 0 or ord fg ord f + ord g. Theorem 3.2 Let f,g R[S] {0}. Then f + g =0or ord (f + g) min{ord f, ord g}. Proof. Let f = a s s and g = s s be nonzero polynomials in R[S]. b Assume that ord f = n and ord g = m. Case 1 : m>n. We have that f + g = (a s + b s )s + a s s.,l(s) m,l(s)<m So ord (f + g) = min{l(s) a s 0} = n = min{n, m} = min{ord f,ord g}. Case 2 : m<n. We have that f + g = (a s + b s )s + b s s.,l(s) n,l(s)<n Thus ord (f+g) = min{l(s) b s 0} = m = min{n, m} = min{ord f,ord g}. Case 3 : m = n. We have that f + g = (a s + b s )s. Case 3.1 : f = g. Then f + g =0. Case 3.2 : f g. Then ord (f + g) min{ord f,ord g}. Therefore f + g = 0 or ord (f + g) min{ord f,ord g}, as required. The following corollary follows by the proof of Case 1 and Case 2 of Theorem 3.2. Corollary 3.3 Let f,g R[S] {0}. Ifordf ord g, then ord (f + g) = min{ord f, ord g}.

5 The degree and order of polynomials Remarks In this section, we give some interesting remarks. Remark 4.1 Let S = {x n n N {0}} be a semigroup under multiplication. Define L : S N {0} by L(x n )=n for all n N {0}. It is easy to see that R[S] is R[x]. Moreover, the degree and the order of polynomials in R[S] is the degree and the order of polynomials in R[x]. By Remark 4.1, we know that the degree and the order of polynomials in R[S] generalize the degree and the order of polynomials in R[x]. Remark 4.2 Let F A be a free semigroup generated by a nonempty set A, FA 1 = F A {1} and R be an integral domain. Let L : FA 1 N {0} defined by L(1) = 0 and for s = a 1 a 2 a n F A where a i A, L(s) =n. The following theorem is well-known (can see the proof in [1]). Theorem 4.1 [1] Let R be an integral domain and f,g R[FA 1 ]{0}. The following statements are true. (i) deg (fg)=deg f + deg g. (ii) If deg f deg g, then deg (f + g) =max{deg f, deg g}. (iii) ord (fg)=ord f + ord g. (iv) If ord f ord g, then ord (f + g) =min{ord f, ord g}. Moreover, we have that the ring R[FA 1 ] has no zero divisor. To generalize this, let R(F 1 A)={ f g f,g R[F 1 A] and g 0}. It is easy to prove that R(FA 1 ) is a ring under usual addition and multiplication of rational polynomials. Let f g R(F A 1) {0}. Let the degree of f be deg f deg g and the order g of f g be ord f ord g. The degree and order of f g are denoted by deg(f g ) and ord ( f ), respectively. The following theorems are true. g Theorem 4.2 Let R be an integral domain and f 1 R(FA 1 ) {0}. Then deg ( f 1 g 1 f2 g 2 )=deg f 1 g 1 + deg f 2 g 2.

6 886 R. Chinram and K. Pattamavilai Proof. We have deg( f 1 f2 ) = deg( f 1f 2 ) = deg(f 1 f 2 ) deg( )= deg(f 1 ) + deg(f 2 ) deg(g 1 ) deg(g 2 ) = (deg(f 1 ) deg(g 1 )) + (deg(f 2 ) deg(g 2 )) = deg f 1 + deg f 2. Theorem 4.3 Let R be an integral domain and f 1 R(FA 1 ) {0}. If deg (f 1 g 2 ) deg (g 1 f 2 ), then deg ( f 1 + f 2 )=max{deg f 1, deg f 2 }. Proof. We have deg ( f 1 + f 2 ) = deg( f 1g 2 + g 1 f 2 ) = deg(f 1 g 2 + g 1 f 2 ) deg( ) = max{deg(f 1 g 2 ), deg(g 1 f 2 )} deg( ) = max{deg(f 1 g 2 ) deg( ), deg(g 1 f 2 ) deg( )} = max{deg(f 1 ) deg(g 1 ), deg(f 2 ) deg(g 2 )} = max{deg f 1 g 1, deg f 2 g 2 }. Therefore the theorem is proved. Theorem 4.4 Let R be an integral domain and f 1 R(FA 1 ) {0}. Then ord ( f 1 f2 )=ord f 1 + ord f 2. Proof. It is similar to the proof of Theorem 4.2. Theorem 4.5 Let R be an integral domain and f 1 R(FA 1 ) {0}. If ord (f 1 g 2 ) ord (g 1 f 2 ), then ord ( f 1 + f 2 )=min{ord f 1,ord f 2 }. Proof. It is similar to the proof of Theorem 4.3. References [1] R. Chinram, The degree and the order of polynomials in the ring R[F 1 A ], Songklanakarin Journal of Science and Technology 29(2007), [2] P. A. Grillet, Algebra, John Wiley & Sons, Inc., New York, 1999.

7 The degree and order of polynomials 887 [3] J. M. Howie, An introduction to semigroup theory, Academic Press, London, [4] T. W. Hungerford, Algebra, Springer-Verlag, New York, Received: May 22, 2008

International Mathematical Forum, 3, 2008, no. 26, Ronnason Chinram

International Mathematical Forum, 3, 2008, no. 26, Ronnason Chinram International Mathematical Forum, 3, 2008, no. 26, 1253-1259 A Note on Quasi-Ideals in Γ-Semirings 1 Ronnason Chinram Department of Mathematics, Faculty of Science Prince of Songkla University, Hat Yai,

More information

Section III.6. Factorization in Polynomial Rings

Section III.6. Factorization in Polynomial Rings III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)

More information

MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS. Contents 1. Polynomial Functions 1 2. Rational Functions 6

MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS. Contents 1. Polynomial Functions 1 2. Rational Functions 6 MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS PETE L. CLARK Contents 1. Polynomial Functions 1 2. Rational Functions 6 1. Polynomial Functions Using the basic operations of addition, subtraction,

More information

Math 547, Exam 2 Information.

Math 547, Exam 2 Information. Math 547, Exam 2 Information. 3/19/10, LC 303B, 10:10-11:00. Exam 2 will be based on: Homework and textbook sections covered by lectures 2/3-3/5. (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

CHAPTER 10: POLYNOMIALS (DRAFT)

CHAPTER 10: POLYNOMIALS (DRAFT) CHAPTER 10: POLYNOMIALS (DRAFT) LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN The material in this chapter is fairly informal. Unlike earlier chapters, no attempt is made to rigorously

More information

MATH 433 Applied Algebra Lecture 22: Semigroups. Rings.

MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. Groups Definition. A group is a set G, together with a binary operation, that satisfies the following axioms: (G1: closure) for all elements g and

More information

Invertible Matrices over Idempotent Semirings

Invertible Matrices over Idempotent Semirings Chamchuri Journal of Mathematics Volume 1(2009) Number 2, 55 61 http://www.math.sc.chula.ac.th/cjm Invertible Matrices over Idempotent Semirings W. Mora, A. Wasanawichit and Y. Kemprasit Received 28 Sep

More information

Minimal Quasi-Ideals of Generalized Transformation Semigroups

Minimal Quasi-Ideals of Generalized Transformation Semigroups International Mathematical Forum, 3, 2008, no. 25, 1241-1252 Minimal Quasi-Ideals of Generalized Transformation Semigroups Ronnason Chinram Prince of Songkla University, Department of Mathematics Faculty

More information

Congruences and Residue Class Rings

Congruences and Residue Class Rings Congruences and Residue Class Rings (Chapter 2 of J. A. Buchmann, Introduction to Cryptography, 2nd Ed., 2004) Shoichi Hirose Faculty of Engineering, University of Fukui S. Hirose (U. Fukui) Congruences

More information

8 Appendix: Polynomial Rings

8 Appendix: Polynomial Rings 8 Appendix: Polynomial Rings Throughout we suppose, unless otherwise specified, that R is a commutative ring. 8.1 (Largely) a reminder about polynomials A polynomial in the indeterminate X with coefficients

More information

HILBERT FUNCTIONS. 1. Introduction

HILBERT FUNCTIONS. 1. Introduction HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each

More information

Polynomial Rings : Linear Algebra Notes

Polynomial Rings : Linear Algebra Notes Polynomial Rings : Linear Algebra Notes Satya Mandal September 27, 2005 1 Section 1: Basics Definition 1.1 A nonempty set R is said to be a ring if the following are satisfied: 1. R has two binary operations,

More information

COMMUTATIVE RINGS. Definition 3: A domain is a commutative ring R that satisfies the cancellation law for multiplication:

COMMUTATIVE RINGS. Definition 3: A domain is a commutative ring R that satisfies the cancellation law for multiplication: COMMUTATIVE RINGS Definition 1: A commutative ring R is a set with two operations, addition and multiplication, such that: (i) R is an abelian group under addition; (ii) ab = ba for all a, b R (commutative

More information

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings D-MATH Algebra I HS 2013 Prof. Brent Doran Exercise 11 Rings: definitions, units, zero divisors, polynomial rings 1. Show that the matrices M(n n, C) form a noncommutative ring. What are the units of M(n

More information

Primitive Ideals of Semigroup Graded Rings

Primitive Ideals of Semigroup Graded Rings Sacred Heart University DigitalCommons@SHU Mathematics Faculty Publications Mathematics Department 2004 Primitive Ideals of Semigroup Graded Rings Hema Gopalakrishnan Sacred Heart University, gopalakrishnanh@sacredheart.edu

More information

1. Algebra 1.5. Polynomial Rings

1. Algebra 1.5. Polynomial Rings 1. ALGEBRA 19 1. Algebra 1.5. Polynomial Rings Lemma 1.5.1 Let R and S be rings with identity element. If R > 1 and S > 1, then R S contains zero divisors. Proof. The two elements (1, 0) and (0, 1) are

More information

r-ideals of Commutative Semigroups

r-ideals of Commutative Semigroups International Journal of Algebra, Vol. 10, 2016, no. 11, 525-533 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2016.61276 r-ideals of Commutative Semigroups Muhammet Ali Erbay Department of

More information

THE formal definition of a ternary algebraic structure was

THE formal definition of a ternary algebraic structure was A Study on Rough, Fuzzy and Rough Fuzzy Bi-ideals of Ternary Semigroups Sompob Saelee and Ronnason Chinram Abstract A ternary semigroup is a nonempty set together with a ternary multiplication which is

More information

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series. 6 Polynomial Rings We introduce a class of rings called the polynomial rings, describing computation, factorization and divisibility in such rings For the case where the coefficients come from an integral

More information

ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston

ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston Undergraduate abstract algebra is usually focused on three topics: Group Theory, Ring Theory, and Field Theory. Of the myriad

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

Lecture 2: Gröbner Basis and SAGBI Basis

Lecture 2: Gröbner Basis and SAGBI Basis Lecture 2: Gröbner Basis and SAGBI Basis Mohammed Tessema Suppose we have a graph. Suppose we color the graph s vertices with 3 colors so that if the vertices are adjacent they are not the same colors.

More information

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

More information

The Riemann Hypothesis for Function Fields

The Riemann Hypothesis for Function Fields The Riemann Hypothesis for Function Fields Trevor Vilardi MthSc 952 1 Function Fields Let F = F q be the finite field with q elements (q is a prime power). Definiton 1. Let K/F (x) be an extension of F.

More information

MTH310 EXAM 2 REVIEW

MTH310 EXAM 2 REVIEW MTH310 EXAM 2 REVIEW SA LI 4.1 Polynomial Arithmetic and the Division Algorithm A. Polynomial Arithmetic *Polynomial Rings If R is a ring, then there exists a ring T containing an element x that is not

More information

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)

More information

Skew Cyclic Codes Of Arbitrary Length

Skew Cyclic Codes Of Arbitrary Length Skew Cyclic Codes Of Arbitrary Length Irfan Siap Department of Mathematics, Adıyaman University, Adıyaman, TURKEY, isiap@adiyaman.edu.tr Taher Abualrub Department of Mathematics and Statistics, American

More information

Handout - Algebra Review

Handout - Algebra Review Algebraic Geometry Instructor: Mohamed Omar Handout - Algebra Review Sept 9 Math 176 Today will be a thorough review of the algebra prerequisites we will need throughout this course. Get through as much

More information

Maximum exponent of boolean circulant matrices with constant number of nonzero entries in its generating vector

Maximum exponent of boolean circulant matrices with constant number of nonzero entries in its generating vector Maximum exponent of boolean circulant matrices with constant number of nonzero entries in its generating vector MI Bueno, Department of Mathematics and The College of Creative Studies University of California,

More information

Exact Arithmetic on a Computer

Exact Arithmetic on a Computer Exact Arithmetic on a Computer Symbolic Computation and Computer Algebra William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville, IN 47933 Tuesday 21 September 2010

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

Further linear algebra. Chapter II. Polynomials.

Further linear algebra. Chapter II. Polynomials. Further linear algebra. Chapter II. Polynomials. Andrei Yafaev 1 Definitions. In this chapter we consider a field k. Recall that examples of felds include Q, R, C, F p where p is prime. A polynomial is

More information

Polynomial Rings. i=0

Polynomial Rings. i=0 Polynomial Rings 4-15-2018 If R is a ring, the ring of polynomials in x with coefficients in R is denoted R[x]. It consists of all formal sums a i x i. Here a i = 0 for all but finitely many values of

More information

Represented Value Sets for Integral Binary Quadratic Forms and Lattices

Represented Value Sets for Integral Binary Quadratic Forms and Lattices Southern Illinois University Carbondale OpenSIUC Articles and Preprints Department of Mathematics 2007 Represented Value Sets for Integral Binary Quadratic Forms and Lattices A. G. Earnest Southern Illinois

More information

Mathematical Olympiad Training Polynomials

Mathematical Olympiad Training Polynomials Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,

More information

Linear Algebra, 3rd day, Wednesday 6/30/04 REU Info:

Linear Algebra, 3rd day, Wednesday 6/30/04 REU Info: Linear Algebra, 3rd day, Wednesday 6/30/04 REU 2004. Info: http://people.cs.uchicago.edu/laci/reu04. Instructor: Laszlo Babai Scribe: Richard Cudney Rank Let V be a vector space. Denition 3.. Let S V,

More information

The primitive root theorem

The primitive root theorem The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under

More information

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,

More information

On Zeros of a Polynomial in a Finite Grid: the Alon-Füredi Bound

On Zeros of a Polynomial in a Finite Grid: the Alon-Füredi Bound On Zeros of a Polynomial in a Finite Grid: the Alon-Füredi Bound John R. Schmitt Middlebury College, Vermont, USA joint work with Anurag Bishnoi (Ghent), Pete L. Clark (U. Georgia), Aditya Potukuchi (Rutgers)

More information

Resultants. Chapter Elimination Theory. Resultants

Resultants. Chapter Elimination Theory. Resultants Chapter 9 Resultants 9.1 Elimination Theory We know that a line and a curve of degree n intersect in exactly n points if we work in the projective plane over some algebraically closed field K. Using the

More information

The Relation and Minimal bi ideals in Γ semigroups

The Relation and Minimal bi ideals in Γ semigroups EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 7, No. 1, 2014, 77-85 ISSN 1307-5543 www.ejpam.com The Relation and Minimal bi ideals in Γ semigroups Islam Braja 1, Petraq Petro 2, 1 Department of

More information

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 31, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Symbolic Adjunction of Roots When dealing with subfields of C it is easy to

More information

A Note on Quasi and Bi-Ideals in Ordered Ternary Semigroups

A Note on Quasi and Bi-Ideals in Ordered Ternary Semigroups Int. Journal of Math. Analysis, Vol. 6, 2012, no. 11, 527-532 A Note on Quasi and Bi-Ideals in Ordered Ternary Semigroups Thawhat Changphas 1 Department of Mathematics Faculty of Science Khon Kaen University

More information

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0

More information

QUADRATIC RESIDUE CODES OVER Z 9

QUADRATIC RESIDUE CODES OVER Z 9 J. Korean Math. Soc. 46 (009), No. 1, pp. 13 30 QUADRATIC RESIDUE CODES OVER Z 9 Bijan Taeri Abstract. A subset of n tuples of elements of Z 9 is said to be a code over Z 9 if it is a Z 9 -module. In this

More information

2 ALGEBRA II. Contents

2 ALGEBRA II. Contents ALGEBRA II 1 2 ALGEBRA II Contents 1. Results from elementary number theory 3 2. Groups 4 2.1. Denition, Subgroup, Order of an element 4 2.2. Equivalence relation, Lagrange's theorem, Cyclic group 9 2.3.

More information

Fast Polynomial Multiplication

Fast Polynomial Multiplication Fast Polynomial Multiplication Marc Moreno Maza CS 9652, October 4, 2017 Plan Primitive roots of unity The discrete Fourier transform Convolution of polynomials The fast Fourier transform Fast convolution

More information

Downloaded from

Downloaded from Question 1: Exercise 2.1 The graphs of y = p(x) are given in following figure, for some polynomials p(x). Find the number of zeroes of p(x), in each case. (i) (ii) (iii) Page 1 of 24 (iv) (v) (v) Page

More information

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

More information

WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS

WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References

More information

Bulletin of the Transilvania University of Braşov Vol 10(59), No Series III: Mathematics, Informatics, Physics, 67-82

Bulletin of the Transilvania University of Braşov Vol 10(59), No Series III: Mathematics, Informatics, Physics, 67-82 Bulletin of the Transilvania University of Braşov Vol 10(59), No. 1-2017 Series III: Mathematics, Informatics, Physics, 67-82 IDEALS OF A COMMUTATIVE ROUGH SEMIRING V. M. CHANDRASEKARAN 3, A. MANIMARAN

More information

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials Outline MSRI-UP 2009 Coding Theory Seminar, Week 2 John B. Little Department of Mathematics and Computer Science College of the Holy Cross Cyclic Codes Polynomial Algebra More on cyclic codes Finite fields

More information

On components of vectorial permutations of F n q

On components of vectorial permutations of F n q On components of vectorial permutations of F n q Nurdagül Anbar 1, Canan Kaşıkcı 2, Alev Topuzoğlu 2 1 Johannes Kepler University, Altenbergerstrasse 69, 4040-Linz, Austria Email: nurdagulanbar2@gmail.com

More information

Solutions to Assignment 3

Solutions to Assignment 3 Solutions to Assignment 3 Question 1. [Exercises 3.1 # 2] Let R = {0 e b c} with addition multiplication defined by the following tables. Assume associativity distributivity show that R is a ring with

More information

ON THE RING OF CONSTANTS FOR DERIVATIONS OF POWER SERIES RINGS IN TWO VARIABLES

ON THE RING OF CONSTANTS FOR DERIVATIONS OF POWER SERIES RINGS IN TWO VARIABLES ON THE RING OF CONSTANTS FOR DERIVATIONS OF POWER SERIES RINGS IN TWO VARIABLES BY LEONID MAKAR - LIMANOV DETROIT) AND ANDRZEJ NOWICKI TORUŃ) Abstract. Let k[[x, y]] be the formal power series ring in

More information

which are not all zero. The proof in the case where some vector other than combination of the other vectors in S is similar.

which are not all zero. The proof in the case where some vector other than combination of the other vectors in S is similar. It follows that S is linearly dependent since the equation is satisfied by which are not all zero. The proof in the case where some vector other than combination of the other vectors in S is similar. is

More information

On KS-Semigroup Homomorphism

On KS-Semigroup Homomorphism International Mathematical Forum, 4, 2009, no. 23, 1129-1138 On KS-Semigroup Homomorphism Jocelyn S. Paradero-Vilela and Mila Cawi Department of Mathematics, College of Science and Mathematics MSU-Iligan

More information

GRÖBNER BASES AND POLYNOMIAL EQUATIONS. 1. Introduction and preliminaries on Gróbner bases

GRÖBNER BASES AND POLYNOMIAL EQUATIONS. 1. Introduction and preliminaries on Gróbner bases GRÖBNER BASES AND POLYNOMIAL EQUATIONS J. K. VERMA 1. Introduction and preliminaries on Gróbner bases Let S = k[x 1, x 2,..., x n ] denote a polynomial ring over a field k where x 1, x 2,..., x n are indeterminates.

More information

Prime and irreducible elements of the ring of integers modulo n

Prime and irreducible elements of the ring of integers modulo n Prime and irreducible elements of the ring of integers modulo n M. H. Jafari and A. R. Madadi Department of Pure Mathematics, Faculty of Mathematical Sciences University of Tabriz, Tabriz, Iran Abstract

More information

A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ

A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ NICOLAS FORD Abstract. The goal of this paper is to present a proof of the Nullstellensatz using tools from a branch of logic called model theory. In

More information

A Primer on Sizes of Polynomials. and an Important Application

A Primer on Sizes of Polynomials. and an Important Application A Primer on Sizes of Polynomials and an Important Application Suppose p is a prime number. By the Fundamental Theorem of Arithmetic unique factorization of integers), every non-zero integer n can be uniquely

More information

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients

More information

Notes 6: Polynomials in One Variable

Notes 6: Polynomials in One Variable Notes 6: Polynomials in One Variable Definition. Let f(x) = b 0 x n + b x n + + b n be a polynomial of degree n, so b 0 0. The leading term of f is LT (f) = b 0 x n. We begin by analyzing the long division

More information

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Math 2070BC Term 2 Weeks 1 13 Lecture Notes Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic

More information

Basic Algebra. Final Version, August, 2006 For Publication by Birkhäuser Boston Along with a Companion Volume Advanced Algebra In the Series

Basic Algebra. Final Version, August, 2006 For Publication by Birkhäuser Boston Along with a Companion Volume Advanced Algebra In the Series Basic Algebra Final Version, August, 2006 For Publication by Birkhäuser Boston Along with a Companion Volume Advanced Algebra In the Series Cornerstones Selected Pages from Chapter I: pp. 1 15 Anthony

More information

ZARISKI TOPOLOGY FOR SECOND SUBHYPERMODULES

ZARISKI TOPOLOGY FOR SECOND SUBHYPERMODULES ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (554 568) 554 ZARISKI TOPOLOGY FOR SECOND SUBHYPERMODULES Razieh Mahjoob Vahid Ghaffari Department of Mathematics Faculty of Mathematics Statistics

More information

ANNIHILATOR IDEALS IN ALMOST SEMILATTICE

ANNIHILATOR IDEALS IN ALMOST SEMILATTICE BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 7(2017), 339-352 DOI: 10.7251/BIMVI1702339R Former BULLETIN

More information

Cross Connection of Boolean Lattice

Cross Connection of Boolean Lattice International Journal of Algebra, Vol. 11, 2017, no. 4, 171-179 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2017.7419 Cross Connection of Boolean Lattice P. G. Romeo P. R. Sreejamol Dept.

More information

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 6 Unique Factorization Domains 1. Let R be a UFD. Let that a, b R be coprime elements (that is, gcd(a, b) R ) and c R. Suppose that a c and b c.

More information

(Rgs) Rings Math 683L (Summer 2003)

(Rgs) Rings Math 683L (Summer 2003) (Rgs) Rings Math 683L (Summer 2003) We will first summarise the general results that we will need from the theory of rings. A unital ring, R, is a set equipped with two binary operations + and such that

More information

Rings. Chapter Homomorphisms and ideals

Rings. Chapter Homomorphisms and ideals Chapter 2 Rings This chapter should be at least in part a review of stuff you ve seen before. Roughly it is covered in Rotman chapter 3 and sections 6.1 and 6.2. You should *know* well all the material

More information

FACTOR GRAPH OF NON-COMMUTATIVE RING

FACTOR GRAPH OF NON-COMMUTATIVE RING International Journal of Advanced Research in Engineering and Technology (IJARET) Volume 9, Issue 6, November - December 2018, pp. 178 183, Article ID: IJARET_09_06_019 Available online at http://www.iaeme.com/ijaret/issues.asp?jtype=ijaret&vtype=9&itype=6

More information

On the torsion graph and von Neumann regular rings

On the torsion graph and von Neumann regular rings Filomat 26:2 (2012), 253 259 DOI 10.2298/FIL1202253M Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat On the torsion graph and von

More information

Math 3450 Homework Solutions

Math 3450 Homework Solutions Math 3450 Homework Solutions I have decided to write up all the solutions to prolems NOT assigned from the textook first. There are three more sets to write up and I am doing those now. Once I get the

More information

Polynomial Rings. (Last Updated: December 8, 2017)

Polynomial Rings. (Last Updated: December 8, 2017) Polynomial Rings (Last Updated: December 8, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from Chapters

More information

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R

More information

Dividing Polynomials: Remainder and Factor Theorems

Dividing Polynomials: Remainder and Factor Theorems Dividing Polynomials: Remainder and Factor Theorems When we divide one polynomial by another, we obtain a quotient and a remainder. If the remainder is zero, then the divisor is a factor of the dividend.

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

Definition For a set F, a polynomial over F with variable x is of the form

Definition For a set F, a polynomial over F with variable x is of the form *6. Polynomials Definition For a set F, a polynomial over F with variable x is of the form a n x n + a n 1 x n 1 + a n 2 x n 2 +... + a 1 x + a 0, where a n, a n 1,..., a 1, a 0 F. The a i, 0 i n are the

More information

THE SEMIGROUP βs APPLICATIONS TO RAMSEY THEORY

THE SEMIGROUP βs APPLICATIONS TO RAMSEY THEORY THE SEMIGROUP βs If S is a discrete space, its Stone-Čech compactification βs can be described as the space of ultrafilters on S with the topology for which the sets of the form A = {p βs : A p}, where

More information

Serge Ballif January 18, 2008

Serge Ballif January 18, 2008 ballif@math.psu.edu The Pennsylvania State University January 18, 2008 Outline Rings Division Rings Noncommutative Rings s Roots of Rings Definition A ring R is a set toger with two binary operations +

More information

MATH 304 Linear Algebra Lecture 8: Vector spaces. Subspaces.

MATH 304 Linear Algebra Lecture 8: Vector spaces. Subspaces. MATH 304 Linear Algebra Lecture 8: Vector spaces. Subspaces. Linear operations on vectors Let x = (x 1, x 2,...,x n ) and y = (y 1, y 2,...,y n ) be n-dimensional vectors, and r R be a scalar. Vector sum:

More information

ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE

ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE Alessandro De Paris Università degli studi di Napoli Federico II Dipartimento di Matematica e Applicazioni R. Caccioppoli Complesso Monte

More information

On the BMS Algorithm

On the BMS Algorithm On the BMS Algorithm Shojiro Sakata The University of Electro-Communications Department of Information and Communication Engineering Chofu-shi, Tokyo 182-8585, JAPAN Abstract I will present a sketch of

More information

Left Bipotent Seminear-Rings

Left Bipotent Seminear-Rings International Journal of Algebra, Vol. 6, 2012, no. 26, 1289-1295 Left Bipotent Seminear-Rings R. Perumal Department of Mathematics Kumaraguru College of Technology Coimbatore, Tamilnadu, India perumalnew

More information

Injective semigroup-algebras

Injective semigroup-algebras Injective semigroup-algebras J. J. Green June 5, 2002 Abstract Semigroups S for which the Banach algebra l (S) is injective are investigated and an application to the work of O. Yu. Aristov is described.

More information

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup

More information

Chapter 1. Wedderburn-Artin Theory

Chapter 1. Wedderburn-Artin Theory 1.1. Basic Terminology and Examples 1 Chapter 1. Wedderburn-Artin Theory Note. Lam states on page 1: Modern ring theory began when J.J.M. Wedderburn proved his celebrated classification theorem for finite

More information

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication. Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions

More information

Co-intersection graph of submodules of a module

Co-intersection graph of submodules of a module Algebra and Discrete Mathematics Volume 21 (2016). Number 1, pp. 128 143 Journal Algebra and Discrete Mathematics RESEARCH ARTICLE Co-intersection graph of submodules of a module Lotf Ali Mahdavi and Yahya

More information

Fast Algebraic Immunity of 2 m + 2 & 2 m + 3 variables Majority Function

Fast Algebraic Immunity of 2 m + 2 & 2 m + 3 variables Majority Function Fast Algebraic Immunity of 2 m + 2 & 2 m + 3 variables Majority Function Yindong Chen a,, Fei Guo a, Liu Zhang a a College of Engineering, Shantou University, Shantou 515063, China Abstract Boolean functions

More information

LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS

LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS Definition 0.1. Let R be a domain. We say that R is normal (integrally closed) if R equals the integral closure in its fraction field Q(R). Proposition 0.2.

More information

THE NUMBERS THAT CAN BE REPRESENTED BY A SPECIAL CUBIC POLYNOMIAL

THE NUMBERS THAT CAN BE REPRESENTED BY A SPECIAL CUBIC POLYNOMIAL Commun. Korean Math. Soc. 25 (2010), No. 2, pp. 167 171 DOI 10.4134/CKMS.2010.25.2.167 THE NUMBERS THAT CAN BE REPRESENTED BY A SPECIAL CUBIC POLYNOMIAL Doo Sung Park, Seung Jin Bang, and Jung Oh Choi

More information

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R. Rings 10-26-2008 A ring is an abelian group R with binary operation + ( addition ), together with a second binary operation ( multiplication ). Multiplication must be associative, and must distribute over

More information

ON THE SEMIPRIMITIVITY OF CYCLIC CODES

ON THE SEMIPRIMITIVITY OF CYCLIC CODES ON THE SEMIPRIMITIVITY OF CYCLIC CODES YVES AUBRY AND PHILIPPE LANGEVIN Abstract. We prove, without assuming the Generalized Riemann Hypothesis, but with at most one exception, that an irreducible cyclic

More information

Parametric euclidean algorithm

Parametric euclidean algorithm Theoretical Mathematics & Applications, vol.3, no.3, 2013, 13-21 ISSN: 1792-9687 (print), 1792-9709 (online) Scienpress Ltd, 2013 Parametric euclidean algorithm Ali Ayad 1, Ali Fares 2 and Youssef Ayyad

More information

Polynomial Ideals. Euclidean algorithm Multiplicity of roots Ideals in F[x].

Polynomial Ideals. Euclidean algorithm Multiplicity of roots Ideals in F[x]. Polynomial Ideals Euclidean algorithm Multiplicity of roots Ideals in F[x]. Euclidean algorithms Lemma. f,d nonzero polynomials in F[x]. deg d deg f. Then there exists a polynomial g in F[x] s.t. either

More information

Solutions to Homework 1. All rings are commutative with identity!

Solutions to Homework 1. All rings are commutative with identity! Solutions to Homework 1. All rings are commutative with identity! (1) [4pts] Let R be a finite ring. Show that R = NZD(R). Proof. Let a NZD(R) and t a : R R the map defined by t a (r) = ar for all r R.

More information

ZERO-DIMENSIONALITY AND SERRE RINGS. D. Karim

ZERO-DIMENSIONALITY AND SERRE RINGS. D. Karim Serdica Math. J. 30 (2004), 87 94 ZERO-DIMENSIONALITY AND SERRE RINGS D. Karim Communicated by L. Avramov Abstract. This paper deals with zero-dimensionality. We investigate the problem of whether a Serre

More information

A division algorithm

A division algorithm A division algorithm Fred Richman Florida Atlantic University Boca Raton, FL 33431 richman@fau.edu Abstract A divisibility test of Arend Heyting, for polynomials over a eld in an intuitionistic setting,

More information