Skip to main content
SpringerLink
Log in

Algebraic Properties of Subquasigroups and Construction of Finite Quasigroups

  • Published:
Algebra and Logic Aims and scope

Many important properties are identified and criteria are developed for the existence of subquasigroups in finite quasigroups. Based on these results, we propose an effective method that concludes the nonexistence of proper subquasigroups in a given finite quasigroup, or finds all its proper subquasigroups. This has an important application in checking the cryptographic suitability of a quasigroup. Using arithmetic of finite fields, we introduce a binary operation to construct quasigroups of order pr. Criteria are developed under which the quasigroups mentioned have desirable cryptographic properties, such as polynomial completeness and absence of proper subquasigroups. Effective methods are given for constructing cryptographically suitable quasigroups. The efficiency of the methods is illustrated by some academic examples and implementation of all proposed algorithms in the computer algebra system Singular.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. G. B. Belyavskaya, “T-quasigroups and the center of quasigroup,” Mat. Issl., Iss. 111, Stiinca, Kishinev (1989), pp. 24-43.

  2. G. B. Belyavskaya and A. Kh. Tabarov, “Characteristic of linear and alinear quasigroups,” Diskr. Mat., 4, No. 2, 142-147 (1992).

    MATH  Google Scholar 

  3. A. D. Keedwell and J. Dénes, Latin Squares and Their Applications, 2nd ed., Elsevier, Amsterdam (2015).

    MATH  Google Scholar 

  4. Latin Squares. New Developments in the Theory and Applications, Ann. Discr. Math., 46, J. Dénes and A. D. Keedwell (Eds.), North-Holland, Amsterdam (1991).

  5. T. Kepka, “A note on simple quasigroups,” Acta Univ. Carol., Math. Phys., 19, No. 2, 59-60 (1978).

  6. P. Nemec and T. Kepka, “T-quasigroups. I,” Acta Univ. Carol., Math. Phys., 12, No. 1, 39-49 (1972).

  7. G. B. Belyavskaya, “Abelian quasigroups are T-quasigroups,” Quasigroups Relat. Syst., 1, No. 1, 1-7 (1994).

    MathSciNet  MATH  Google Scholar 

  8. V. A. Shcherbacov, Elements of Quasigroup Theory and Applications, Monogr. Res. Notes Math., CRC Press, Boca Raton, FL (2017).

    Book  MATH  Google Scholar 

  9. J. D. H. Smith, An Introduction to Quasigroups and Their Representations, Stud. Adv. Math., Chapman & Hall, Boca Raton, FL (2007).

  10. V. A. Artamonov, “Polynomially complete algebras,” Uch. Zap. Orlov Gos. Univ., 6, No. 2, 23-29 (2012).

    Google Scholar 

  11. V. A. Artamonov, S. Chakrabarti, S. Gangopadhyay, and S. K. Pal, “On Latin squares of polynomially complete quasigroups and quasigroups generated by shifts,” Quasigroups Relat. Syst., 21, No. 2, 117-130 (2013).

    MathSciNet  MATH  Google Scholar 

  12. V. A. Artamonov, S. Chakrabarti, and S. K. Pal, “Characterizations of highly non-associative quasigroups and associative triples,” Quasigroups Relat. Syst., 25, No. 1, 1-19 (2017).

    MathSciNet  MATH  Google Scholar 

  13. A. V. Galatentko, A. E. Pankrat’ev, and S. B. Rodin, “Polynomially complete quasigroups of prime order,” Algebra and Logic, 57, No. 5, 327-335 (2018).

  14. O. Grošek and P. Horák, “On quasigroups with few associative triples,” Des. Codes Cryptogr., 64, Nos. 1/2, 221-227 (2012).

  15. V. A. Artamonov, S. Chakrabarti, and S. K. Pal, “Characterization of polynomially complete quasigroups based on Latin squares for cryptographic transformations,” Discr. Appl. Math., 200, 5-17 (2016).

    Article  MathSciNet  MATH  Google Scholar 

  16. V. A. Artamonov, “Automorphisms of finite quasigroups with no subquasigroups,” Vest. St. Petersburg Univ., Mat., Mekh., Astron., 7, No. 2, 197-209 (2020).

  17. S. Markovski, D. Gligoroski, and S. Andova, “Using quasigroups for one-one secure encoding,” in Proc. VIII int. Conf. Logic Comp. Sci.: Theoretical Foundations of Computer Science, Lira’97 (Novi Sad, Yugoslavia, September 1-4, 1997), R. Tošić et al. (Eds.), Univ. Novi Sad, Inst. Math., Novi Sad (1997), pp. 157-162.

  18. S. Markovski, D. Gligoroski, and V. Bakeva, “Quasigroup string processing: Part 1,” Proc. Maked. Acad. Sci. Arts Math. Tech. Sci., 20, Nos. 1/2, 13-28 (1999).

  19. V. Dimitrova and J. Markovski, “On quasigroup pseudo random sequence generator,” in Proc. 1st Balkan Conf. Inform., Thessaloniki (2004), pp. 393-401.

  20. G. Horváth, C. L. Nehaniv, and Cs. Szabó, “An assertion concerning functionally complete algebras and NP-completeness,” Theor. Comput. Sci., 407, Nos. 1-3, 591-595 (2008).

  21. W. Decker, G.-M. Greuel, G. Pfister, and H. Schönemann, Singular 4-1-2—A Computer Algebra System for Polynomial Computations (2019); http://www.singular.uni-kl.de

  22. J. Hagemann and C. Herrmann, “Arithmetical locally equational classes and representation of partial functions,” in Colloq. Math. Soc. Janos Bolyai, 29 (1982), pp. 345-360.

    MathSciNet  MATH  Google Scholar 

  23. D. W. Wall, “Sub-quasigroups of finite quasigroups,” Pac. J. Math., 7, 1711-1714 (1957).

    Article  MathSciNet  MATH  Google Scholar 

  24. J. D. Phillips and J. D. H. Smith, “Quasiprimitivity and quasigroups,” Bull. Aust. Math. Soc., 59, No. 3, 473-475 (1999).

    Article  MathSciNet  MATH  Google Scholar 

  25. R. Lidl and H. Niederreiter, Finite Fields, 2nd ed., Encycl. Math. Appl., 20, Cambridge Univ. Press, Cambridge (1996).

  26. J. Daemen and V. Rijmen, The Design of Rijndael. AES—The Advanced Encryption Standard, Springer, Berlin (2002).

Download references

Acknowledgements

We are grateful to Ms U. Jeya Santhi (Director SAG, DRDO) and Dr. Sudhir Kamath (DG, MED&CoS, DRDO) for their support and encouragement in carrying out this collaborative research work. Thanks also are due to all the team members of Indo-Russian joint project QGSEC for technical support and fruitful discussions.

Author information

Authors and Affiliations

  1. Faculty of Mechanics and Mathematics, Lomonosov Moscow State University, Moscow, Russia

    V. A. Artamonov & V. T. Markov

  2. Scientific Analysis Group, DRDO, Delhi, India

    S. Chakrabarti & Sh. K. Tiwari

Authors
  1. V. A. Artamonov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. Chakrabarti
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sh. K. Tiwari
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. V. T. Markov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to S. Chakrabarti.

Additional information

Translated from Algebra i Logika Vol. 61 No. 4 pp. 375-400 July-August 2022. Russian DOI: https://doi.org/10.33048/alglog.2022.61.401

Supported by Russian Science Foundation project No. 22-21-00745.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Artamonov, V.A., Chakrabarti, S., Tiwari, S.K. et al. Algebraic Properties of Subquasigroups and Construction of Finite Quasigroups. Algebra Logic 61, 251–270 (2022). https://doi.org/10.1007/s10469-023-09695-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10469-023-09695-1

Keywords

Search

Navigation