# Full text of "A Generalization of Seifert-Van Kampen Theorem for Fundamental Groups"

## See other formats

A Generalization of Seifert-Van Kampen Theorem for Fundamental Groups O oo o o o Linfan MAO (Chinese Academy of Mathematics and System Science, Beijing 100080, P.R.China) E-maih maolinfanC!)163.com Abstract: As we known, the Seifert-Van Kampen theorem handles fun- damental groups of those topological spaces X = U L) V for open subsets U, V G X such that U OV is arcwise connected. In this paper, this theo- rem is generalized to such a case of maybe not arcwise-connected, i.e., there are Ci, C2,---, Cm arcwise-connected components in U H V for an integer m > 1, which enables one to find fundamental groups of combinatorial spaces by that of spaces with theirs underlying topological graphs, particularly, that of compact manifolds by their underlying graphs of charts. Key Words: Fundamental group, Seifert-Van Kampen theorem, topological space, combinatorial manifold, topological graph. AMS(2010): 51H20. §1. Introduction All spaces X considered in this paper are arcwise-connected, graphs are connected topological graph, maybe with loops or multiple edges and interior of an arc a : 5^ I (0, 1) — )■ X is opened. For terminologies and notations not defined here, we follow the reference [l]-[3] for topology and [4]- [5] for topological graphs. Let X be a topological space. A fundamental group 7ri(X, xq) of X based at a point a;o G X is formed by homotopy arc classes in X based a,t E X. For an arcwise-connected space X, it is known that 7ri(X, a;o) is independent on the base point xo, that is, for Wxo,yo G X, 7ri(X,Xo) = ni{X,yo). Find the fundamental group of a space X is a difficult task in general. Until today, the basic tool is still the Seifert- Van Kampen theorem following. Theorem 1.1 (Seifert and Van-Kampen) Let X = U U V with U, V open subsets and let X, U, V , U (IV be non-empty arcwise-connected with Xq E U (IV and H a group. If there are homomorphisms 01 : TXiiJJ, xq) — 7- H and 02 : T^iiV, Xq) — )■ H 1 and J-2 ^fl-ifV . with 01 ■ = 02 ■ i2, where ii : 7ri(f/ fl V,Xo) — > 7ri(f/, xq), : t!'i{U fl V", Xq) — >■ 7ri(V,Xo), ji : 7ri(f/, xo) — > 7ri(X, xq) and j2 : 7ri(V, Xq) — )■ 7ri(X, xq) are homomor- phisms induced by inclusion mappings, then there exists a unique homomorphism $ : vri(X, Xq) — H such that $ ■ ji = 0i ariii $ ■ j2 = 02- Applying Theorem 1.1, it is easily to determine the fundamental group of such spaces X = U VJV with f/ fl V an arcwise-connected following. Theorem 1.2(Seifert and Van-Kampen theorem, classical version) Let spaces X, [/, V and Xq he in Theorem 1.1. // j : 7ri(f/, xo) * Hi{V, Xq) vri(X, xq) an extension homomorphism of ji and j2, then j is an epimorphism with kernel Keij generated by i^^{g)i2{g), g E tti{U fl V,xo), i.e., 7ri(X, Xo) 7ri(f/,Xo) * vri(V,Xo) \i^\g) ■ i2{g)\ g e -KiiU r}V,XQ)Y where [A\ denotes the minimal normal subgroup of a group included A . Now we use the following convention. Convention 1.3 Assume that (1) X is an arcwise-connected spaces, Xq G X; (2) {U\ : A G A} Z5 a covering of X by arcwise-connected open sets such that Xo e Ux for VA G A; (3) For any two indices Ai, A2 G A there exists an index A G A such that U\-^ fl Ux, = Ux If Ux C U^ C X, then the notation 0Am : 7ri(f/A,Xo) ^ 7ri(f/^,Xo) and 0a : 7ri(f/A, Xq) ^ 7ri(X, Xo) denote homomorphisms induced by the inclusion mapping Ux ^ U^ and Ux ^ X, respectively. It should be noted that the Seifert-Van Kampen theorem has been 2 generalized in [2] under Convention 1.3 by any number of open subsets instead of just by two open subsets following. Theorem 1.4([2]) Let X,Ux, A G A fee arcwise- connected space with Convention 1.3 satisfies the following universal mappping condition: Let H be a group and let Px : ni{U\,Xo) H be any collection of homomorphisms defined for all X ^ A such that the following diagram is commutative for U\ C U^: Then there exists a unique homomorphism $ : tti{X,Xo) — )■ H such that for any X \ the followinn d.in.nram. is commutative: 4. Moreover, this universal mapping condition characterizes 7ri(X, xq) up to a unique isomorphism. Theorem 1.4 is useful for determining the fundamental groups of CW-complexes, particularly, the adjunction of n-dimensional cells to a space for n>2. Notice that the essence in Theorems 1.2 and 1.4 is that flAeAf^A is arcwise-connected, which limits the application of such kind of results. The main object of this paper is to generalize the Seifert-Van Kampen theorem to such an intersection maybe non- arcwise connected, i.e., there are Ci, C2,---, Cm arcwise-connected components in U r\V for an integer m > 1. This enables one to determine the fundamental group of topological spaces, particularly, combinatorial manifolds introduced in [6]- [8] following which is a special case of Smarandache multi-space ([9]- [10]). Definition 1.4 A combinatorial Euclidean space (ocin^; z/ G A) underlying a con- nected graph C is a topological spaces consisting of R"" , z/ G A for an index set A such that V{C) = G A}; E{C) = { (R"^R"'^)| R"" nR"-^ ^ 0,/i,z/ G A}. A combinatorial fan-space Il{n^; z/ G A) is a combinatorial Euclidean space 3 ^K^A^inu', e A) of R""', u e A such that for any integers /x, e A, ji^v, R^^PlR"" = Pi R"^ aga which enables us to generahze the conception of manifold to combinatorial manifold, also a locally combinatorial Euclidean space following. Definition 1.5 For a given integerjequence < rii < n2 < ■ ■ ■ < Um, m > 1, a topological combinatorial manifold M is a Hausdorff space such that for any point p e M, there is a local chart {Up,ipp) of p, i.e., an open neighborhood Up of p in ~ ~ s{p) M and a homoeomorphism cpp : Up ^ R(ni(p), n2(p), • • • , ns(p){p)) — (J R'*'^ ufjUJi i=l n2(p), • • • , ns(p){p)} C {m, ris, • • • , n^} and \J{ni{p) , n2{p) , • • • , = pGM {ni, n2, ■ ■ ■ , Um}, denoted by M{ni, n2, ■ ■ • , nm) or M on the context and ^= {{Up,ipp)\pe M{ni,n2, - ■ ■ ,n^))} an atlas on M{ni,n2, ■ ■ ■ , Tim). A topological combinatorial manifold M{ni, n2, ■ ■ ■ , n„i) is finite if it is just com- bined by finite manifolds without one manifold contained in the union of others. If these manifolds Mj, 1 < i < m in M(ni, n2, ■ ■ ■ , n„j) arc Euclidean spaces R"*, 1 < i < m, then M{ni,n2, ■ ■ ■ ,n„i) is nothing but a combinatorial Euclidean space (S'a{n,^; u E A) with A = {1,2, ■ ■ ■ ,m}. Furthermore, If m = 1 and ni = n, or = n for u E A, then M(ni, n2, ■ • ■ , Um) or (ocin^] z/ e A) is exactly a manifold M'^ by definition. §2. Topological Space Attached Graphs A topological graph G is itself a topological space formally defined as follows. Definition 2.1 A topological graph G is a pair {S, S^) of a Hausdorff space S with its a subset such that (1) 5"° is discrete, closed subspaces of S; (2) S — is a disjoint union of open subsets ei, 62, ■ ■ ■ , e^, each of which is homeomorphic to an open interval (0, 1); (3) the boundary e-i — of Ci consists of one or two points. Ifei — consists of two points, then (e^, ei) is homeomorphic to the pair ([0, 1], (0, 1)); z/cj — consists of one point, then (cj, Cj) is homeomorphic to the pair {S^, — {1}); (4) a subset A G G is open if and only if A r\ e-i is open for 1 < i < m. 4 Fi&2.1 Notice that a topological graph maybe with semi-edges, i.e., those edges e"*" G E{G) with e"*" : [0, 1) or (0, 1] — )■ 5*. A topological space X attached with a graph G is such a space X Q G such that and there are semi-edges e"*" G (X G) \ G, e+ G G \ X. An example for X G can be found in Fig. 2.1. In this section, we characterize the fundamental groups of such topological spaces attached with graphs. Theorem 2.2 Let X be arc- connected space, G a graph and H the subgraph X flG in X Q G. Then for Xq G X fl G, .r,(X0G,xo)~ vr,(X,xo)*vr,(G,a;o) [i^ ^(aejislttejl ex G E{H) \ Tspan)] ' where ii : 7ri(if, Xq) X , 12 : 7[i{H,Xo) — t- G are homomorphisms induced by inclusion mappings, Tspan is a spanning tree in H , a\ = AxexBx is a loop associated with an edge ex = axbx G H\Tspan, G G and Ax, Bx are unique paths from Xq to ax or from bx to xq in Tspan- Proof This result is an immediately conclusion of Seifert-Van Kampen theorem. Let [/ = X and V = G. Then X G = X U G and X n G = i/. By definition, there are both semi-edges in G and H. Whence, they are opened. Applying the Seifert-Van Kampen theorem, we get that ^{vr.r^\r^ 7ri(X,a;o) *7ri(G,xo) 7ri(X G, XoJ [t,\g)i2{g)\ g G 7ri(XnG,xo)] Notice that the fundamental group of a graph H is completely determined by those of its cycles ([2]), i.e., ni{H, Xq) = {ax\ex G E{H) \ Tspan) , 5 where Tgpan is a spanning tree in H, ax = AxCxBx is a loop associated with an edge ex = cixbx ^ H \ Tgpan, Xq E G and Ax, Bx are unique paths from xq to a a or from hx to xo in Tgpan- We finally get the following conclusion, [l^ (aej«2(aej| ex E E[H) \ Tspan)\ Corollary 2.3 Let X he arc-connected space, G a graph. If X (1 G in X Q G is a tree, then TTi{X G,Xo) = 7ri(X,a;o) * 7ri(G',a;o). Particularly, if G is graphs shown in Fig.2.2 following Fi&2.2 and X (IG = Ki^m, Then 7ri{X Q B'^,Xo) = 7ii{X,Xo) * {L,\l < t < m) , where Li is the loop of parallel edges {xo,Xi) in B^ for 1 < i < m — 1 and 7ii{X(DS^,Xo) = ni{X,Xo). Theorem 2.4 Let J^mQG be a topological space consisting of m arcwise- connected spaces Xi,X2, ■ ■ ■ ,Xm, Xi fl Xj =0 for 1 < i,j < m attached with a graph G, V{G) = {xq, Xi, ■ ■ ■ , xi^i}, m < I such that XiCi G = {xj} for < i < I — 1. Then 7ri(jr„0G,Xo) = [f[7r,{X*,xo)]*MG,xo) vi=l / ^ m \ Jj7ri(Xj,a;i) j * 7ri(G',a;o), where X* = Xi[J{xo,Xi) with Xi n {xo,Xi) = {xi} for {xo,Xi) G E{G), integers 1 < i < m. Proof The proof is by induction on m. If m = 1, the result is hold by Corollary 2.3. 6 Now assume the result on ^„ G is hold for m < k < I — 1. Consider m = k + l<l. Let [/ = JTfc G and \/ = Xk+i. Then we know that ^k+i QG^UUV and U nV = {xk+i}- Applying the Seifert-Van Kampen theorem, we find that [h\9)i2{g)\ g e {e^,+J] Jj7ri(X*,a;o)^ *7ri(G,a;o)^ * ni{Xk+i,Xk+i) Jj7ri(Xi,a;i) *7ri{G,xo), vi=l by the induction assumption. □ Particularly, for the graph or star in Fig. 2. 2, we get the following con- clusion. Corollary 2.5 Let G be the graph or star S^. Then 7r,{^mQBl,xo) ^ (J[n,{X*,xo)j*7^^{B^,Xo) / m \ m) .1=1 where Lj is the loop of parallel edges {xq, Xi) in B^ for integers 1 < i < m — 1 and m m M^^QSl,Xo)^l[MX*,xo)^l[7ri(Xi,Xi^,). i=i i=i Corollary 2.6 Let X = G be a topological space with simply-connected spaces Xi for integers 1 < i < m and Xq e X C) G. Then we know that ni{X,xo) = ni{G,Xo). §3. A Generalization of Seifert-Van Kampen Theorem 7 These results and graph shown in Section 2 enables one to generalize the Seifert- Van Kampen theorem to the case of U (IV maybe not arcwise-connected. Theorem 3.1 Let X = U U V , U,V G X be open subsets, X, U, V arcwise- connected and let Ci,C2, ■ ■ ■ , Cm be arcwise-connected components in U (IV for an integer m > 1, G Ci, b{xo,Xi^i) C V an arc : J — )■ X withb{0) = Xo,b{l) = and b{xo, fit/ = {xq, Xt^i}, Cf = Q IJ b{xo, for any integer i, 1 < i < m, H a group and there are homomorphisms 0i : 7ri(f/|j6(a;o,a;i_i),a;o) ^ (p^ : 7ri(V,a;o) ^ H SI i , 6' I - I JT] {Cf., i:^ ) i- JT] (X, it, ) ^ . - U U ^l(V}:^:u) . 1 I, J ^ O'. With ■ in = 02 ■ ii2, where in : 7Ti{Cf,Xo) -> 7Ti{U U b{xo,Xi-i),Xo), ii2 : 7ri(Cf,Xo) -^ni{V,Xo) andjn : ni{UUb{xo, Xi_i, Xq)) ^ 7ri{X, Xq) , ji2 : 7ri(V, a;o)) 7ri(X, Xo) are homomorphisms induced by inclusion mappings, then there exists a unique homomorphism $ : 7ri(X, Xq) — )■ H such that $ ■ jn = and $ ■ ji2 = 02 for integers 1 < i < m. Proof Define = U[J{ b{xo,Xi) | 1 < i < m — 1}. Then we get that X = U V, , V C X are still opened with an arcwise-connected intersection nV = S^m where 5*^ is a graph formed by arcs &(xo, Xi-\), 1 < i < m. m Notice that X^ Sm^ = [j Cf and Cf f] Cf = {xq} for 1 < z, j < m, i j. i=l Therefore, we get that m v^l(X^ ^o) = (g) vri(Cf , Xq). This fact enables us knowing that there is a unique m-tuple {hi, /12, ■ ■ ■ , h^), hi G 'Ki{Cf" ,Xi-i), 1 < i < m such that m i=l for e7Ti{^mQSl,xo). By definition, Zii : ni{Cf,Xo) 7ri(f/ H 6(xo, Xi_i), Xq), 8 ii2 ■ 7ri(Cf ,Xo) 'Ki{V,Xo) are homomorphisms induced by inclusion mappings. We know that there are homo- morphisms if : 7ri(^^ 5^,Xo) ^ 7ri([/^,Xo), if : 7ri(=^^ S'^,Xo) ttiCV^Xo) with if |^,(cf ,a:o) = ii\ni{cf,xo) = for integers 1 < i < m. Similarly, because of m TTiiU^, xq) = IJ 7ri(C/ U b{xo, Xi-i,xo)) i=l and jji :tti{U Ub{xo,Xi^i,Xo)) 7ii{X, xq), ji2 : 7ri(y ^ 7ri(X,a;o) being homomorphisms induced by inclusion mappings, there are homomorphisms jf : 7ri(t/^,a;o) ^ 7ri(X,a;o), jf : 7ri(V,a;o) ^ 7ri(X,a;o) induced by inclusion mappings with jf |7ri(C7u6(xo,x<_i,xo)) = jn, jf kiCy.xo) = ji2 for integers 1 < i < m also. Define 0f and 0f by m m i=l i=l Then they are naturally homomorphic extensions of homomorphisms (f)\, 02 for integers 1 < i < m. Notice that ■ in = 02 " H2 for integers 1 < i < m, we get that (m 1=1 m = lli^l-'^^^^^^)=U(^2-^i2{hi)) i=l i=l = 0f -zf (no =0f -zfi^). m i.e., the following diagram 9 ■jr](L'^\ 2.1.,) ■1* is commutative with ■ i^' if. Applying Theorem 1.1, we know that there exists a unique homomorphism $ : 7ri(X, xq) — )■ -f/^ such that $ ■ jf = 0f and ^ ' j2 — 4'2- Whence, $ ■ jii = (f)\ and $ ■ ji2 = (pl for integers 1 < i < m. □ The foUowing result is a generalization of the classical Seifert-Van Kampen the- orem to the case of maybe non-arcwise connected. Theorem 3.2 Let X, U, V, Cf , b{xo,Xi-i) be arcwise- connected spaces for any integer i, 1 < i < m as in Theorem 3.1, = U |J{ 6(xo, Xi) \ 1 <i <m — 1} and a graph formed by arcs a{xo,Xi-i), b{xo,Xi-i), l<i<m, where a{xo,Xi-i) C U is an arc : I ^ X with a(0) = Xo,a(l) = and a{xo,Xi-i) fl V" = {xo,Xi-i}. Then TTi (f/, Xo) * TTi ( V, Xo) * VTi (S^, Xq) 7ri(X, xo) '{9)■^2ig)\geU^liCf,xo) i=l where if : 7ri(f/^ fl V,Xo) tti^U^^Xq) and if : Hi^U^ fl V,Xo) 7ri(V, xq) are homomorphisms induced by inclusion mappings. Proof Similarly, X = UV , ,V C X are opened with U^nV = ^mQ S^. By the proof of Theorem 3.1 we have known that there are homomorphisms 0f and !)f such that 0f = 02 ■ "^2 • Applying Theorem 1.2, we get that ^ ^ 7ri([/^,Xo) *7ri(V,Xo) Notice that nV^ = Q Sjl. We have known that 7ri(f/^,Xo) = 7ri([/,Xo)*7ri(5, m5 -^o) by Corollary 2.3. As we have shown in the proof of Theorem 3.1, an element in 10 '^li'^m S'^, ^o) can be uniquely represented by i=l where hi e 7ri(Cf, Xo), 1 < i < m. We finally get that 7ri(X,xo) ^ ni{U,xo) * 7ri(V,a;o) * 7ri(5^,xo) i=l □ The form of elements in vri(j|^„ S'^jXq) appeared in Corollary 2.5 enables one to obtain another generalization of classical Seifert-Van Kampen theorem following. Theorem 3.3 Let X , U , V , Ci, C2, • • • , Cm be arcwise- connected spaces, b{xo, Xi-i) arcs for any integer i, 1 < i < m as in Theorem 3.1, = U[J{ b{xQ,Xi^i) \ 1 < i < m} and 5^ a graph formed by arcs a{xo,Xi_i), b{xo,Xi_i), 1 <i <m. Then ni{X, Xo) 7ri(C/, Xo) * 7ri(y", Xo) * 7ri(S^, Xo) ifyK9)-ii{9)\ 9^ UMCi:Xi_i] i=l where if : 7ri(C/-^ n V,xo) 'Ki{U^,xo) and if : 7ri(C/^ n V,xo) 'Ki{V,xo) are homomorphisms induced by inclusion mappings. Proof Notice that C/^ n F = =^ 5^. Applying Corollary 2.5, replacing by T^l{3^m Sl^^Xo) T^li^mQ S'^,Xo) i=l ^f)-\9)■^i{9)\9^U''^{C^,x,_,] 1=1 in the proof of Theorem 3.2. We get this conclusion. Particularly, we get corollaries following by Theorems 3.1, 3.2 and 3.3. □ Corollary 3.4 Let X = U UV , U,V G X be open subsets and X, U, V andUOV arcwise- connected. Then Tri{X, Xo) 7ii{U,xo) * ni(y,xo) [ii\g)-i2{9)\9^MUnV,xo)y where ii : 7ri(C/ fl V,Xo) — >■ 7ri(C/, Xq) and ^2 : 7ri(C/ fl V,Xo) — >■ 7ri(V,a;o) are homo- morphisms induced by inclusion mappings. 11 Corollary 3.5 Let X, U, V, Q, ), b{xo,Xi) for integers i, 1 < i < m be as in Theorem 3.1. // each Ci is simply- connected, then 7ri(X,Xo) = 7ri(f/,Xo) * ■ki{V,Xq) * 7ri(5^,Xo). Proof Notice that Cf, C|', ■ ■ ■ , are all simply-connected by assumption. Ap- plying Theorem 3.3, we easily get this conclusion. □ Corollary 3.6 Let X, U, V, Ci, ), b{xo,Xi) for integers i, 1 < i < m be as in Theorem 3.1. IfV is simply- connected, then 7Ti{X, Xo) 7ii{U,xo) * 7ri(S^,xo) ^E\-l i=l where if : T^iiJJ^ fl V,Xq) — )■ t\:i{U^,Xq) and if '■ T^iiU^ fl V^Xq) — )■ 7ri(V, xq) are homomorphisms induced by inclusion mappings. §4. Fundamental Groups of Combinatorial Spaces 4.1 Fundamental groups of combinatorial manifolds By definition, a combinatorial manifold M is arcwise-connected. So we can apply Theorems 3.2 and 3.3 to find its fundamental group vri(M) up to isomorphism in this section. Definition 4.1 Let M be a combinatorial manifold underlying a graph G[AI]. An edge-induced graph G^[M] is defined by V{G'[M]) = {XM,XM',XI,X2,---,X^^M,M')\ f OT ^{M,M') G E{G[M])], E{G'[M]) = {{xm,xm'), {xM,Xi), {xM'.Xi)\ l<i< /i(M,M')}, where /i(M, M') is called the edge-index of (M, M') with fi{M, M') + 1 equal to the number of arcwise-connected components in M (1 M' . By the definition of edge-induced graph, we finally get (^^[M] of a combinatorial manifold M if we replace each edge (M, M') in G[M] by a subgraph T B'^^j^,^ j^,^ shown in Fig. 4.1 with xm = M and xm' = M'. 12 Fi&4.1 Then we have the following result. Theorem 4.2 Let M be a finitely combinatorial manifold. Then n MM) *n,iG'[M]) 7ri(M) M&V{G[M]) 7ri(MinM2) where if and if are homomorphisms induced by inclusion mappings iM '■ vri(M fl M') — 7- TTi{M), iM' '■ vri(M fl M') — )■ 7ii{M') such as those shown in the following diagram: for\/{M,M') e E{G[M]). Proof This result is obvious for |G[M]| = 1. Notice that G%M] = if y(G[M]) = {M, M'}. Whence, it is an immediately conclusion of Theorem 3.2 for \G[M]\=2. _ Now let /c > 3 be an integer. If this result is true for |G[M]| < k, we prove it hold for [(^[M]! = k. It should be noted that for an arcwise-connected graph H we can always find a vertex v G V{H) such that H — v is also arcwise-connected. Otherwise, each vertex f of if is a cut vertex. There must be = 1, a contradiction. Applying this fact to (^[M], we choose a manifold M G ^^((^[M]) such that M — M is arcwise- connected, which is also a finitely combinatorial manifold. Let U = M \ {M \M) and V = M. By definition, they are both opened. Applying Theorem 3.2, we get that 7ri(M) 7ri(M - M) * 7ri(M) * ni{B^) m i=l 13 where Cj is an arcwise-connected component in M fl (M — M) and m= n{M,M'). {M,M')&E{G[M]) Notice that (M,M')e£(G[M] By the induction assumption, we know that Yl 7ri(M) I *Tii{G%M - M]) ^MeV{GlM-M]) 7ri(M - M) ^ (Mi,M2)e£;{G[M-M]) where if and if are homomorphisms induced by inclusion mappings i^i : 7ri(Mi fl M2) ^ 7ri(Mi), : 7ri(Mi n M2) ^ 7ri(M2) for V(Mi,M2) G £;(G'[M - M]). Therefore, we finally get that 7ri(M - M) * 7ri(M) * 7ri(5^) 7ri(M) 1=1 ( \ \M&/{G\M-M\) *7ri(G'^[M-M]) (Mi,M2)g£(G[M-M]) «=1 7ri(M)* JJ 7ri(rS^(M,M')) (M,M')e-E(G[Ml i=l vMeV(G[M]) (Mi,M2)eE(G[M]) 14 by facts (^/JT) *H^^* H/Jif for groups ^, J^f, G and {M,M')eE{G[M] T^,{G\M]) = 7ri(G"^[M - M]) * J] 7ri(rS^(M,M')), (M,M')eE(G[M] J] 7ri(M)=[ J] 7ri(M) *7ri(M), where if and if are homomorphisms induced by inclusion mappings im '■ tti (M n M') ^ 7ri(M), iM' : 7ri(M n M') ^ 7ri(M') for V{M,M') e E(G[M]). This completes the proof. ^ ^ Applying Corollary 3.5, we get a result known in [8] by noted that G^[M] — G[M] if V(Mi, M2) e £;(G^[M]), Ml n M2 is simply connected. Corollary 4.3([8]) Let M be a finitely combinatorial manifold. If for\/{Mi, M2) G E{G^[M]), Ml n M2 zs simply connected, then ^i(M)= I 0^ 7ri(M)|07ri(G[M]). \M6y(G[M]) / 4.2 Fundamental groups of manifolds Notice that 7ri(R") = identity for any integer n > 1. If we choose M e V(G[M]) to be a chart {U\, (px) with (px ■ R" for A e A in Theorem 4.2, i.e., an n-manifold, we get the fundamental group of n-manifold following. Theorem 4.4 Let M be a compact n-manifold with charts {{Ux,^x)\ (fx '■ Ux ^ R'*,A e A)}. Then MM) ^ -^^^^t^]) iU^„U^,)eE{G[M]) where if and if are homomorphisms induced by inclusion mappings iu^ 7ri(C/^ fl C/^) MU^), iu, : 7ri(C/^ n U^) ni{U„), e A. Corollciry 4.5 Let M be a simply connected manifold with charts {{Ux,(fix)\ fx '■ Ux ^ R", A e A)}, where |A| < +00. Then G^[M] = G[M] is a tree. 15 Particularly, if [/^ fl Ui, is simply connected for V/i, z/ G A, then we obtain an interesting result following. Corollary 4.6 Let M be a compact n-manifold with charts {{U\,(f\)\ Lp\ : U\ R", A G A)}. If Ufj_ n Ui, is simply connected for V;U, z/ G A, then 7T,{M)=m{G[M]). Therefore, by Theorem 4.4 we know that the fundamental group of a manifold M is a subgroup of that of its edge-induced graph [M] . Particularly, if [M] = G[M], i.e., n t/j^ is simply connected for V/x, G A, then it is nothing but the fundamental group of GfM]. References [1] Munkres J.R., Topology (2nd edition). Prentice Hall, Inc, 2000. [2] W.S.Massey, Algebraic Topology: An Introduction, Springer- Verlag, New York, etc.(1977). [3] John M.Lee, Introduction to Topological Manifolds, Springer- Verlag New York, Inc., 2000. [4] J. L. Gross and T.W.Tucker, Topological Graph Theory, John Wiley & Sons, 1987. [5] L.F.Mao, Automorphism Groups of Maps, Surfaces and Smarandache Geome- tries, American Research Press, 2005. [6] L.F.Mao, Geometrical theory on combinatorial manifolds, JP J. Geometry and Topology, Vol.7, No. 1(2007), 65-1 14. [7] L.F.Mao, Combinatorial fields - an introduction. International J. Math. Combin. Vol.3 (2009), 01-22. [8] L.F.Mao, Combinatorial Geometry with Applications to Field Theory, InfoQuest, USA, 2009. [9] L.F.Mao, Smarandache Multi-Space Theory, Hexis, Phoenix, USA 2006. [10] Smarandache F. Mixed noneuclidean geometries. arXiv: ^math/0010119^ 10/2000. 16