Find materials for this course in the pages linked along the left. No enrollment or registration. Freely browse and use OCW materials at your own pace. There's no signup, and no start or end dates. Knowledge is your reward. Use OCW to guide your own life-long learning, or to teach others. We don't offer credit or certification for using OCW. Made for sharing. Download files for later. Two-dimensional homotopy and combinatorial group theory. Papers on Group Theory and Topology. Combinatorial Group Theory Classics in Mathematics.
Combinatorial group theory: A topological approach. Combinatorial Algebraic Topology. Foundations of combinatorial topology.
Intuitive combinatorial topology. Intuitive Combinatorial Topology. Fusion Systems: Group theory, representation theory, and topology. On Combinatorial Topology. There can be only one identity element in a group, and each element in a group has exactly one inverse element. Thus, it is customary to speak of the identity, and the inverse of an element. The term b on the first line above and the c on the last are equal, since they are connected by a chain of equalities.
In other words, there is only one inverse element of a. Similarly, to prove that the identity element of a group is unique, assume G is a group with two identity elements e and f. In this case, the group operation is often denoted as an addition , and one talks of subtraction and difference instead of division and quotient. A consequence of this is that multiplication by a group element g is a bijection.
- Navigation menu.
- Romantics and modernists in British cinema?
- Things to do with your Atari computer!
- Hidden Place.
- Strings, Conformal Fields, and Topology: An Introduction!
This function is called the left translation by g. If G is abelian, the left and the right translation by a group element are the same. To understand groups beyond the level of mere symbolic manipulations as above, more structural concepts have to be employed. This compatibility manifests itself in the following notions in various ways. For example, groups can be related to each other via functions called group homomorphisms. By the mentioned principle, they are required to respect the group structures in a precise sense.
The structure of groups can also be understood by breaking them into pieces called subgroups and quotient groups. The principle of "preserving structures"—a recurring topic in mathematics throughout—is an instance of working in a category , in this case the category of groups. In other words, the result is the same when performing the group operation after or before applying the map a. Thus a group homomorphism respects all the structure of G provided by the group axioms. From an abstract point of view, isomorphic groups carry the same information. Informally, a subgroup is a group H contained within a bigger one, G.
Knowing the subgroups is important in understanding the group as a whole. Given any subset S of a group G , the subgroup generated by S consists of products of elements of S and their inverses. It is the smallest subgroup of G containing S. Again, this is a subgroup, because combining any two of these four elements or their inverses which are, in this particular case, these same elements yields an element of this subgroup. In many situations it is desirable to consider two group elements the same if they differ by an element of a given subgroup.
For example, in D 4 above, once a reflection is performed, the square never gets back to the r 2 configuration by just applying the rotation operations and no further reflections , i. Cosets are used to formalize this insight: a subgroup H defines left and right cosets, which can be thought of as translations of H by arbitrary group elements g. In symbolic terms, the left and right cosets of H containing g are.
- Tools of Radio Astronomy!
- Dynamics and Control of Lorentz-Augmented Spacecraft Relative Motion!
- Not Dead & Not for Sale: A Memoir.
- Macromedia Flash MX for Windows and Macintosh: Visual QuickStart Guide.
- Max Dehn, John Stillwell!
- Something About the Author, Volume 199.
- Research: Combinatorics, Group Theory, and Topology?
The left cosets of any subgroup H form a partition of G ; that is, the union of all left cosets is equal to G and two left cosets are either equal or have an empty intersection. Similar considerations apply to the right cosets of H. The left and right cosets of H may or may not be equal. If they are, i. In some situations the set of cosets of a subgroup can be endowed with a group law, giving a quotient group or factor group.
For this to be possible, the subgroup has to be normal. Given any normal subgroup N , the quotient group is defined by. The group operation on the quotient is shown at the right. Quotient groups and subgroups together form a way of describing every group by its presentation : any group is the quotient of the free group over the generators of the group, quotiented by the subgroup of relations.
Together with the relations. A presentation of a group can also be used to construct the Cayley graph , a device used to graphically capture discrete groups. In general, homomorphisms are neither injective nor surjective. Kernel and image of group homomorphisms and the first isomorphism theorem address this phenomenon. Examples and applications of groups abound.
A starting point is the group Z of integers with addition as group operation, introduced above. If instead of addition multiplication is considered, one obtains multiplicative groups. These groups are predecessors of important constructions in abstract algebra. Groups are also applied in many other mathematical areas. Mathematical objects are often examined by associating groups to them and studying the properties of the corresponding groups.
The second image at the right shows some loops in a plane minus a point. The blue loop is considered null-homotopic and thus irrelevant , because it can be continuously shrunk to a point. The presence of the hole prevents the orange loop from being shrunk to a point. The fundamental group of the plane with a point deleted turns out to be infinite cyclic, generated by the orange loop or any other loop winding once around the hole.
Thirteen Papers on Group Theory, Algebraic Geometry and Algebraic Topology
This way, the fundamental group detects the hole. In more recent applications, the influence has also been reversed to motivate geometric constructions by a group-theoretical background. In addition to the above theoretical applications, many practical applications of groups exist. Cryptography relies on the combination of the abstract group theory approach together with algorithmical knowledge obtained in computational group theory , in particular when implemented for finite groups. Many number systems, such as the integers and the rationals enjoy a naturally given group structure.
In some cases, such as with the rationals, both addition and multiplication operations give rise to group structures. Such number systems are predecessors to more general algebraic structures known as rings and fields. Further abstract algebraic concepts such as modules , vector spaces and algebras also form groups. The desire for the existence of multiplicative inverses suggests considering fractions. Fractions of integers with b nonzero are known as rational numbers. The closure requirement still holds true after removing zero, because the product of two nonzero rationals is never zero.
The rational numbers including 0 also form a group under addition. Group theoretic arguments therefore underlie parts of the theory of those entities. In modular arithmetic , two integers are added and then the sum is divided by a positive integer called the modulus.
The result of modular addition is the remainder of that division. This is familiar from the addition of hours on the face of a clock : if the hour hand is on 9 and is advanced 4 hours, it ends up on 1, as shown at the right. For any prime number p , there is also the multiplicative group of integers modulo p. The group operation is multiplication modulo p.
That is, the usual product is divided by p and the remainder of this division is the result of modular multiplication. The primality of p ensures that the product of two integers neither of which is divisible by p is not divisible by p either, hence the indicated set of classes is closed under multiplication. Finally, the inverse element axiom requires that given an integer a not divisible by p , there exists an integer b such that.
Hence all group axioms are fulfilled. They are crucial to public-key cryptography. A cyclic group is a group all of whose elements are powers of a particular element a. In additive notation, the requirement for an element to be primitive is that each element of the group can be written as. Indeed, each element is expressible as a sum all of whose terms are 1.
Any cyclic group with n elements is isomorphic to this group. The group operation is multiplication of complex numbers. Some cyclic groups have an infinite number of elements. In these groups, for every non-zero element a , all the powers of a are distinct; despite the name "cyclic group", the powers of the elements do not cycle.
The study of finitely generated abelian groups is quite mature, including the fundamental theorem of finitely generated abelian groups ; and reflecting this state of affairs, many group-related notions, such as center and commutator , describe the extent to which a given group is not abelian. Symmetry groups are groups consisting of symmetries of given mathematical objects—be they of geometric nature, such as the introductory symmetry group of the square, or of algebraic nature, such as polynomial equations and their solutions.
A group is said to act on another mathematical object X if every group element performs some operation on X compatibly to the group law. In the rightmost example below, an element of order 7 of the 2,3,7 triangle group acts on the tiling by permuting the highlighted warped triangles and the other ones, too.
By a group action, the group pattern is connected to the structure of the object being acted on. In chemical fields, such as crystallography , space groups and point groups describe molecular symmetries and crystal symmetries. These symmetries underlie the chemical and physical behavior of these systems, and group theory enables simplification of quantum mechanical analysis of these properties.
Not only are groups useful to assess the implications of symmetries in molecules, but surprisingly they also predict that molecules sometimes can change symmetry. The Jahn-Teller effect is a distortion of a molecule of high symmetry when it adopts a particular ground state of lower symmetry from a set of possible ground states that are related to each other by the symmetry operations of the molecule.