Counterexample for Subring and Units Statement

  • Thread starter Thread starter erogard
  • Start date Start date
  • Tags Tags
    Units
Click For Summary

Homework Help Overview

The discussion revolves around finding a counterexample to the statement regarding the relationship between the units of a subring and the units of a larger commutative ring. The subject area involves ring theory, specifically the properties of subrings and units within those rings.

Discussion Character

  • Exploratory, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to find a counterexample by testing various rings, including integers, quotient groups of integers, and complex numbers, but finds that the statement holds in those cases. Participants suggest considering the rational numbers as a potential counterexample and discuss the nature of units in both the rational numbers and integers.

Discussion Status

Participants are actively exploring the properties of units in different rings and have identified the rational numbers as a promising area for investigation. There is a suggestion that the relationship between the units of the integers and the rational numbers may provide a counterexample, but no consensus has been reached yet.

Contextual Notes

The discussion is constrained by the need to find a specific counterexample to a mathematical statement, and participants are questioning the definitions and properties of units in various rings.

erogard
Messages
60
Reaction score
0
Hi, I am trying to find a counterexample to disprove this statement, but can't find any:

If S is a subring of a commutative ring R, then U(S) = U(R) \cap S

Note that U(X) denotes the set of all the units of a ring X, where x is a unit if x has an inverse in X, such that x times its inverse gives 1, the multiplicative identity.

I've tried with integers, quotient groups of integers, complex numbers, etc. but the statement holds for all the cases I've considered.

Any suggestion?
 
Physics news on Phys.org
Have you tried the rationals, Q? What are the units?
 
Dick said:
Have you tried the rationals, Q? What are the units?

So U(Q) would be all non zero element, including Z without 0.

Then U(Z) = U(Q) intersection Z, which gives Z without 0. But we know that U(Z) = +1 and -1. I think that works!
 
erogard said:
So U(Q) would be all non zero element, including Z without 0.

Then U(Z) = U(Q) intersection Z, which gives Z without 0. But we know that U(Z) = +1 and -1. I think that works!

I KNOW it works.
 

Similar threads

  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 1 ·
Replies
1
Views
6K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K