Knot at Lunch, November 7, 2007

From Drorbn
Jump to: navigation, search

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: {\mathbb Z}, {\mathbb Z}^n, F_n, PB_n, and B_n.
  • Relative expansions.
  • Functorial expansions.
  • Expansions for other algebraic structures.

Note

If \sigma_j denote the standard generators of the (non-pure) braid group B_n then the pure braid group PB_n is generated by elements x_{ij} with i<j and

x_{ij}=(\sigma_{j-2}\cdots\sigma_i)^{-1}\sigma_{j-2}^2(\sigma_{j-2}\cdots\sigma_i)

with relations (always i<j<k<l):

[a_{ijk},x_{ij}]=[a_{ijk},x_{ik}]=[a_{ijk},x_{jk}]=1 where a_{ijk}:=x_{ij}x_{ik}x_{jk}

and

[x_{ij},x_{kl}]=[x_{il},x_{jk}]=[x_{ik},x_{ij}^{-1}x_{jl}x_{ij}]=1.