An important diagrama

by iarnab_kundu, Jan 2, 2019, 5:56 PM

All the algebras and rings considered are commutative. Let $A,B$ be a $C$ algebras. Suppose we have a morphism $F:A\to B$ which gives an $A$-algebra structure on $B$. Let $\Delta:A\otimes_C A\to A$ be a diagonal morphism, that is the map given by $a\otimes a'\mapsto aa'$. Let $\psi:A\otimes A\to A\otimes B$ be the morphism given by $a\otimes a'\mapsto a\otimes f(a')$. Suppose $\phi:A\otimes B\to B$ be a morphism $a\otimes b\mapsto f(a)b$. Then the following diagram commutes, $B$ is the fiber product over....

Proof- Given a ring $R$ we consider

Comment

0 Comments

This blog reflects my thoughts on the mathematics that I grapple with. Hopefully these rumblings could be organized as to be palatable to a mathematical audience.

avatar

iarnab_kundu
Tags
About Owner
  • Posts: 866
  • Joined: Jan 12, 2011
Blog Stats
  • Blog created: Mar 9, 2011
  • Total entries: 42
  • Total visits: 27109
  • Total comments: 23
Search Blog
a