PlanetMath: fibre product

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (192)
Orphanage
Unclass'd
Unproven (496)
Corrections (23)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

fibre product

(Definition)

Let be a scheme, and let $i: X \longrightarrow S$ and $j: Y \longrightarrow S$ be schemes over . A fibre product of and over is a scheme $X \times_S Y$ together with morphisms

	$\displaystyle p: X \times_S Y \longrightarrow X$
	$\displaystyle q: X \times_S Y \longrightarrow Y$

such that given any scheme

with morphisms

	$\displaystyle x: Z \longrightarrow X$
	$\displaystyle y: Z \longrightarrow Y$

where $i \circ x = j \circ y$ , there exists a unique morphism

$\displaystyle (x,y): Z \longrightarrow X \times_S Y$

making the diagram

$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ Z \ar@/_/[ddr]_y \ar@/^/[drr]^x ... ...\times_S Y \ar[d]^-q \ar[r]_-p & X \ar[d]^-i \ & Y \ar[r]_-j & S } } \end{xy}$

commute. In other words, a fiber product is an object $X \times_S Y$ , together with morphisms

making the diagram commute, with the universal property that any other collection

forming such a commutative diagram maps into $(X\times_S Y,p,q)$ .

Fibre products of schemes always exist and are unique up to canonical isomorphism.

Other notes

Fibre products are also called pullbacks and can be defined in any category using the same definition (but need not exist in general). For example, they always exist in the category of modules over a fixed ring, as well as in the category of groups.

"fibre product" is owned by djao.

(view preamble)