fibre product

Let $S$ be a scheme, and let $i:X\\longrightarrow S$ and $j:Y\\longrightarrow S$ be schemes over $S$ . A fibre product of $X$ and $Y$ over $S$ 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 $Z$ with morphisms

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

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

(x,y):Z\\longrightarrow X\\times_{S}Y

making the diagram

随便看

fundamental theorem of demography, proof of
FundamentalTheoremOfFinitelyGeneratedAbelianGroups
fundamental theorem of finitely generated abelian groups
FundamentalTheoremOfGaloisTheory
fundamental theorem of Galois theory
FundamentalTheoremOfIdealTheory
fundamental theorem of ideal theory
FundamentalTheoremOfIntegralCalculus
fundamental theorem of integral calculus
FundamentalTheoremOfProjectiveGeometry
fundamental theorem of projective geometry
FundamentalTheoremOfSpaceCurves
fundamental theorem of space curves
FundamentalTheoremOfSymmetricPolynomials
fundamental theorem of symmetric polynomials
FundamentalTheoremOfTranscendence
fundamental theorem of transcendence
FundamentalTheoremOnIsogonalLines
fundamental theorem on isogonal lines
FundamentalTheoremsInComplexAnalysis
fundamental theorems in complex analysis
FundamentalTheoremsInMathematics
fundamental theorems in mathematics
FundamentalTheoremsOfCalculusForLebesgueIntegration
fundamental theorems of calculus for Lebesgue integration

数学辞典收录了18232条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。