Prove proposition 68. It states: Let R be a ring. We have the following

Size: px
Start display at page:

Download "Prove proposition 68. It states: Let R be a ring. We have the following"

Transcription

1 Theorem HW7.1. properties: Prove proposition 68. It states: Let R be a ring. We have the following 1. The ring R only has one additive identity. That is, if 0 R with 0 +b = b+0 = b for every b R, then 0 = The ring R only has one multiplicative identity. That is, if 1 R with 1 b = b1 = b for every b R, then 1 = For every a R, there is only one additive inverse of a. That is, if b R with a+b = b+a = 0, then b = a. 4. For every a R, the additive inverse of the additive inverse of a is a itself. That is, ( a) = a. 5. For every a R, then the additive inverse of a is the product of the additive inverse of 1 and a. That is, ( 1)a = a. In particular, ( 1) 2 = More generally, for any a, b R, then ( a)b = ab = a( b). Note: There are two things to prove here! 7. For every a R, we have a 0 = 0 a = The cancellation law for addition holds. That is, if a, b, c R with a + b = a + c, then b = c. 9. The additive inverse of a sum is the sum of the additive inverses. That is, for a,b R, we have (a + b) = a + b. 10. For a,b,c R, if ab = ba = 1 and ac = 1, then b = c. Proof. 1. Since 0 is an additive identity, we have 0 = 0+0. Since 0 is an additive identity, we have = 0. By transitivity of equality, we have 0 = Since 1 is a multiplicative identity, we have 1 = 1 1. Since 1 is a multiplicative identity, we have 1 1 = 1. By transitivity of equality, we have 1 = Suppose b and b are both additive inverses of a. Then, b = b + 0 so that b = b as desired. by additive identity = b + (a + b ) as b is an additive inverse of a = (b + a) + b by associativity of addition = 0 + b as b is an additive inverse of a = b by additive identity Page 1 of 5

2 4. We have that a + a = a + ( a) = 0 as a is the additive inverse of a. This means that a is an additive inverse of a. Since ( a) is the additive inverse of a, we have that a + ( ( a)) = ( a) + ( a) = 0. By the uniqueness of additive inverses (see #3), we have that a = ( a) as desired. 5. By the uniqueness of additive inverses, it suffices to show that ( 1)a + a = a + ( 1)a = 0. We have the first equality by the commutativity of addition, so we show the second holds. We have, a + ( 1)a = 1 a + ( 1) a by multiplicative identity = (1 + ( 1)) a by distributivity = 0 a by additive inverses = 0 by # 7 so that both equalities hold and ( 1)a = a as they are both additive inverses of a. Moreover, ( 1) 2 = ( 1)( 1) so letting a = 1, we see that ( 1) 2 is the additive inverse of 1, which is 1 by part # For the first equality, we have ( a)b = (( 1)a)b by # 5 = ( 1)(ab) by associativity of multiplication = ab by # 5. For the second equality, we show that a( b) is an additive inverse of ab so that ab = a( b) by part # 3. We have, ab+a( b) = a( b)+ab = a( b+b) = a 0 = 0 by commutativity of addition, distributivity, and # 7. Thus, a( b) = ab by the uniqueness of additive inverses (see # 3). 7. We have a 0 = a (0 + 0) = a 0 + a 0 by the distributive property and the fact that 0 is an additive identity. Adding (a 0) to both sides gives 0 = (a 0) + a 0 = (a 0) + a 0 + a 0 = a 0 so that a 0 = 0. To see that 0 a = 0, we repeat the argument. We have 0 a = (0 + 0) a = 0 a + 0 a by the distributive property and the fact that 0 is an additive identity. Adding (0 a) to both sides gives so that 0 a = 0 as well. 0 = (0 a) + 0 a = (0 a) + 0 a + 0 a = 0 a Page 2 of 5

3 8. Say a + b = a + c. Then, we have b = 0 + b so that b = c as desired. by additive identity = ( a + a) + b by additive inverse of a = a + (a + b) by associativity of addition = a + (a + c) by assumption = ( a + a) + c by associativity of addition = 0 + c by additive inverse of a = c by additive identity 9. We have (a +b) + (a +b) = (a +b)+ (a +b) as (a +b) is an additive inverse of a +b. We also have (a + b) + ( a + b) = ( a + b) + (a + b) by commutativity of addition = a + ( b + a) + b by associativity of addition = a + (a + b) + b by commutativity of addition = ( a + a) + ( b + b) by associativity of addition = by additive inverses of a and b = 0 by additive identity so that a + b is also an additive inverse of a + b. By the uniqueness of additive inverses (see # 3), we have that a + b = (a + b). Here s an alternate proof: We have (a + b) = ( 1)(a + b) by # 5 = ( 1)a + ( 1)b by distributivity = a + b by # 5 so that (a + b) = a + b as desired. 10. We have b = b 1 by multiplicative identity = b (ac) by assumption that ac = 1 = (ba) c by associativity of multiplication = 1 c by assumption that ba = 1 = c by multiplicative identity Page 3 of 5

4 so that b = c as desired. Theorem HW 7.2. Let R be a ring. An element e R is called an idempotent if e 2 = e. The trivial idempotents are 0 and 1. (a) Give an example of a ring with non-trivial idempotents. (b) Prove that if e is an idempotent, so is 1 e. (c) Prove that if R has no zero divisors, then the only idempotents of R are the trivial ones. Proof. (a) There ( are) many possible examples here. The one I had in mind is M 2 (Z). There, the 1 0 element is an idempotent since 0 0 ( ) ( ) ( ) = ( ) 1 0 However is neither the additive identity nor the multiplicative identity of M (Z). (b) Suppose that e 2 = e in a ring R. Then, (1 e) 2 = (1 e) (1 e) = 1 (1 e) e (1 e) by distributivity = 1 e e + ( e) 2 by distributivity = 1 e e + e 2 see below for why ( a) 2 = a 2 for any a R = 1 e e + e by assumption that e 2 = e = 1 e by additive inverses and identity so that (1 e) 2 = 1 e and 1 e is also an idempotent. It remains to show that ( a) 2 = a 2 in any ring. We have ( a) 2 = ( a)( a) = (( 1)a)( a) by Proposition 68, part # 5 = ( 1)(a( a)) by associativity of multiplication = ( 1)( aa) by Proposition 68, part # 6 = ( aa) by Proposition 68, part # 5 = aa = a 2 by Proposition 68, part # 4 so that ( a) 2 = a 2 as desired, thus completing the proof. Page 4 of 5

5 (c) Suppose that R has no zero divisors, and let e R be an idempotent. Then, e(1 e) = e e 2 = e e = 0 so that e = 0 or 1 e = 0 and e = 1. Thus, the only idempotents in a ring with no zero divisors are 0 and 1. Page 5 of 5

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

Permutation Groups and Transformation Semigroups Lecture 2: Semigroups

Permutation Groups and Transformation Semigroups Lecture 2: Semigroups Permutation Groups and Transformation Semigroups Lecture 2: Semigroups Peter J. Cameron Permutation Groups summer school, Marienheide 18 22 September 2017 I am assuming that you know what a group is, but

More information

Homework 3/ Solutions

Homework 3/ Solutions MTH 310-3 Abstract Algebra I and Number Theory S17 Homework 3/ Solutions Exercise 1. Prove the following Theorem: Theorem Let R and S be rings. Define an addition and multiplication on R S by for all r,

More information

Section 19 Integral domains

Section 19 Integral domains Section 19 Integral domains Instructor: Yifan Yang Spring 2007 Observation and motivation There are rings in which ab = 0 implies a = 0 or b = 0 For examples, Z, Q, R, C, and Z[x] are all such rings There

More information

Ring Theory Problem Set 2 Solutions

Ring Theory Problem Set 2 Solutions Ring Theory Problem Set 2 Solutions 16.24. SOLUTION: We already proved in class that Z[i] is a commutative ring with unity. It is the smallest subring of C containing Z and i. If r = a + bi is in Z[i],

More information

Solutions I.N. Herstein- Second Edition

Solutions I.N. Herstein- Second Edition Solutions I.N. Herstein- Second Edition Sadiah Zahoor Please email me if any corrections at sadiahzahoor@cantab.net. R is a ring in all problems. Problem 0.1. If a, b, c, d R, evaluate (a + b)(c + d).

More information

SEMIRINGS SATISFYING PROPERTIES OF DISTRIBUTIVE TYPE

SEMIRINGS SATISFYING PROPERTIES OF DISTRIBUTIVE TYPE proceedings of the american mathematical society Volume 82, Number 3, July 1981 SEMIRINGS SATISFYING PROPERTIES OF DISTRIBUTIVE TYPE ARIF KAYA AND M. SATYANARAYANA Abstract. Any distributive lattice admits

More information

Numbers, proof and all that jazz.

Numbers, proof and all that jazz. CHAPTER 1 Numbers, proof and all that jazz. There is a fundamental difference between mathematics and other sciences. In most sciences, one does experiments to determine laws. A law will remain a law,

More information

ANALYSIS OF SMALL GROUPS

ANALYSIS OF SMALL GROUPS ANALYSIS OF SMALL GROUPS 1. Big Enough Subgroups are Normal Proposition 1.1. Let G be a finite group, and let q be the smallest prime divisor of G. Let N G be a subgroup of index q. Then N is a normal

More information

The Moore-Penrose inverse of differences and products of projectors in a ring with involution

The Moore-Penrose inverse of differences and products of projectors in a ring with involution The Moore-Penrose inverse of differences and products of projectors in a ring with involution Huihui ZHU [1], Jianlong CHEN [1], Pedro PATRÍCIO [2] Abstract: In this paper, we study the Moore-Penrose inverses

More information

The Art of Dumbassing Brian Hamrick July 2, 2010

The Art of Dumbassing Brian Hamrick July 2, 2010 The Art of Dumbassing Brian Hamrick July, Introduction The field of inequalities is far from trivial. Many techniques, including Cauchy, Hölder, isolated fudging, Jensen, and smoothing exist and lead to

More information

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION Chapter-1 GROUPS 1.1. INTRODUCTION The theory of groups arose from the theory of equations, during the nineteenth century. Originally, groups consisted only of transformations. The group of transformations

More information

Examples of Groups

Examples of Groups Examples of Groups 8-23-2016 In this section, I ll look at some additional examples of groups. Some of these will be discussed in more detail later on. In many of these examples, I ll assume familiar things

More information

REVIEW Chapter 1 The Real Number System

REVIEW Chapter 1 The Real Number System REVIEW Chapter The Real Number System In class work: Complete all statements. Solve all exercises. (Section.4) A set is a collection of objects (elements). The Set of Natural Numbers N N = {,,, 4, 5, }

More information

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c. Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

Properties of the Integers

Properties of the Integers Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

International Journal of Algebra, Vol. 4, 2010, no. 2, S. Uma

International Journal of Algebra, Vol. 4, 2010, no. 2, S. Uma International Journal of Algebra, Vol. 4, 2010, no. 2, 71-79 α 1, α 2 Near-Rings S. Uma Department of Mathematics Kumaraguru College of Technology Coimbatore, India psumapadma@yahoo.co.in R. Balakrishnan

More information

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...} WORKSHEET ON NUMBERS, MATH 215 FALL 18(WHYTE) We start our study of numbers with the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } and their subset of natural numbers: N = {1, 2, 3,...} For now we will not

More information

Math 320, spring 2011 before the first midterm

Math 320, spring 2011 before the first midterm Math 320, spring 2011 before the first midterm Typical Exam Problems 1 Consider the linear system of equations 2x 1 + 3x 2 2x 3 + x 4 = y 1 x 1 + 3x 2 2x 3 + 2x 4 = y 2 x 1 + 2x 3 x 4 = y 3 where x 1,,

More information

MTH 310, Section 001 Abstract Algebra I and Number Theory. Sample Midterm 1

MTH 310, Section 001 Abstract Algebra I and Number Theory. Sample Midterm 1 MTH 310, Section 001 Abstract Algebra I and Number Theory Sample Midterm 1 Instructions: You have 50 minutes to complete the exam. There are five problems, worth a total of fifty points. You may not use

More information

Ex: Boolean expression for majority function F = A'BC + AB'C + ABC ' + ABC.

Ex: Boolean expression for majority function F = A'BC + AB'C + ABC ' + ABC. Boolean Expression Forms: Sum-of-products (SOP) Write an AND term for each input combination that produces a 1 output. Write the input variable if its value is 1; write its complement otherwise. OR the

More information

Subalgebras of the Split Octonions

Subalgebras of the Split Octonions Subalgebras of the Split Octonions Lida Bentz July 27, 2017 CONTENTS CONTENTS Contents 1 Introduction 3 1.1 Complex numbers......................... 3 1.2 Quaternions............................ 3 1.3

More information

Rings and Fields Theorems

Rings and Fields Theorems Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)

More information

) = 1, ) = 2, and o( [ 11]

) = 1, ) = 2, and o( [ 11] True/False Questions 1. The order of the identity element in any group is 1. True. n = 1 is the least positive integer such that e n = e. 2. Every cyclic group is abelian. True. Let G be a cyclic group.

More information

No. 2] On Postulate-Sets for Newman Algebra and Boolean Algebra. I 77

No. 2] On Postulate-Sets for Newman Algebra and Boolean Algebra. I 77 76 [Vol. 40, 19. On Postulate-Sets for Newman Algebra and Boolean Algebra. I By Yuki WOOYENAKA Japan Women's University, Tokyo (Comm. by Kinjiro KUNUGi, M.J.A., Feb. 12, 1964) Introduction. There are many

More information

Math 1B03/1ZC3 - Tutorial 2. Jan. 21st/24th, 2014

Math 1B03/1ZC3 - Tutorial 2. Jan. 21st/24th, 2014 Math 1B03/1ZC3 - Tutorial 2 Jan. 21st/24th, 2014 Tutorial Info: Website: http://ms.mcmaster.ca/ dedieula. Math Help Centre: Wednesdays 2:30-5:30pm. Email: dedieula@math.mcmaster.ca. Does the Commutative

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table.

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table. The Laws of Boolean Boolean algebra As well as the logic symbols 0 and 1 being used to represent a digital input or output, we can also use them as constants for a permanently Open or Closed circuit or

More information

An Introduction to Proof-based Mathematics Harvard/MIT ESP: Summer HSSP Isabel Vogt

An Introduction to Proof-based Mathematics Harvard/MIT ESP: Summer HSSP Isabel Vogt An Introduction to Proof-based Mathematics Harvard/MIT ESP: Summer HSSP Isabel Vogt Class Objectives Field Axioms Finite Fields Field Extensions Class 5: Fields and Field Extensions 1 1. Axioms for a field

More information

Some results on the reverse order law in rings with involution

Some results on the reverse order law in rings with involution Some results on the reverse order law in rings with involution Dijana Mosić and Dragan S. Djordjević Abstract We investigate some necessary and sufficient conditions for the hybrid reverse order law (ab)

More information

CSC Discrete Math I, Spring Propositional Logic

CSC Discrete Math I, Spring Propositional Logic CSC 125 - Discrete Math I, Spring 2017 Propositional Logic Propositions A proposition is a declarative sentence that is either true or false Propositional Variables A propositional variable (p, q, r, s,...)

More information

Introduction to Groups

Introduction to Groups Introduction to Groups S F Ellermeyer November 2, 2006 A group, G, is a set, A, endowed with a single binary operation,, such that: The operation is associative, meaning that a (b c) = (a b) c for all

More information

2 Application of Boolean Algebra Theorems (15 Points - graded for completion only)

2 Application of Boolean Algebra Theorems (15 Points - graded for completion only) CSE140 HW1 Solution (100 Points) 1 Introduction The purpose of this assignment is three-fold. First, it aims to help you practice the application of Boolean Algebra theorems to transform and reduce Boolean

More information

Homework 1/Solutions. Graded Exercises

Homework 1/Solutions. Graded Exercises MTH 310-3 Abstract Algebra I and Number Theory S18 Homework 1/Solutions Graded Exercises Exercise 1. Below are parts of the addition table and parts of the multiplication table of a ring. Complete both

More information

Ronalda Benjamin. Definition A normed space X is complete if every Cauchy sequence in X converges in X.

Ronalda Benjamin. Definition A normed space X is complete if every Cauchy sequence in X converges in X. Group inverses in a Banach algebra Ronalda Benjamin Talk given in mathematics postgraduate seminar at Stellenbosch University on 27th February 2012 Abstract Let A be a Banach algebra. An element a A is

More information

* is a row matrix * An mxn matrix is a square matrix if and only if m=n * A= is a diagonal matrix if = 0 i

* is a row matrix * An mxn matrix is a square matrix if and only if m=n * A= is a diagonal matrix if = 0 i CET MATRICES *A matrix is an order rectangular array of numbers * A matrix having m rows and n columns is called mxn matrix of order * is a column matrix * is a row matrix * An mxn matrix is a square matrix

More information

Finiteness conditions and index in semigroup theory

Finiteness conditions and index in semigroup theory Finiteness conditions and index in semigroup theory Robert Gray University of Leeds Leeds, January 2007 Robert Gray (University of Leeds) 1 / 39 Outline 1 Motivation and background Finiteness conditions

More information

Rings, Integral Domains, and Fields

Rings, Integral Domains, and Fields Rings, Integral Domains, and Fields S. F. Ellermeyer September 26, 2006 Suppose that A is a set of objects endowed with two binary operations called addition (and denoted by + ) and multiplication (denoted

More information

2. Two binary operations (addition, denoted + and multiplication, denoted

2. Two binary operations (addition, denoted + and multiplication, denoted Chapter 2 The Structure of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference between

More information

Set Theory. CSE 215, Foundations of Computer Science Stony Brook University

Set Theory. CSE 215, Foundations of Computer Science Stony Brook University Set Theory CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 Set theory Abstract set theory is one of the foundations of mathematical thought Most mathematical

More information

Week Some Warm-up Questions

Week Some Warm-up Questions 1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after

More information

GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS. 0. Introduction

GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS. 0. Introduction Acta Math. Univ. Comenianae Vol. LXV, 2(1996), pp. 247 279 247 GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS J. HEDLÍKOVÁ and S. PULMANNOVÁ Abstract. A difference on a poset (P, ) is a partial binary

More information

On EP elements, normal elements and partial isometries in rings with involution

On EP elements, normal elements and partial isometries in rings with involution Electronic Journal of Linear Algebra Volume 23 Volume 23 (2012 Article 39 2012 On EP elements, normal elements and partial isometries in rings with involution Weixing Chen wxchen5888@163.com Follow this

More information

p-adic Analysis Compared to Real Lecture 1

p-adic Analysis Compared to Real Lecture 1 p-adic Analysis Compared to Real Lecture 1 Felix Hensel, Waltraud Lederle, Simone Montemezzani October 12, 2011 1 Normed Fields & non-archimedean Norms Definition 1.1. A metric on a non-empty set X is

More information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

Generalized Boolean and Boolean-Like Rings

Generalized Boolean and Boolean-Like Rings International Journal of Algebra, Vol. 7, 2013, no. 9, 429-438 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2013.2894 Generalized Boolean and Boolean-Like Rings Hazar Abu Khuzam Department

More information

arxiv: v1 [math.gr] 21 Feb 2014

arxiv: v1 [math.gr] 21 Feb 2014 LEFT TRANSITIVE AG-GROUPOIDS M. RASHAD, I. AHMAD, AND M. SHAH arxiv:1402.5296v1 [math.gr] 21 Feb 2014 Abstract. An AG-groupoid is an algebraic structure that satisfies the left invertive law: (ab)c = (cb)a.

More information

Moore-Penrose-invertible normal and Hermitian elements in rings

Moore-Penrose-invertible normal and Hermitian elements in rings Moore-Penrose-invertible normal and Hermitian elements in rings Dijana Mosić and Dragan S. Djordjević Abstract In this paper we present several new characterizations of normal and Hermitian elements in

More information

Lecture 22 More on Rings

Lecture 22 More on Rings Lecture 22 More on Rings Last time: A ring is a set R with two binary operations, and, such that pr, q is an abelian group, pr, q is a semigroup (no identity or inverses), and the distributive property

More information

AN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES

AN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES AN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES Abstract. We give a proof of the group law for elliptic curves using explicit formulas. 1. Introduction In the following K will denote an algebraically

More information

Algebra 2. Rings and fields. Rings. A.M. Cohen, H. Cuypers, H. Sterk

Algebra 2. Rings and fields. Rings. A.M. Cohen, H. Cuypers, H. Sterk and fields 2 and fields A.M. Cohen, H. Cuypers, H. Sterk A.M. Cohen, H. Cuypers, H. Sterk 2 September 25, 2006 1 / 31 and fields Multiplication turns each of the sets Z, Q, R, C, Z[X ], Q[X ], R[X ], C[X

More information

1.3 Propositional Equivalences

1.3 Propositional Equivalences 1 1.3 Propositional Equivalences The replacement of a statement with another statement with the same truth is an important step often used in Mathematical arguments. Due to this methods that produce propositions

More information

Rings of Residues. S. F. Ellermeyer. September 18, ; [1] m

Rings of Residues. S. F. Ellermeyer. September 18, ; [1] m Rings of Residues S F Ellermeyer September 18, 2006 If m is a positive integer, then we obtain the partition C = f[0] m ; [1] m ; : : : ; [m 1] m g of Z into m congruence classes (This is discussed in

More information

Example. Addition, subtraction, and multiplication in Z are binary operations; division in Z is not ( Z).

Example. Addition, subtraction, and multiplication in Z are binary operations; division in Z is not ( Z). CHAPTER 2 Groups Definition (Binary Operation). Let G be a set. A binary operation on G is a function that assigns each ordered pair of elements of G an element of G. Note. This condition of assigning

More information

COS 140: Foundations of Computer Science

COS 140: Foundations of Computer Science COS 140: Foundations of Computer Science Boolean Algebra Fall 2018 Introduction 3 Problem................................................................. 3 Boolean algebra...........................................................

More information

FACTORIZATION AND THE PRIMES

FACTORIZATION AND THE PRIMES I FACTORIZATION AND THE PRIMES 1. The laws of arithmetic The object of the higher arithmetic is to discover and to establish general propositions concerning the natural numbers 1, 2, 3,... of ordinary

More information

Appendix A: Matrices

Appendix A: Matrices Appendix A: Matrices A matrix is a rectangular array of numbers Such arrays have rows and columns The numbers of rows and columns are referred to as the dimensions of a matrix A matrix with, say, 5 rows

More information

Number Theory Basics Z = {..., 2, 1, 0, 1, 2,...} For, b Z, we say that divides b if z = b for some. Notation: b Fact: for all, b, c Z:

Number Theory Basics Z = {..., 2, 1, 0, 1, 2,...} For, b Z, we say that divides b if z = b for some. Notation: b Fact: for all, b, c Z: Number Theory Basics Z = {..., 2, 1, 0, 1, 2,...} For, b Z, we say that divides b if z = b for some z Z Notation: b Fact: for all, b, c Z:, 1, and 0 0 = 0 b and b c = c b and c = (b + c) b and b = ±b 1

More information

Some Structural Properties of AG-Groups

Some Structural Properties of AG-Groups International Mathematical Forum, Vol. 6, 2011, no. 34, 1661-1667 Some Structural Properties of AG-Groups Muhammad Shah and Asif Ali Department of Mathematics Quaid-i-Azam University Islamabad, Pakistan

More information

Inverses and Elementary Matrices

Inverses and Elementary Matrices Inverses and Elementary Matrices 1-12-2013 Matrix inversion gives a method for solving some systems of equations Suppose a 11 x 1 +a 12 x 2 + +a 1n x n = b 1 a 21 x 1 +a 22 x 2 + +a 2n x n = b 2 a n1 x

More information

a b (mod m) : m b a with a,b,c,d real and ad bc 0 forms a group, again under the composition as operation.

a b (mod m) : m b a with a,b,c,d real and ad bc 0 forms a group, again under the composition as operation. Homework for UTK M351 Algebra I Fall 2013, Jochen Denzler, MWF 10:10 11:00 Each part separately graded on a [0/1/2] scale. Problem 1: Recalling the field axioms from class, prove for any field F (i.e.,

More information

Inner image-kernel (p, q)-inverses in rings

Inner image-kernel (p, q)-inverses in rings Inner image-kernel (p, q)-inverses in rings Dijana Mosić Dragan S. Djordjević Abstract We define study the inner image-kernel inverse as natural algebraic extension of the inner inverse with prescribed

More information

Commutative Rings and Fields

Commutative Rings and Fields Commutative Rings and Fields 1-22-2017 Different algebraic systems are used in linear algebra. The most important are commutative rings with identity and fields. Definition. A ring is a set R with two

More information

Theory of Computation

Theory of Computation Theory of Computation Lecture #2 Sarmad Abbasi Virtual University Sarmad Abbasi (Virtual University) Theory of Computation 1 / 1 Lecture 2: Overview Recall some basic definitions from Automata Theory.

More information

Mathematical Reasoning & Proofs

Mathematical Reasoning & Proofs Mathematical Reasoning & Proofs MAT 1362 Fall 2018 Alistair Savage Department of Mathematics and Statistics University of Ottawa This work is licensed under a Creative Commons Attribution-ShareAlike 4.0

More information

A New Shuffle Convolution for Multiple Zeta Values

A New Shuffle Convolution for Multiple Zeta Values January 19, 2004 A New Shuffle Convolution for Multiple Zeta Values Ae Ja Yee 1 yee@math.psu.edu The Pennsylvania State University, Department of Mathematics, University Park, PA 16802 1 Introduction As

More information

Groups. s t or s t or even st rather than f(s,t).

Groups. s t or s t or even st rather than f(s,t). Groups Definition. A binary operation on a set S is a function which takes a pair of elements s,t S and produces another element f(s,t) S. That is, a binary operation is a function f : S S S. Binary operations

More information

2. THE EUCLIDEAN ALGORITHM More ring essentials

2. THE EUCLIDEAN ALGORITHM More ring essentials 2. THE EUCLIDEAN ALGORITHM More ring essentials In this chapter: rings R commutative with 1. An element b R divides a R, or b is a divisor of a, or a is divisible by b, or a is a multiple of b, if there

More information

CM2104: Computational Mathematics General Maths: 2. Algebra - Factorisation

CM2104: Computational Mathematics General Maths: 2. Algebra - Factorisation CM204: Computational Mathematics General Maths: 2. Algebra - Factorisation Prof. David Marshall School of Computer Science & Informatics Factorisation Factorisation is a way of simplifying algebraic expressions.

More information

FACTORING IN QUADRATIC FIELDS. 1. Introduction

FACTORING IN QUADRATIC FIELDS. 1. Introduction FACTORING IN QUADRATIC FIELDS KEITH CONRAD For a squarefree integer d other than 1, let 1. Introduction K = Q[ d] = {x + y d : x, y Q}. This is closed under addition, subtraction, multiplication, and also

More information

On a class of three-variable inequalities. Vo Quoc Ba Can

On a class of three-variable inequalities. Vo Quoc Ba Can On a class of three-variable inequalities Vo Quoc Ba Can 1 Theem Let a, b, c be real numbers satisfying a + b + c = 1 By the AM - GM inequality, we have ab + bc + ca 1, therefe setting ab + bc + ca = 1

More information

Semigroup presentations via boundaries in Cayley graphs 1

Semigroup presentations via boundaries in Cayley graphs 1 Semigroup presentations via boundaries in Cayley graphs 1 Robert Gray University of Leeds BMC, Newcastle 2006 1 (Research conducted while I was a research student at the University of St Andrews, under

More information

Theory of Computer Science

Theory of Computer Science Theory of Computer Science C1. Formal Languages and Grammars Malte Helmert University of Basel March 14, 2016 Introduction Example: Propositional Formulas from the logic part: Definition (Syntax of Propositional

More information

Problem Session 5 (CFGs) Talk about the building blocks of CFGs: S 0S 1S ε - everything. S 0S0 1S1 A - waw R. S 0S0 0S1 1S0 1S1 A - xay, where x = y.

Problem Session 5 (CFGs) Talk about the building blocks of CFGs: S 0S 1S ε - everything. S 0S0 1S1 A - waw R. S 0S0 0S1 1S0 1S1 A - xay, where x = y. CSE2001, Fall 2006 1 Problem Session 5 (CFGs) Talk about the building blocks of CFGs: S 0S 1S ε - everything. S 0S0 1S1 A - waw R. S 0S0 0S1 1S0 1S1 A - xay, where x = y. S 00S1 A - xay, where x = 2 y.

More information

JEE/BITSAT LEVEL TEST

JEE/BITSAT LEVEL TEST JEE/BITSAT LEVEL TEST Booklet Code A/B/C/D Test Code : 00 Matrices & Determinants Answer Key/Hints Q. i 0 A =, then A A is equal to 0 i (a.) I (b.) -ia (c.) -I (d.) ia i 0 i 0 0 Sol. We have AA I 0 i 0

More information

MODEL ANSWERS TO THE FIFTH HOMEWORK

MODEL ANSWERS TO THE FIFTH HOMEWORK MODEL ANSWERS TO THE FIFTH HOMEWORK 1. Chapter 3, Section 5: 1 (a) Yes. Given a and b Z, φ(ab) = [ab] = [a][b] = φ(a)φ(b). This map is clearly surjective but not injective. Indeed the kernel is easily

More information

3+4=2 5+6=3 7 4=4. a + b =(a + b) mod m

3+4=2 5+6=3 7 4=4. a + b =(a + b) mod m Rings and fields The ring Z m -part2(z 5 and Z 8 examples) Suppose we are working in the ring Z 5, consisting of the set of congruence classes Z 5 := {[0] 5, [1] 5, [2] 5, [3] 5, [4] 5 } with the operations

More information

Axioms of Kleene Algebra

Axioms of Kleene Algebra Introduction to Kleene Algebra Lecture 2 CS786 Spring 2004 January 28, 2004 Axioms of Kleene Algebra In this lecture we give the formal definition of a Kleene algebra and derive some basic consequences.

More information

INTRO TO TENSOR PRODUCTS MATH 250B

INTRO TO TENSOR PRODUCTS MATH 250B INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the

More information

COSE212: Programming Languages. Lecture 1 Inductive Definitions (1)

COSE212: Programming Languages. Lecture 1 Inductive Definitions (1) COSE212: Programming Languages Lecture 1 Inductive Definitions (1) Hakjoo Oh 2017 Fall Hakjoo Oh COSE212 2017 Fall, Lecture 1 September 4, 2017 1 / 9 Inductive Definitions Inductive definition (induction)

More information

3.1 Definition of a Group

3.1 Definition of a Group 3.1 J.A.Beachy 1 3.1 Definition of a Group from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair This section contains the definitions of a binary operation,

More information

Determinants: Introduction and existence

Determinants: Introduction and existence Math 5327 Spring 2018 Determinants: Introduction and existence In this set of notes I try to give the general theory of determinants in a fairly abstract setting. I will start with the statement of the

More information

One-sided clean rings.

One-sided clean rings. One-sided clean rings. Grigore Călugăreanu Babes-Bolyai University Abstract Replacing units by one-sided units in the definition of clean rings (and modules), new classes of rings (and modules) are defined

More information

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2 MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS SYSTEMS OF EQUATIONS AND MATRICES Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

More information

ICS141: Discrete Mathematics for Computer Science I

ICS141: Discrete Mathematics for Computer Science I ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Originals slides by Dr. Baek and Dr. Still, adapted by J. Stelovsky Based on slides Dr. M. P. Frank and Dr. J.L. Gross

More information

Logic and Proofs. Jan COT3100: Applications of Discrete Structures Jan 2007

Logic and Proofs. Jan COT3100: Applications of Discrete Structures Jan 2007 COT3100: Propositional Equivalences 1 Logic and Proofs Jan 2007 COT3100: Propositional Equivalences 2 1 Translating from Natural Languages EXAMPLE. Translate the following sentence into a logical expression:

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

Matrices. 1 a a2 1 b b 2 1 c c π

Matrices. 1 a a2 1 b b 2 1 c c π Matrices 2-3-207 A matrix is a rectangular array of numbers: 2 π 4 37 42 0 3 a a2 b b 2 c c 2 Actually, the entries can be more general than numbers, but you can think of the entries as numbers to start

More information

Tautologies, Contradictions, and Contingencies

Tautologies, Contradictions, and Contingencies Section 1.3 Tautologies, Contradictions, and Contingencies A tautology is a proposition which is always true. Example: p p A contradiction is a proposition which is always false. Example: p p A contingency

More information

Discrete valuation rings. Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that:

Discrete valuation rings. Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that: Discrete valuation rings Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that: 1. v is surjective. 2. v(ab) = v(a) + v(b). 3. v(a + b) min(v(a), v(b)) if a + b 0. Proposition:

More information

five line proofs Victor Ufnarovski, Frank Wikström 20 december 2016 Matematikcentrum, LTH

five line proofs Victor Ufnarovski, Frank Wikström 20 december 2016 Matematikcentrum, LTH five line proofs Victor Ufnarovski, Frank Wikström 20 december 2016 Matematikcentrum, LTH projections The orthogonal projections of a body on two different planes are disks. Prove that they have the same

More information

Chapter 4 CHARACTERIZATIONS OF STRONGLY REGULAR NEAR-RINGS

Chapter 4 CHARACTERIZATIONS OF STRONGLY REGULAR NEAR-RINGS Chapter 4 CHARACTERIZATIONS OF STRONGLY REGULAR NEAR-RINGS 40 41 CHARACTERIZATIONS OF STRONGLY REGULAR NEAR-RINGS 4.1 Introduction In this chapter, we find some properties and characterizations of strongly

More information

Lifting to non-integral idempotents

Lifting to non-integral idempotents Journal of Pure and Applied Algebra 162 (2001) 359 366 www.elsevier.com/locate/jpaa Lifting to non-integral idempotents Georey R. Robinson School of Mathematics and Statistics, University of Birmingham,

More information

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings MTHSC 412 Section 3.1 Definition and Examples of Rings A ring R is a nonempty set R together with two binary operations (usually written as addition and multiplication) that satisfy the following axioms.

More information

R S. Publication (rspublication.com), Page 316

R S. Publication (rspublication.com), Page 316 BOOLEAN LIKE SEMIRINGS C. Venkata Lakshmi #1, T. Vasanthi #2 #1 Dept. of Applied Mathematics, Sri Padmavati Women s University, Tirupati, A.P., India. #2 Dept. of Applied Mathematics, Yogi Vemana University,

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

Some basic properties of idempotent matrices

Some basic properties of idempotent matrices J. Edu. & Sci., Vol. (21), No. (4) 2008 Some basic properties of idempotent matrices Alaa A. Hammodat Ali A. Bilal Akram S. Mohammed Dept. of Math. Dept. of Math. Dept. of Math. College of Education College

More information

Algebra Exercises in group theory

Algebra Exercises in group theory Algebra 3 2010 Exercises in group theory February 2010 Exercise 1*: Discuss the Exercises in the sections 1.1-1.3 in Chapter I of the notes. Exercise 2: Show that an infinite group G has to contain a non-trivial

More information

Version January Please send comments and corrections to

Version January Please send comments and corrections to Mathematical Logic for Computer Science Second revised edition, Springer-Verlag London, 2001 Answers to Exercises Mordechai Ben-Ari Department of Science Teaching Weizmann Institute of Science Rehovot

More information

Solution. S ABc Ab c Bc Ac b A ABa Ba Aa a B Bbc bc.

Solution. S ABc Ab c Bc Ac b A ABa Ba Aa a B Bbc bc. Section 12.4 Context-Free Language Topics Algorithm. Remove Λ-productions from grammars for langauges without Λ. 1. Find nonterminals that derive Λ. 2. For each production A w construct all productions

More information