בעיית היצירה בחבורת תומפסון

קבוצה יוצרת $X$ של חבורה $G$ היא קבוצת איברים כך שכל איבר ב $G$ שווה למכפלה של איברים מ $X$ והופכיים של איברים מ $X$. בעיית היצירה עבור חבורה $G$ עוסקת בשאלה האם ניתן לקבוע, בהינתן תת קבוצה סופית $X$ של $G$, אם $X$ יוצרת את $G$. בעיית היצירה בחבורה $G$ פתירה, אם יש אלגוריתם שבהינתן תת קבוצה סופית $X$ של $G$ קובע אם $X$ יוצרת את $G$.

אנו נדון בבעיית היצירה במספר חבורות אינסופיות, ביניהן החבורה $F$ של תומפסון שניתנת להגדרה כחבורה של פונקציות על קטע היחידה $[0,1]$.