File:Covering-Graph.png

Original file (889 × 538 pixels, file size: 15 KB, MIME type: image/png)

Summary

Description
English: Example of the topological proof of the Nielsen-Schreier Theorem. The free group G = pi_1(X) has two generators corresponding to loops a,b from the base point P in X. The index 2 subgroup H of even-length words corresponds to the covering graph Y with two vertices corresponding to the cosets H and H' = aH = bH = a^{-1}H = b^{-1}H, and two lifted edges for each of the original loop-edges a,b. Contracting one of the edges of Y gives a homotopy equivalence to a bouquet of 3 circles, so that H = pi_1(Y) is free on three generators.
Date
Source Own work
Author Magyar25

Licensing

I, the copyright holder of this work, hereby publish it under the following license:
w:en:Creative Commons
attribution share alike
This file is licensed under the Creative Commons Attribution-Share Alike 4.0 International license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
  • share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

10 February 2019

image/png

2f11daa81df4319dd046076c5c4eebae8cbf6623

15,748 byte

538 pixel

889 pixel

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current21:49, 10 February 2019Thumbnail for version as of 21:49, 10 February 2019889 × 538 (15 KB)Magyar25Cross-wiki upload from en.wikipedia.org

The following page uses this file:

Global file usage

The following other wikis use this file:

Metadata