Skip to main content
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 5
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Ayık, G. and Özer, B. 2015. On semigroup presentations that define a group. Semigroup Forum, Vol. 90, Issue. 1, p. 149.

    Arjomandfar, A. Campbell, C. M. and Doostie, H. 2012. Semigroups related to certain group presentations. Semigroup Forum, Vol. 85, Issue. 3, p. 533.

    Ahmadidelir, K. Campbell, C. M. and Doostie, H. 2009. Two classes of finite semigroups and monoids involving Lucas numbers. Semigroup Forum, Vol. 78, Issue. 2, p. 200.

    Ayık, G. Ayık, H. and Ünlü, Y. 2008. On semigroup presentations and Adian graphs. Discrete Mathematics, Vol. 308, Issue. 11, p. 2288.

    Havas, George Newman, M. F. and O'Brien, E. A. 2004. On the Efficiency of Some Finite Groups. Communications in Algebra, Vol. 32, Issue. 2, p. 649.

  • Mathematical Proceedings of the Cambridge Philosophical Society, Volume 133, Issue 1
  • July 2002, pp. 31-36

On defining groups efficiently without using inverses

  • C. M. CAMPBELL (a1), J. D. MITCHELL (a2) and N. RUšKUC (a3)
  • DOI:
  • Published online: 01 August 2002

Let G be a group, and let 〈A[mid ]R〉 be a finite group presentation for G with [mid ]R[mid ][ges ][mid ]A[mid ]. Then there exists a finite semigroup presentation 〈B[mid ]Q〉 for G such that [mid ]Q[mid ]- [mid ]B[mid ] = [mid ]R[mid ]- [mid ]A[mid ]. Moreover, B is either the same generating set or else it contains one additional generator.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Proceedings of the Cambridge Philosophical Society
  • ISSN: 0305-0041
  • EISSN: 1469-8064
  • URL: /core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society
Please enter your name
Please enter a valid email address
Who would you like to send this to? *