1: \begin{abstract}Recently, the author discovered an interesting class of

2: knot-like objects called {\em free knots}. These purely

3: combinatorial objects are equivalence classes of Gauss diagrams

4: modulo Reidemeister moves (the same notion in the language of words

5: was introduced by Turaev \cite{Turaev}, who thought all free knots

6: to be trivial). As it turned out, these new objects are highly

7: non-trivial, see \cite{Parity}, and even admit non-trivial cobordism

8: classes \cite{Cobordisms}. An important issue is the existence of

9: invariants where a {\em diagram evaluates to itself} which makes

10: such objects ``similar'' to free groups: an element has its minimal

11: representative which ``lives inside'' any representative equivalent

12: to it.

13: 

14: 

15: In the present paper, we consider generalizations of free knots by

16: means of (finitely presented) groups. These new objects have lots of

17: non-trivial properties coming from both knot theory and group

18: theory: functoriality, coverings, etc. This connection allows one

19: not only to apply group theory to various problems in knot theory

20: but also to apply Reidemeister moves to the study of (finitely

21: presented) groups.

22: 

23: Groups appear naturally in this setting when graphs are embedded in

24: $2$-surfaces.

25: 

26:  {\bf Keywords:} Group, Graph, Reidemeister Move, Knot, Free Knot.

27: \end{abstract}