Skip to main content
Internet Archive's 25th Anniversary Logo

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