Does the Picard Group Vanish for Semilocal Rings?

  • Thread starter Thread starter Hurkyl
  • Start date Start date
  • Tags Tags
    Group Rings
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
Messages
14,922
Reaction score
28
For a dimension 1 regular semi-local ring, does the Picard group vanish?

What if it is not regular? (and what if I ask for the ideal class group?)
What if it's dimension greater than 1?
 
Physics news on Phys.org
Hurkyl said:
For a dimension 1 regular semi-local ring, does the Picard group vanish?

What if it is not regular? (and what if I ask for the ideal class group?)
What if it's dimension greater than 1?

I don't know very much about this. But I think that the Picard group does vanish. A dimension 1 regular ring is a Dedekind domain. And it's known that a semi-local Dedekind domain is a PID. And the Picard group of a PID vanishes.
 
micromass said:
I don't know very much about this. But I think that the Picard group does vanish. A dimension 1 regular ring is a Dedekind domain. And it's known that a semi-local Dedekind domain is a PID. And the Picard group of a PID vanishes.

Excellent. I thought my first question was an easy one, but for the life of me I couldn't find any references for it, and I kept getting tripped up in my attempts to prove it (e.g. that a semi-local Dedekind domain is a PID).
 
Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'
This is the question, I understand the concept, in ##\mathbb{Z_n}## an element is a is a unit if and only if gcd( a,n) =1. My understanding of backwards substitution, ... i have using Euclidean algorithm, ##471 = 3⋅121 + 108## ##121 = 1⋅108 + 13## ##108 =8⋅13+4## ##13=3⋅4+1## ##4=4⋅1+0## using back-substitution, ##1=13-3⋅4## ##=(121-1⋅108)-3(108-8⋅13)## ... ##= 121-(471-3⋅121)-3⋅471+9⋅121+24⋅121-24(471-3⋅121## ##=121-471+3⋅121-3⋅471+9⋅121+24⋅121-24⋅471+72⋅121##...
Back
Top