In Type Theory there is Rule: Every action is reversible.

There are 7 groups for 1d repeating pattern (Frieze groups).

  1. Group 1: only translations.
  2. Group 2: only glide reflection.

Why Cayley diagrams do not contain reversible action for these 2 groups? How can I get back to prev state? I suppose it is due to infinity...

enter image description here

Some other groups contain reversible action:

enter image description here


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.