Geodesic
Fibred product of commutative algebras: generators and relations
Modelirovanie i analiz informacionnyh sistem, Tome 23 (2016) no. 5, pp. 620-634.

Voir la notice de l'article provenant de la source Math-Net.Ru

The method of direct computation of the universal (fibred) product in the category of commutative associative algebras of finite type with unity over a field is given and proven. The field of coefficients is not supposed to be algebraically closed and can be of any characteristic. Formation of fibred product of commutative associative algebras is an algebraic counterpart of gluing algebraic schemes by means of some equivalence relation in algebraic geometry. If initial algebras are finite-dimensional vector spaces, the dimension of their product obeys a Grassmann-like formula. A finite-dimensional case means geometrically the strict version of adding two collections of points containing a common part. The method involves description of algebras by generators and relations on input and returns similar description of the product algebra. It is "ready-to-eat"  even for computer realization. The product algebra is well-defined: taking other descriptions of the same algebras leads to isomorphic product algebra. Also it is proven that the product algebra enjoys universal property, i.e. it is indeed a fibred product. The input data are a triple of algebras and a pair of homomorphisms $A_1\stackrel{f_1}{\to}A_0 \stackrel{f_2}{\leftarrow}A_2$. Algebras and homomorphisms can be described in an arbitrary way. We prove that for computing the fibred product it is enough to restrict to the case when $f_i,i=1,2$ are surjective and describe how to reduce to the surjective case. Also the way of choosing generators and relations for input algebras is considered. Paper is published in the author's wording. 
@article{MAIS_2016_23_5_a10,
     author = {N. V. Timofeeva},
     title = {Fibred product of commutative algebras: generators and relations},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {620--634},
     publisher = {mathdoc},
     volume = {23},
     number = {5},
     year = {2016},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2016_23_5_a10/}
}
TY  - JOUR
AU  - N. V. Timofeeva
TI  - Fibred product of commutative algebras: generators and relations
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2016
SP  - 620
EP  - 634
VL  - 23
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2016_23_5_a10/
LA  - en
ID  - MAIS_2016_23_5_a10
ER  - 
%0 Journal Article
%A N. V. Timofeeva
%T Fibred product of commutative algebras: generators and relations
%J Modelirovanie i analiz informacionnyh sistem
%D 2016
%P 620-634
%V 23
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2016_23_5_a10/
%G en
%F MAIS_2016_23_5_a10
N. V. Timofeeva. Fibred product of commutative algebras: generators and relations. Modelirovanie i analiz informacionnyh sistem, Tome 23 (2016) no. 5, pp. 620-634. http://geodesic.mathdoc.fr/item/MAIS_2016_23_5_a10/

[1] R. Hartshorne, Algebraic Geometry, Graduate Texts in Math., 52, Springer-Verlag, New York, 1977 | DOI | MR | Zbl

[2] V.I. Danilov, “Algebraic manifolds and schemes”, Sovremennye Problemy Matematiki. Fundamentalnye napravleniya (Contemporary Problems of Math. Fundamental Directions). Itogi nauki i tehn. VINITI RAN USSR, 23, 1988, 172–302 (in Russian)

[3] D. Knutson, Algebraic Spaces, Lecture Notes in Mathematics, 203, Springer, 1971 | DOI | MR | Zbl

[4] D. Mumford, J. Fogarty, Geometric Invariant Theory, Second enlarged Ed., Springer-Verlag, Berlin–Heidelberg–New York, 1982 | MR | Zbl

[5] S. I. Gel'fand, Yu. I. Manin, “Homological algebra”, Sovremennye Problemy Matematiki. Fundamental'nye napravleniya (Contemporary Problems of Math. Fundamental Directions). Itogi nauki i tehn. VINITI RAN USSR, 38, 1989, 5–238 (in Russian) | MR