1629b18c209d4dd1.tex
1: \begin{abstract}
2: Suppose $\alpha$ is a nonzero cardinal number,
3: $\mathcal I$ is an ideal on
4: arc connected topological space $X$, and
5: ${\mathfrak P}_{\mathcal I}^\alpha(X)$ is the subgroup of $\pi_1(X)$
6: (the first fundamental group of $X$) generated by homotopy classes of
7: $\alpha\frac{\mathcal I}{}$loops.
8: The main aim of this text is to study ${\mathfrak P}_{\mathcal I}^\alpha(X)$s
9: and compare them.
10: Most interest is in $\alpha\in\{\omega,c\}$ and $\mathcal
11: I\in\{\mathcal P_{fin}(X),\{\varnothing\}\}$, where $\mathcal
12: P_{fin}(X)$ denotes the collection of all finite subsets of $X$.
13: We denote  ${\mathfrak P}_{\{\varnothing\}}^\alpha(X)$ with
14:  ${\mathfrak P}^\alpha(X)$. We
15: prove the following statements:
16: \\
17: $\bullet$ for arc connected topological spaces $X$ and $Y$
18:     if
19:     ${\mathfrak P}^\alpha(X)$ is isomorphic to ${\mathfrak P}^\alpha(Y)$
20:     for all infinite cardinal number $\alpha$, then
21:     $\pi_1(X)$ is isomorphic to $\pi_1(Y)$;
22: \\
23: $\bullet$ there are arc connected topological spaces $X$ and $Y$
24:     such that $\pi_1(X)$ is isomorphic to $\pi_1(Y)$ but
25:     ${\mathfrak P}^\omega(X)$ is not isomorphic to ${\mathfrak P}^\omega(Y)$;
26: \\
27: $\bullet$ for arc connected topological space $X$ we have
28:     ${\mathfrak P}^\omega(X)\subseteq{\mathfrak P}^c(X)
29:     \subseteq\pi_1(X)$;
30: \\
31: $\bullet$ for Hawaiian earring $\mathcal X$, the sets
32:     ${\mathfrak P}^\omega({\mathcal X})$, ${\mathfrak P}^c({\mathcal X})$,
33:     and $\pi_1({\mathcal X})$
34:     are pairwise distinct.
35: \\
36: So  ${\mathfrak P}^\alpha(X)$s and  ${\mathfrak P}_{\mathcal I}^\alpha(X)$s
37: will help us to classify the class of all arc connected topological spaces with
38: isomorphic fundamental groups.
39: \end{abstract}
40: