explicite description of a pullback of a ring and ideal

Proposition

Let 20241025-pullback_of_a_ring_and_ideal_22a535293244fe74fc7a4bdd15d746de7c32685f.svg be a ring, 20241025-pullback_of_a_ring_and_ideal_15b9172a6bc17067412ed19a46c0407d6dccf79a.svg an ideal
Then the pullback 20241025-pullback_of_a_ring_and_ideal_fd824b1401a4ad2e679d980566b366a9ee5ba5c0.svg is given by

20241025-pullback_of_a_ring_and_ideal_5e27350c467d0da7a90936a512f99501e1a0f14b.svg

Here the pullback is given as limit of the following diagram

20241025-pullback_of_a_ring_and_ideal_3b83d7de1662ef9b15584ebf67d61a27796f6ef8.svg

Proof

Date: nil

Author: Anton Zakrewski

Created: 2025-01-15 Mi 20:54