Knot at Lunch, November 7, 2007: Difference between revisions
No edit summary |
No edit summary |
||
(3 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
{{KAL/Navigation}} |
{{KAL/Navigation}} |
||
==Invitation== |
==Invitation== |
||
Line 7: | Line 6: | ||
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) |
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 |
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. |
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. |
||
Line 14: | Line 13: | ||
Dror. |
Dror. |
||
==The Agenda== |
|||
* Definition of "an expansion". |
|||
* 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>. |
|||
* Relative 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 ):
and