Combinatorial group theory | Combinatorics on words

Presentation of a group

In mathematics, a presentation is one method of specifying a group. A presentation of a group G comprises a set S of generators—so that every element of the group can be written as a product of powers of some of these generators—and a set R of relations among those generators. We then say G has presentation Informally, G has the above presentation if it is the "freest group" generated by S subject only to the relations R. Formally, the group G is said to have the above presentation if it is isomorphic to the quotient of a free group on S by the normal subgroup generated by the relations R. As a simple example, the cyclic group of order n has the presentation where 1 is the group identity. This may be written equivalently as thanks to the convention that terms that do not include an equals sign are taken to be equal to the group identity. Such terms are called relators, distinguishing them from the relations that do include an equals sign. Every group has a presentation, and in fact many different presentations; a presentation is often the most compact way of describing the structure of the group. A closely related but different concept is that of an absolute presentation of a group. (Wikipedia).

Video thumbnail

Visual Group Theory, Lecture 1.4: Group presentations

Visual Group Theory, Lecture 1.4: Group presentations We begin this lecture by learning how to take a Cayley diagram and label its nodes with the elements of a group. Such a labeled diagram can function as a "group calculator". It leads to the notion of a "group presentation", which is a

From playlist Visual Group Theory

Video thumbnail

Visual Group Theory, Lecture 1.6: The formal definition of a group

Visual Group Theory, Lecture 1.6: The formal definition of a group At last, after five lectures of building up our intuition of groups and numerous examples, we are ready to present the formal definition of a group. We conclude by proving several basic properties that are not built into t

From playlist Visual Group Theory

Video thumbnail

Definition of a group Lesson 24

In this video we take our first look at the definition of a group. It is basically a set of elements and the operation defined on them. If this set of elements and the operation defined on them obey the properties of closure and associativity, and if one of the elements is the identity el

From playlist Abstract algebra

Video thumbnail

Group theory 1: Introduction

This is lecture 1 of an online mathematics course on group theory. This lecture defines groups and gives a few examples of them.

From playlist Group theory

Video thumbnail

Visual Group Theory, Lecture 1.3: Groups in science, art, and mathematics

Visual Group Theory, Lecture 1.3: Groups in science, art, and mathematics Groups are always lurking where symmetry arises. In this lecture, we explore many beautiful examples of groups that arise from natural symmetries in science, art, and mathematics. This includes shapes of molecules,

From playlist Visual Group Theory

Video thumbnail

301.2 Definition of a Group

A group is (in a sense) the simplest structure in which we can do the familiar tasks associated with "algebra." First, in this video, we review the definition of a group.

From playlist Modern Algebra - Chapter 15 (groups)

Video thumbnail

Visual Group Theory, Lecture 3.4: Direct products

Visual Group Theory, Lecture 3.4: Direct products There is a natural way to put a group structure on the Cartesian product of two groups. In this lecture, we introduce this concept algebraically, and show several different ways to visualize this, using tools such as Cayley diagrams and mu

From playlist Visual Group Theory

Video thumbnail

Chapter 1: Symmetries, Groups and Actions | Essence of Group Theory

Start of a video series on intuitions of group theory. Groups are often introduced as a kind of abstract algebraic object right from the start, which is not good for developing intuitions for first-time learners. This video series hopes to help you develop intuitions, which are useful in u

From playlist Essence of Group Theory

Video thumbnail

Visual Group Theory, Lecture 1.1: What is a group?

Visual Group Theory, Lecture 1.1: What is a group? In this lecture, we will introduce the concept of a group using the famous Rubik's cube. The formal definition will be given later, in Lecture 1.5. For now, we just want to provide the intuition. Course webpage (with lecture notes, HW, e

From playlist Visual Group Theory

Video thumbnail

GAP - 4 by Alexander Hulpke

DATE & TIME 05 November 2016 to 14 November 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Computational techniques are of great help in dealing with substantial, otherwise intractable examples, possibly leading to further structural insights and the detection of patterns in many abstra

From playlist Group Theory and Computational Methods

Video thumbnail

Martin Bridson - Subgroups of direct products of surface groups

After reviewing what is known about subgroups of direct products of surface groups and their significance in the story of which groups are Kähler, I shall describe a new construction that provides infinite families of finitely presented subgroups. These subgroups have varying higher-finite

From playlist Geometry in non-positive curvature and Kähler groups

Video thumbnail

p- groups - 1 by Heiko Dietrich

DATE & TIME 05 November 2016 to 14 November 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Computational techniques are of great help in dealing with substantial, otherwise intractable examples, possibly leading to further structural insights and the detection of patterns in many abstra

From playlist Group Theory and Computational Methods

Video thumbnail

Bettina EICK - Computational group theory, cohomology of groups and topological methods 1

The lecture series will give an introduction to the computer algebra system GAP, focussing on calculations involving cohomology. We will describe the mathematics underlying the algorithms, and how to use them within GAP. Alexander Hulpke's lectures will being with some general computation

From playlist École d'Été 2022 - Cohomology Geometry and Explicit Number Theory

Video thumbnail

p- groups - 2 by Heiko Dietrich

DATE & TIME 05 November 2016 to 14 November 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Computational techniques are of great help in dealing with substantial, otherwise intractable examples, possibly leading to further structural insights and the detection of patterns in many abstra

From playlist Group Theory and Computational Methods

Video thumbnail

Alexander HULPKE - Computational group theory, cohomology of groups and topological methods 3

The lecture series will give an introduction to the computer algebra system GAP, focussing on calculations involving cohomology. We will describe the mathematics underlying the algorithms, and how to use them within GAP. Alexander Hulpke's lectures will being with some general computation

From playlist École d'Été 2022 - Cohomology Geometry and Explicit Number Theory

Video thumbnail

Kirk McDermott: Topological Aspects of the Shift Dynamics of the Groups of Fibonacci Type

Kirk McDermott, Slippery Rock University of Pennsylvania Title: Topological Aspects of the Shift Dynamics of the Groups of Fibonacci Type A group is cyclically presented if it admits a presentation with a certain cyclic symmetry. Such a symmetry induces a periodic automorphism of the group

From playlist 39th Annual Geometric Topology Workshop (Online), June 6-8, 2022

Video thumbnail

Grothendieck Pairs and Profinite Rigidity - Martin Bridson

Arithmetic Groups Topic: Grothendieck Pairs and Profinite Rigidity Speaker: Martin Bridson Affiliation: Oxford University Date: January 26, 2022 If a monomorphism of abstract groups H↪G induces an isomorphism of profinite completions, then (G,H) is called a Grothendieck pair, recalling t

From playlist Mathematics

Video thumbnail

What is Group Theory?

This video contains the origins of group theory, the formal definition, and theoretical and real-world examples for those beginning in group theory or wanting a refresher :)

From playlist Summer of Math Exposition Youtube Videos

Video thumbnail

Ximena Fernández 7/20/22: Morse theory for group presentations and the persistent fundamental group

Discrete Morse theory is a combinatorial tool to simplify the structure of a given (regular) CW-complex up to homotopy equivalence, in terms of the critical cells of discrete Morse functions. In this talk, I will present a refinement of this theory that guarantees not only a homotopy equiv

From playlist AATRN 2022

Related pages

Heisenberg group | Icosian calculus | Icosahedral symmetry | Word problem for groups | Modular group | Commutator | Group extension | Infinite dihedral group | Absolute presentation of a group | Combinatorial group theory | Bruhat order | Free product | Free group | Gödel numbering | Group (mathematics) | Coarse structure | Wreath product | Finitely generated group | Tits group | Baumslag–Solitar group | Dehn twist | Symmetric group | Group isomorphism | Isomorphism theorems | William Rowan Hamilton | Generating set of a group | Quotient group | Nielsen transformation | Torus | Direct product of groups | Hasse diagram | Word (group theory) | Equivalence class | Braid group | Dihedral group | Free abelian group | Mathematics | Coxeter group | Felix Klein | Cyclic group | Quaternion group | Cayley graph | Geometric group theory | Normal closure (group theory) | Presentation of a monoid | Group homomorphism | Kernel (algebra) | Golod–Shafarevich theorem | Universal property | Word metric | Cayley table | Dicyclic group