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)