Math 2.0

concept

Free group

Summary

The free group on a set SS is the group of reduced words on SS, with concatenation followed by reduction as the operation. It is the group generated by SS with no relations other than those that the group axioms force.

What this node needs for W2
  • edge instance_of in: at least two examples (0 of 2)
  • edge not_instance_of in: at least one non-example (0 of 1)
  • edge specializes both: the more general notions and the special cases (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

Sources

  1. Web https://en.wikipedia.org/wiki/Free_group, lead section