In mathematics, a rose (also known as a bouquet of circles) is a topological space obtained by gluing together a collection of circles along a single point. Mathematics is the body of Knowledge and Academic discipline that studies such concepts as Quantity, Structure, Space and Topological spaces are mathematical structures that allow the formal definition of concepts such as Convergence, connectedness, and continuity. In Topology and related areas of Mathematics, a quotient space (also called an identification space) is intuitively speaking the result of identifying In Mathematics, the circle group, denoted by T (or in Blackboard bold by \mathbb T is the multiplicative group of all Complex The circles of the rose are called petals. Roses are important in algebraic topology, where they closely related to free groups. Algebraic topology is a branch of Mathematics which uses tools from Abstract algebra to study Topological spaces The basic goal is to find algebraic In Mathematics, a group G is called free if there is a Subset S of G such that any element of G can be
Contents |
A rose is a wedge sum of circles. In Mathematics, the fundamental group is one of the basic concepts of Algebraic topology. In Mathematics, a group G is called free if there is a Subset S of G such that any element of G can be In Topology, the wedge sum (sometimes wedge product, though not to be confused with the Exterior product, which also shares this terminology is a "one-point In Mathematics, the circle group, denoted by T (or in Blackboard bold by \mathbb T is the multiplicative group of all Complex That is, the rose is the quotient space C/S, where C is a disjoint union circles and S a set consisting of one point from each circle. In Topology and related areas of Mathematics, a quotient space (also called an identification space) is intuitively speaking the result of identifying As a cell complex, a rose has a single vertex, and one edge for each circle. In Topology, a CW complex is a type of Topological space introduced by J This makes it a simple example of a topological graph. In Mathematics topological graph theory is a branch of Graph theory.
A rose with n petals can also be obtained by identifying n points on a single circle. The rose with two petals is known as the figure eight.
The fundamental group of a rose is free, with one generator for each petal. In Mathematics, the fundamental group is one of the basic concepts of Algebraic topology. In Mathematics, a group G is called free if there is a Subset S of G such that any element of G can be In Abstract algebra, a generating set of a group G is a Subset S such that every element of G can be expressed as the The universal cover is an infinite tree, which can be identified with the Cayley graph of the free group. In Mathematics, a covering space is a Topological space C which "covers" another space X by a Surjective Local homeomorphism In Mathematics, the Cayley graph, also known as the Cayley colour graph, is the graph that encodes the structure of a Discrete group. (This is a special case of the presentation complex associated to any presentation of a group. In Geometric group theory, a presentation complex is a 2-dimensional Cell complex associated to any presentation of a group G. In Mathematics, one method of defining a group is by a presentation. )
The intermediate covers of the rose correspond to subgroups of the free group. In Mathematics, a covering space is a Topological space C which "covers" another space X by a Surjective Local homeomorphism In Group theory, given a group G under a Binary operation * we say that some Subset H of G is a subgroup of The observation that any cover of a rose is a graph provides a simple proof that every subgroup of a free group is free (the Nielsen-Schreier Theorem). In Mathematics topological graph theory is a branch of Graph theory.
Because the universal cover of a rose is contractible, the rose is actually an Eilenberg-MacLane space for the associated free group F. In Mathematics, a Topological space X is contractible if the Identity map on X is Null-homotopic, i In Mathematics, an Eilenberg-MacLane space is a special kind of Topological space that can be regarded as a building block for Homotopy theory. This implies that the cohomology groups Hn(F) are trivial for n ≥ 2. In Abstract algebra, Homological algebra, Algebraic topology and Algebraic number theory, as well as in applications to Group theory proper