Characteristic - must be on an integral domain? Books disagree?

Click For Summary
SUMMARY

The discussion centers on the definition of the characteristic of a ring, highlighting discrepancies between two sources. The first source defines the characteristic as the smallest positive integer \( n \) such that \( na = 0 \) for all \( a \) in the ring \( R \), while the second source restricts this definition to rings of unity that are also integral domains, stating that the characteristic is the order of the unity. The examples provided clarify that \( \text{char} \mathbb{Z} = 0 \), \( \text{char} \mathbb{Z}_2 = 2 \), and \( \text{char} \mathbb{Z}_6 \) is undefined due to it not being an integral domain. The conversation concludes with a recommendation to trust definitions found in reputable algebra texts over potentially misleading review materials.

PREREQUISITES
  • Understanding of ring theory and characteristics in algebra.
  • Familiarity with integral domains and their properties.
  • Knowledge of modular arithmetic and its applications in ring theory.
  • Basic concepts of cyclic groups and their relationship to ring elements.
NEXT STEPS
  • Study the definition of ring characteristics in various algebra textbooks.
  • Explore the properties of integral domains and their implications on ring characteristics.
  • Learn about the structure of cyclic groups and their relation to ring elements.
  • Review examples of rings of unity and their characteristics, particularly in modular arithmetic.
USEFUL FOR

Mathematics students preparing for the GRE subject exam, educators teaching abstract algebra, and anyone seeking clarity on the definitions and properties of ring characteristics.

dumbQuestion
Messages
124
Reaction score
0
I am reviewing for the mathematics GRE subject exam, and I have this review book, and in the book when they speak of the characteristic of a ring they give the following def "Let R be a ring. The smallest positive integer n such that na = 0 for every a in R is called the characteristic of the ring R, and we write char R = n. I no such n exists, then R has characteristic 0." They then ask a question "what's char Zn?" with the answer given as n. Makes sense according to the def.However, when I went to review further in my old abstract algebra book I am given a different definition: that characteristics are only defined for rings of unity that are also integral domains and that the characteristic is the order of the unity. (for example in Z3, its a commutative ring of unity with unity as 1, and the smallest number such that if you do the additive group operation on 1 that it generates the additive identity, is 3 because 1 + 1 + 1 = 3mod3=0, so this would have characteristic of 3). My book then gives an example: "what's char Z2? What's char Z6?" with the answer given as "char Z is zero (because order of 1 is infinite), char Z2=2, and no characteristic for Z6 because it's not an integral domain." Also makes sense according to this new def.I am confused now how I would answer the question about Z6 on the exam!Also, if the characteristic is defined this way (order of unity), does that mean that if the order of the unity is infinite, then the order of all elements in the ring are infinite so there are no cyclic subgroups?Thanks!
 
Physics news on Phys.org
dumbQuestion said:
I am reviewing for the mathematics GRE subject exam, and I have this review book, and in the book when they speak of the characteristic of a ring they give the following def "Let R be a ring. The smallest positive integer n such that na = 0 for every a in R is called the characteristic of the ring R, and we write char R = n. I no such n exists, then R has characteristic 0." They then ask a question "what's char Zn?" with the answer given as n. Makes sense according to the def.


However, when I went to review further in my old abstract algebra book I am given a different definition: that characteristics are only defined for rings of unity that are also integral domains and that the characteristic is the order of the unity. (for example in Z3, its a commutative ring of unity with unity as 1, and the smallest number such that if you do the additive group operation on 1 that it generates the additive identity, is 3 because 1 + 1 + 1 = 3mod3=0, so this would have characteristic of 3). My book then gives an example: "what's char Z2? What's char Z6?" with the answer given as "char Z is zero (because order of 1 is infinite), char Z2=2, and no characteristic for Z6 because it's not an integral domain." Also makes sense according to this new def.


I am confused now how I would answer the question about Z6 on the exam!


Also, if the characteristic is defined this way (order of unity), does that mean that if the order of the unity is infinite, then the order of all elements in the ring are infinite so there are no cyclic subgroups?


Thanks!



What is that "old abstract algebra book"? Never mind, burn it...anyway, characteristic of ring in ALMOST any decent algebra

book is defined for any unitary ring, without any condition on being integral domain, which would make this

definition ridiculous as any finite integral domain is a field...

DonAntonio
 
wow, thanks so much for answering this, because until now i was going to go with the def in the book thinking the review textbook was most likely the least trustworthy of the two!
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K