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

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!
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
Back
Top