Professional Documents
Culture Documents
Folding On The Wedge Sum of Graphs and Their Fundamental Group
Folding On The Wedge Sum of Graphs and Their Fundamental Group
1 Introduction
The graph theory is being applied in many different fields such as engineering system
science, social science and human relations, business administrations and scientific
management, political science, physical and organization systems, the electrical cir-
cuits and networks, route maps, architectural floor plans, chemistry, ecology, trans-
portation theory, system diagnosis, music, etc.
The folding of a manifold introduced in [15], also some studies of the folding
are obtained in [6]-[9],[11]. The fundamental groups of some types of a manifold
are discussed in [1]-[5], [12]-[14]. The study of graphs are discussed and defined in
[10, 16, 17].
Definition 2.1. The set of homotopy classes of loops based at the point x0 with
the product operation [f ][g] = [f g] is called the fundamental group and denoted by
1 (X, x0 ) [14].
Definition 2.4. A connected graph is a graph in one piece, whereas one which splits
into several pieces is disconnected [17].
Definition 2.5. A planar graph is a graph which can be embedded in the plane, i.e.,
it can be drawn on the plane in such a way that its edges intersect only at their end
points [16].
Definition 2.6. A dual graph of a given planar graph G is a graph which has a vertex
for each plane region of G, and an edge for each edge in G joining two neighboring
regions, for a certain embedding of G and denoted by dual(G) [17].
Definition 2.7. An infinite graph is graph such that the edge and vertex sets each
have infinite cardinality [17].
Theorem 3.2. If Gn is connected planar graph with n- vertices, without loops then
1 (dual(Gn )) is a free group of rank n 1.
Proof. Let be Gn connected planar graph with n vertices, then dual(Gn ) has n
faces, but n faces form n 1 loops and these loops are homotopy equivalent to
n1 n1
(n1)-leaved rose, so 1 (dual(Gn )) 1 ( Si1 ) = 1 (Si1 ), thus 1 (dual(Gn ))
i=1 i=1
1 ( Z Z . . . ). Hence 1 (dual(Gn )) is a free group of rank n 1.
Theorem 3.3. Let G be a connected path graph which can be represented it as the
1
closed interval [0, 1] where length (e n ) = n(n+1) for, n = 1, 2, 3, . . .. Then
i) 1 (dual(G)) is uncountable.
ii) There is a folding F : G G0 which induces folding F : 1 (G) 1 (G0 )
such that F (1 (G)) is uncountable.
iii) lim (F n (1 (dual(G)))) = lim (F n (1 (G))) = 0.
n n
Proof. i) Let G be a connected path graph which can be represented it as the closed
1
interval [0, 1], where length(en ) = n(n+1) for, n = 1, 2, 3, . . .. Then dual(G) R2
is the union of the circles Cn of radii n1 and centered at ( n1 , 0), n = 1 , 2 , . . ., as
in Fig. (1.a). Now we want to show that 1 (dual(G)) is uncountable. Consider the
16 M. Abu-Saleem
Theorem 3.4. Let G be an infinite connected graph that is the union of edges en
where length(en ) = n1 length(e1 )) for, n = 2, 3, . . . with common one vertex. Then
i) 1 (dual(G)) is a free group on a countable set of generators.
ii) There is a folding F : G G0 such that F (G) = dual(G) which induces folding
F : 1 (G) 1 (G0 ) such that F (1 (G)) = 1 (dual(G)).
Proof. i) It follows from dual(G) = S 1 that 1 (dual(G) 1 ( S 1 ) and so 1 (dual(G)
1 ( Z Z . . . ) thus, 1 (dual(G)) is a free group on a countable set of generators.
ii) Consider the folding F : G G0 which can be folded all edges to loops as in Fig.
2 thus F (G) = dual(G), so we get the induced folding F : 1 (G) 1 (G0 ) such
that F (1 (G)) = 1 (dual(G)).
Folding on the wedge sum of graphs and their fundamental group 17
Theorem 3.5. Let G be a connected planar graph with n- vertices, then there is a
folding F : dual(G) dual(G) which induce folding F : 1 (dual(G)) 1 (dual(G))
such that F (1 (dual(G))) Z.
Proof. Let G be a connected planar graph with n vertices; then dual(G) has n faces,
but n faces form n 1 loops. Now, consider the folding from dual(G) into itself
which folded all loops to only one loop, so F (dual(G)) S 1 , thus F (1 (dual(G))) =
1 (F (dual(G))) 1 (S 1 ). Hence there is a folding F : dual(G) dual(G) which
induces foldings F : 1 (dual(G)) 1 (dual(G)) such that F (1 (dual(G))) Z.
Lemma 3.6. Let G1 and G2 be two graphs, then dual (G1 G2 ) = dual(G1 )
dual(G2 ).
Proof. The proof of this lemma follows immediately from the definition of the dual
graph.
Theorem 3.7. Let P n be a path graph with n vertices. Then 1 (dual ( Pn )) is a
n=1
free group on a countable set of generators.
Proof. It follows from dual ( Pn ) = dual (Pn ) = Sn that 1 (dual ( Pn )) =
n=1 n=1 n=1 n=1
1 ( Sn ), thus 1 ( Sn ) = Sn Z. Hence, 1 (dual ( Pn )) is a free group
n=1 n=1 n=1 n=1 n=1
on a countable set of generators.
Theorem 3.8. Let G1 , G2 be two disjoint connected graphs, then there is a folding
F : G1 G2 G01 G02 which induces folding F : 1 (G1 G2 ) 1 (G01 G02 )
such that F (1 (G1 G2 ) ) = 1 (F (G1 )) 1 (F (G2 )).
Proof. let F : G1 G2 G01 G02 be a folding such that F (G1 G2 ) = F (G1 )F (G2 )
as in Fig. 3, then we get the induced folding F : 1 (G1 G2 ) 1 (G01 G02 )
such that F (1 (G1 G2 ) ) = F (1 (G1 G2 ) ), so F (1 (G1 G2 ) ) = F (1 (G1 ))
F (1 (G2 )). Since, F (1 (Gi )) = 1 (F (Gi )) f or , i = 1, 2, it follows that F (1 (G1
G2 ) ) = 1 (F (G1 )) 1 (F (G2 )).
n n
Theorem 3.9. If G1 , G2 , . . . , Gn are connected graphs and F : Gi Gi is
i=1 i=1
n
a folding mapping from Gi into itself, then there is an induced folding
i=1
n n
F : 1 (F (Gi )) 1 (F (Gi )),
i=1 i=1
n
which reduces the rank of 1 (F (Gi )).
i=1
18 M. Abu-Saleem
n n n
Proof. Let F : Gi Gi be a folding such that F ( Gi ) = G1 G2 . . .
i=1 i=1 i=1
n n
F (Gs ) Gn , for s = 1, 2, . . . , n. Then F ( 1 (Gi ) ) = 1 (F ( Gi ))
i=1 i=1
1 (G1 ) 1 (G2 ) 1 (F (Gs )) 1 (Gn ). Since rank ( 1 (F (Gs ))) rank
n n
( 1 (Gs )), it follows that F reduce the rank of 1 ((Gi ).Also, if F ( Gi ) =
i=1 i=1
G1 G2 F (Gs ) F (Gk ) Gn for k = 1, 2, . . . , n, s < k then
n n
F ( 1 (Gi ) ) = 1 (F ( Gi )) 1 (G1 )1 (G2 ) 1 (F (Gs )) 1 (F (Gk ))
i=1 i=1
n
1 (Gn ) and so F reduce the rank of 1 ((Gi ) .Moreover, by continuing this process
i=1
n n n n n
if F ( Gi ) = F (Gi ).Then, F ( 1 (Gi ) ) = 1 (F ( Gi )) = 1 ( F (Gi ))
i=1 i=1 i=1 i=1 i=1
n n
1 (F (Gi )). Hence F reduce the rank of 1 (F (Gi )).
i=1 i=1
References
[1] M. Abu-Saleem, Folding on the chaotic Cartesian product of manifolds and their
fundamental group, Tamkang Journal of Mathematics 39, 4 (2008), 353-361.
[2] M. Abu-Saleem, Some Geometric Transformations on Manifolds and Their Al-
gebraic Structures, Ph.D. Thesis, University of Tanta, Egypt 2007.
Folding on the wedge sum of graphs and their fundamental group 19
[3] V.Balan and A. Manea, Leafwise 2-jet cohomology on foliated Finsler manifolds,
Differ. Geom. Dyn. Syst. 29, 2(2008), 28-41.
[4] V.Balan, BH-mean curvature in Randers spaces with anisotropically scaled met-
ric, Differ. Geom. Dyn. Syst. 5, 7 (2007), 34-39.
[5] R.Frigerio, Hyperbolic manifold with geodesic boundary which are determined by
their fundamental group, Topology and its Applications 45 (2004), 69-81.
[6] M. El-Ghoul, Fractional folding of a manifold, Chaos, Solitons and Fractals 12
(2001), 1019-1023.
[7] M. El-Ghoul,A. E. El-Ahmady, and M. Abu-Saleem, Folding on the Cartesian
product of manifolds and their fundamental group, Applied Sciences, 9 (2007),
86-91.
[8] M. El-Ghoul,A.E. El-Ahmady, H. Rafat, and M. Abu-Saleem, Foldings and re-
tractions of manifolds and their fundamental groups, International Journal of
Pure and Applied Mathematics 29, 3 (2006), 385-392.
[9] M. El-Ghoul,A.E. El-Ahmady, H. Rafat, and M. Abu-Saleem, The fundamen-
tal group of the connected sum of manifolds and their foldings, Chungcheong
Mathematical Society, 18 (2005), 161-172.
[10] M. El-Ghoul, A.E. El-Ahmady, T.Homoda, On chaotic graphs and applications
in physics and biology, Chaos, Solitons and Fractals, 27 (2006), 159-173.
[11] E. El-Kholy, Isometric and Topological Folding of a Manifold, Ph. D. Thesis,
University of Southampton, UK. 1981.
[12] A. Kucuk and M. Bayram, Automatic calculation of the fundamental group of an
oriented surface of genus n with k boundary surfaces, Applied Mathematics and
Computation 162 (2005), 1-6.
[13] W. S. Massey, Algebraic Topology: An Introduction, Harcourt Brace and World
1967.
[14] O. Neto and P. C. Silva, The fundamental group of an algebric link, C. R. Acad
Sci. Paris, Ser. I, 340 (2005), 141-146.
[15] S.A. Robertson, Isometric folding of Riemannian manifolds, Proc. Roy. Soc Ed-
inburgh 77 (1977), 275-289.
[16] A.T.White, Graphs, Groups and Surfaces, North-Holland Publishing Co. 1973.
[17] R.J.Wilson, J.J. Watkins, Graphs - An Introductory Approach, A first course in
discrete mathematics, John Wiley & Sons. Inc. 1990.
Authors address:
M. Abu-Saleem
Department of Mathematics, Al-Laith college for Girls,
Umm AL-Qura University, Saudi Arabia
E-mail: mohammedabusaleem2005@yahoo.com