Lokaler Ring/Picardgruppe/Trivial/Fakt

Für einen lokalen Ring

ist die Picardgruppe von trivial.