Knot at Lunch, November 7, 2007: Difference between revisions

From Drorbn
Jump to navigationJump to search
No edit summary
No edit summary
 
(2 intermediate revisions by the same user not shown)
Line 15: Line 15:


==The Agenda==
==The Agenda==
* Definition of "Expansion".
* Definition of "an expansion".
* Solving equations in groups.
* Solving equations in groups.
* Examples: <math>{\mathbb Z}</math>, <math>{\mathbb Z}^n</math>, <math>F_n</math>, <math>PB_n</math>, and <math>B_n</math>.
* Examples: <math>{\mathbb Z}</math>, <math>{\mathbb Z}^n</math>, <math>F_n</math>, <math>PB_n</math>, and <math>B_n</math>.
* Relative expansions.
* Relative expansions.
* Functorial expansions.
* Functorial expansions.
* Expansions for other algebraic structures.

===Note===
If <math>\sigma_j</math> denote the standard generators of the (non-pure) braid group <math>B_n</math> then the pure braid group <math>PB_n</math> is generated by elements <math>x_{ij}</math> with <math>i<j</math> and
{{Equation*|<math>x_{ij}=(\sigma_{j-2}\cdots\sigma_i)^{-1}\sigma_{j-2}^2(\sigma_{j-2}\cdots\sigma_i)</math>}}
with relations (always <math>i<j<k<l</math>):
{{Equation*|<math>[a_{ijk},x_{ij}]=[a_{ijk},x_{ik}]=[a_{ijk},x_{jk}]=1</math> where <math>a_{ijk}:=x_{ij}x_{ik}x_{jk}</math>}}
and
{{Equation*|<math>[x_{ij},x_{kl}]=[x_{il},x_{jk}]=[x_{ik},x_{ij}^{-1}x_{jl}x_{ij}]=1</math>.}}

Latest revision as of 11:37, 7 November 2007

Invitation

Dear Knot at Lunch People,

We will have our next fall lunch on Wednesday November 7, at 12 noon, not in our usual place, but instead at the department "meeting room", Bahen 6290B (the little room by the mail room, entrance from the administrative offices)

As always, please bring brown-bag lunch and fresh ideas. The agenda: I will lead an informal discussion of "Expansions for Groups".

As always, if you know anyone I should add to this mailing list or if you wish to be removed from this mailing list please let me know. To prevent junk accumulation in mailboxes, I will actively remove inactive people unless they request otherwise.

Best,

Dror.

The Agenda

  • Definition of "an expansion".
  • Solving equations in groups.
  • Examples: , , , , and .
  • Relative expansions.
  • Functorial expansions.
  • Expansions for other algebraic structures.

Note

If denote the standard generators of the (non-pure) braid group then the pure braid group is generated by elements with and

with relations (always ):

where

and

.