Notes for AKT-090924-2/0:15:13: Difference between revisions
From Drorbn
Jump to navigationJump to search
No edit summary |
mNo edit summary |
||
Line 1: | Line 1: | ||
Example: Space of all polynomial with two variables with rational coefficient, with co-multiplication <math>\Delta: \mathbb{Q}[x,y] \rightarrow \mathbb{Q}[x,y] \otimes \mathbb{Q}[x,y]</math> be <math>\Delta(f(x,y)) = f(x_1+x_2, y_1+y_2)</math> where <math>x_1</math> corresponds to an <math>x</math> (or <math>y</math>) before the tensor sign and <math>x_2</math> being after the tensor sign, similarly for <math>y</math>. |
Example: Space of all polynomial with two variables with rational coefficient, with co-multiplication <math>\Delta: \mathbb{Q}[x,y] \rightarrow \mathbb{Q}[x,y] \otimes \mathbb{Q}[x,y]</math> be <math>\Delta(f(x,y)) = f(x_1+x_2, y_1+y_2)</math> where <math>x_1</math> corresponds to an <math>x</math> (or <math>y</math>) before the tensor sign and <math>x_2</math> being after the tensor sign, similarly for <math>y</math>. |
||
Co-unit being the map sending each polynomial to its constant term. |
|||
Check that this is a co-algebra (together with the usual polynomial multiplication, this space is a bi-algebra) |
Check that this is a co-algebra (together with the usual polynomial multiplication, this space is a bi-algebra) |
Latest revision as of 01:51, 26 September 2009
Example: Space of all polynomial with two variables with rational coefficient, with co-multiplication be where corresponds to an (or ) before the tensor sign and being after the tensor sign, similarly for . Co-unit being the map sending each polynomial to its constant term. Check that this is a co-algebra (together with the usual polynomial multiplication, this space is a bi-algebra)