counterexamples in ring theory kathi crow gettysburg college connecticut college november 7 2005 l.
Download
Skip this Video
Download Presentation
Counterexamples in Ring Theory Kathi Crow Gettysburg College Connecticut College November 7, 2005

Loading in 2 Seconds...

play fullscreen
1 / 75

Counterexamples in Ring Theory Kathi Crow Gettysburg College Connecticut College November 7, 2005 - PowerPoint PPT Presentation


  • 487 Views
  • Uploaded on

Counterexamples in Ring Theory Kathi Crow Gettysburg College Connecticut College November 7, 2005. “Counter-jinx is just a name people give their jinxes when they want to make them sound more acceptable.” .

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Counterexamples in Ring Theory Kathi Crow Gettysburg College Connecticut College November 7, 2005' - ivanbritt


Download Now An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
counterexamples in ring theory kathi crow gettysburg college connecticut college november 7 2005
Counterexamples in Ring TheoryKathi CrowGettysburg CollegeConnecticut CollegeNovember 7, 2005
slide2

“Counter-jinx is just a name people give their jinxes when they want to make them sound more acceptable.”

slide3

“Counter-jinx is just a name people give their jinxes when they want to make them sound more acceptable.”

… Hermione Granger quoting

Wilbert Slinkhard

slide4

Counterexample is just a name people give their examples when they want to make them sound more interesting.

slide5
Conjecture: All odd numbers greater than 1 are prime.

Counterexample: The number15

is not prime

slide6
Conjecture: All odd numbers greater than 1 are prime.

Counterexample: The number 15

is not prime

slide7
Conjecture: All odd numbers greater than 1 are prime.

Counterexample: The number 15

is not prime

slide8
Conjecture: All odd numbers greater than 1 are prime.

Counterexample: The number 15

is an odd number greater than 1 and it is not prime.

slide9
Definition: The set R together with operations + and • is called a Ring if the following properties hold for every selection of elements a,b,c in R:
  • a+b=b+a
  • (a+b)+c=a+(b+c)
  • There is an element 0 in R so that a+0=a
  • For any element a of R, there is an element x of R so that x+a=0
  • (a•b)•c=a•(b•c)
  • a•(b+c)=a•b+a•c and (b+c)•a=b•a+c•a
  • (There is an element 1 in R so that a•1=a=1•a)
slide10
Informal Definition:

A ring R is a set with a commutative addition, a subtraction, a multiplication and which contains the elements 0 and (sometimes) 1.

slide12
Examples:
  • The real numbers 
  • The complex numbers 
  • The rational numbers 
  • The integers 
  • Even integers
  • Matrices Mn()
slide14
Nonexamples:
  • Natural Numbers 
  • Odd Integers
  • Vector Spaces
    • Polynomials of degree 2 or less
slide15
A Counterexample in Ring Theory is a ring which is a counterexample to a conjecture about rings.
slide16
Examples:
  • The real numbers 
  • The complex numbers 
  • The rational numbers 
  • The integers 
  • Even integers
  • Matrices Mn()
slide22
Examples:
  • The real numbers 
  • The complex numbers 
  • The rational numbers 
  • The integers 
  • Even integers
  • Matrices Mn()
slide24
Conjecture: For any nonzero elements a and b in R, there is a unique element c of R so that a=bc.

(In other words, we can divide in R.)

slide25
Conjecture: For any nonzero elements a and b in R, there is a unique element c of R so that a=bc.

(In other words, we can divide in R.)

Counterexample: 

slide26
Conjecture: For any nonzero elements a and b in R, there is a unique element c of R so that a=bc.

(In other words, we can divide in R.)

Counterexample: 

Why?

slide27
Conjecture: For any nonzero elements a and b in R, there is a unique element c of R so that a=bc.

(In other words, we can divide in R.)

Counterexample: 

Why?

Because 23 is not an integer.

slide28
Conjecture: For any nonzero elements a and b in R, there is a unique element c of R so that a=bc.

(In other words, we can divide in R.)

Counterexample: 

Why?

Because 23 is not an integer.

(There is no integer c so that 2=3c.)

slide29
Conjecture: For any nonzero elements a and b in R, there is a unique element c of R so that a=bc.

(In other words, we can divide in R.)

Counterexample: 

Why?

Because 23 is not an integer.

(There is no integer c so that 2=3c.)

The ring  is not a division ring.

conclusions
Conclusions:
  • Not every ring is commutative.
  • Not every ring can be embedded in a division ring.
slide36
Definition: A ring R is von Neumann Regular if for every xR there is an element yR so that xyx=x.
slide37
Definition: A ring R is von Neumann Regular if for every xR there is an element yR so that xyx=x. We say y is a quasi-inverse for x.
slide38
Definition: A ring R is von Neumann Regular if for every xR there is an element yR so that xyx=x. We say y is a quasi-inverse for x.
slide39
Definition: A ring R is von Neumann Regular if for every xR there is an element yR so that xyx=x. We say y is a quasi-inverse for x.

Note: Every division ring is von Neumann Regular. (Let y=x-1 or y=0.)

slide43
Conjecture: Every ring is von Neumann regular.

Counterexample: 

Why?

Suppose there is a y so that 2y2=2. The only real number for which this equation holds is y=½. Since ½ is not an integer, 2 does not have a quasi-inverse in .

slide45
Conjecture: Every von Neumann regular ring is a division ring.

Counterexample 1:M2() is von Neumann regular.

slide46
Definition: If A and B are rings then the direct sum of A and B is the ring

AB= {(a,b): aA and bB}

with addition and multiplication defined coordinatewise.

slide47
Definition: If A and B are rings then the direct sum of A and B is the ring

AB= {(a,b): aA and bB}

with addition and multiplication defined coordinatewise.

Example: Consider .

(π,2)+(1,-3)=(π+1,2-3)=(π+1,-1)

(π,2)(1,-3)=(π•1,2(-3)) =(π,-6)

slide50
Conjecture: Every von Neumann regular ring is a division ring.

Counterexample 2:

Why?

 is von Neumann Regular:

Suppose (a,b) .

slide51
Conjecture: Every von Neumann regular ring is a division ring.

Counterexample 2:

Why?

 is von Neumann Regular:

Suppose (a,b) . If a=0, then let c=0; otherwise let c=a-1. Similarly d=0 or d=b-1. Now (a,b)(c,d)(a,b)=(a,b).

slide52
Conjecture: Every von Neumann regular ring is a division ring.

Counterexample 2:

Why?

 is von Neumann Regular:

Suppose (a,b) . If a=0, then let c=0; otherwise let c=a-1. Similarly d=0 or d=b-1. Now (a,b)(c,d)(a,b)=(a,b).

 is not a division ring:

Since (1,0)(0,1)=(0,0) and (1,0)(0,4)=(0,0) there is no good way to define (0,0)(1,0).

conclusions53
Conclusions:
  • Not every ring is commutative.
  • Not every ring can be embedded in a division ring.
  • Every division ring is von Neumann regular
  • Not every von Neumann regular ring is a division ring.
slide57

Question: Is ?

Answer: No

Why?

slide58

Question: Is ?

Answer: No

Why? i2=-1, but (0,1)(0,1)=(0,1)

slide59

Question: Is ?

Answer: No

Why? i2=-1, but (0,1)(0,1)=(0,1)

Better Answer: is a division ring.

 is not a division ring since

(1,0)(0,1)=(0,0)

slide64
Conjecture: For rings A, B, and C

Counterexample:

Why?R0

slide67
Conjecture: If A and B are von Neumann regular rings, then

Counterexample: Unknown.

This is an open problem!

slide69

Published: 1974

Rank: 31,815

slide70

Published: 1974

Rank: 31,815

Published: 1978

Rank: 190,752

slide72
Examples:
  • The real numbers 
  • The complex numbers 
  • The rational numbers 
  • The integers 
  • Even integers
  • Matrices Mn()
  • 
  • ···
slide75
Question:Which examples did not have a 1?

Answer:

  • Even Integers
  • ···