← all areas

Namespace CommRing 4 theorems

— 2 · Pic 2

directly in CommRing 2

• Infinitely many degree-one primes for an order CommRing.infinite_setOf_prime_nonempty_ringHom_zmod_of_moduleFinite_int 5 below · cited by 2 · depth 15
• Symmetric 2-cocycles of units split over an étale cover CommRing.exists_etale_faithfullyFlat_units_eq_mul_inv_mul_inv_of_symm_of_cocycle_of_isUnit_card 3 below · cited by 1 · depth 34

CommRing.Pic 2

• Picard group of two affine lines glued at rational points CommRing.Pic.exists_surjective_hom_pic_twoAffineLinesGluedAt_eq_one_iff_const 1 below · cited by 2 · depth 19
• Units–Picard exact sequence of a conductor square CommRing.Pic.exists_boundaryHom_conductorSquare_exact 0 below · cited by 1 · depth 20