THE AREA THEOREM FOR THE DISC DIAGRAM OVER С(3)-Т(6)-GROUP
https://doi.org/10.22405/2226-8383-2016-17-3-18-27
Abstract
Geometric methods are widely used in combinatorial group theory. The theory of small cancellation groups use the diagram method. In particular, it allows to approach various algorithmic problems. One of them is the power conjugacy problem. It is already solved for groups with a presentation satisfying the small cancellation conditions C(3) and T(6). However, it remains open for a similar class of groups, having a presentation satisfying the small cancellation conditions C(3) and T(3).
In this paper we investigate the structure of connected diagrams over presentations satisfying the small cancellation conditions C(3) and T(3) and we indicate how our results may be possible used in the power conjugacy problem.
The main result of this article is the proof of the theorem about lower bound on square of the reduced diagram on the group with small cancellation conditions C(3)-T(6). It is known that for groups with conditions C(p)-T(q) with \((p,q)\in \{(3,6), (4,4), (6,3)\}\), being automatic, isoperimetric inequality is quadratic. The same stated in well-known in small cancellation theory theorem of the square. Both statements restrict the area of the simply connected diagrams in the considered class of groups by the quadratic function of the length of the boundary.
In this article it is proved that the lower bound for the area of the diagram of the specified type also is a quadratic function of the length of the border. The importance of this result is visible from the point of view of evaluation of complexity of the algorithm solves the word problem. It is not less than quadratic complexity of the length of the compared words.
Keywords
map,
diagram,
dual map,
dehn region,
band,
ring diagram,
small cancellation condition,
defining relation,
generators
About the Author
N. V. Bezverkhniy
Tula State L.N. Tolstoy Pedagogical University
Russian Federation
doctor of physical and mathematical sciences, professor, professor
Russian Federation
doctor of physical and mathematical sciences, professor, professor
References
1. Lindon R., Schupp P., 1980, "Kombinatorial group theory". М.: Мir.
2. Gersten S. M., Short H., 1990, "Small cancellation theory and automatic groups". Inventiones mathematicae 102, pp. 305–334.
3. Bezverkhniy N. V., 1999, "The solvability of the membership problem into the cyclic subgroup of C(6)-group". Fundamentalnaya i prikladnaya matematika, v. 5, N 1, pp. 39–46.
4. Parshikova E. V., 2001, "The solvability of the weak power conjugacy problem in С(4)-Т(4)-group". Algoritmicheskie problemi teorii grupp i polugrupp. Publishing house of the Tula state pedagogical University, pp. 179–185.
5. Bezverkhniy V. N., 1994, "The normalizers of elements of C(p)-T(q)-group". Algoritmicheskie problemi teorii grupp i polugrupp. Publishing house of the Tula state pedagogical University, с.4–58.
6. Bezverkhniy N. V., 2012, "The solvability of the weak power conjugacy problem in C(3)-T(6)-group". Diskretnaya matematika., v. 24, issue 4, pp. 27–46.
7. Bezverkhniy N. V., 2010, "Normal forms for the elements of infinite order in C(3)-T(6)-groups". Izvestiya Tulskogo gosudarstvennogo universiteta, issue 1, pp. 6-25.
8. Magnus W., Karrass A., Solitar D., 1965, "Combinatorial group theory". Springer-Verlag Berlin Heidelberg New York.
9. Ol’shanskii, A. Yu., 1991, "Geometry of Defining Relations in Groups". Kluwer Academic Publishers Group, Dordrecht.
10. Novikov P. S., 1955, "On algorithmic unsolvability of the word problem in the group theory". Trudi Matematicheskogo instituta AN SSSR, v. 44. pp. 1–444.
11. Kapovich I., may 1997, "Small cancellation groups and translation numbers". Transactions of the American Mathematical Society, V. 349, N 5, pp. 1851 — 1875.
12. Gluhov М. М., 2010, "The analysis of some publickey criptosistems using nonabelian groups". Matematicheskie voprosi kriptografii., v.1, № 4, pp. 5–22.
13. Koo K. H., Lee S. J., Cheon J. H., Han J.W., Kang J., Park C., 2000, "New publickey criptosistem using braide groups". CRIPTO 2000, Lect. Notes Comput Sci., v. 1880, pp. 166–183.
14. Paeng S. H., Ha K. C., Kim J. H., Chee S., Park C., 2001, "New public key criptosistem using finite nonabelian groups". CRIPTO 2001, Lect. Notes Comput. Sci., v. 2139, pp. 470–485.
15. Bogley W. A., Pride S. J., 1992, "Aspherical relative presentations". Pros. of the Edinburg Mathematical Society, v. 35, pp. 1–39.
Review
For citations:
Bezverkhniy N.V. THE AREA THEOREM FOR THE DISC DIAGRAM OVER С(3)-Т(6)-GROUP. Chebyshevskii Sbornik. 2016;17(3):18-27. (In Russ.) https://doi.org/10.22405/2226-8383-2016-17-3-18-27
Views:
524
Email this article 