Skip to main content
SpringerLink
Log in

Split Extensions and Actions of Bialgebras and Hopf Algebras

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

Abstract

We introduce a notion of split extension of (non-associative) bialgebras which generalizes the notion of split extension of magmas introduced by M. Gran, G. Janelidze and M. Sobral. We show that this definition is equivalent to the notion of action of (non-associative) bialgebras. We particularize this equivalence to (non-associative) Hopf algebras by defining split extensions of (non-associative) Hopf algebras and proving that they are equivalent to actions of (non-associative) Hopf algebras. Moreover, we prove the validity of the Split Short Five Lemma for these kinds of split extensions, and we examine some examples.

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

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12

Similar content being viewed by others

References

  1. Albuquerque, H., Majid, S.: Quasialgebra structure of the octonions. J. Algebra 220(1), 188–224 (1999)

    Article  MathSciNet  Google Scholar 

  2. Andruskiewitsch, N.: Notes on extensions of Hopf algebras. Can. J. Math. 48(1), 3–42 (1996)

    Article  MathSciNet  Google Scholar 

  3. Andruskiewitsch, N., Devoto, J.: Extensions of Hopf algebras. Algebra i Analiz. 7(1), 22–61 (1995)

    MathSciNet  MATH  Google Scholar 

  4. Böhm, G.: Crossed modules of monoids II. Appl. Categ. Struct. 28, 601–653 (2020)

    Article  Google Scholar 

  5. Bourn, D., Janelidze, G.: Protomodularity, descent, and semidirect products. Theory Appl. Categ. 4(2), 37–46 (1998)

    MathSciNet  MATH  Google Scholar 

  6. Borceux, F., Janelidze, G., Kelly, G.M.: Internal object actions. Comment. Math. Univ. Carol. 46(2), 235–255 (2005)

    MathSciNet  MATH  Google Scholar 

  7. Bourn, D., Martins-Ferreira, N., Montoli, A., Sobral, M.: Schreier split epimorphisms in monoids and semirings. Textos de Matemàtica Série B, Departamento de Matemàtica da Universidade de Coimbra 45, (2014)

  8. Caenepeel, S., Goyvaerts, I.: Monoidal Hom–Hopf Algebras. Commun. Algebra 39(6), 2216–2240 (2011)

    Article  MathSciNet  Google Scholar 

  9. Caenepeel, S., De Lombaerde, M.: A categorical approach to Turaev’s Hopf group-coalgebras. Commun. Algebra 34(7), 2631–2657 (2006)

  10. Cayley, A.: On Jacobi’s Elliptic functions, in reply to the Rev. Brice Bronwin; and on Quaternions. Lond. Edinb. Dublin Philos. Mag. J. Sci. 26(3), 208–211 (1845)

  11. Fernandez Vilaboa, J.M., Lopez Lopez, M.P., Villanueva Novoa, E.: Cat\(^1\)-Hopf algebras and crossedmodules. Commun. Algebra 35(1), 181–191 (2006)

  12. Gran, M., Janelidze, G., Sobral, M.: Split extensions and semidirect products of unitary magmas. Comment. Math. Univ. Carolin. 60(4), 509–527 (2019)

    MathSciNet  MATH  Google Scholar 

  13. Gran, M., Kadjo, G., Vercruysse, J.: A torsion theory in the category of cocommutative Hopf algebras. Appl. Categ. Struct. 24, 269–282 (2016)

    Article  MathSciNet  Google Scholar 

  14. Gran, M., Sterck, F., Vercruysse, J.: A semi-abelian extension of a theorem by Takeuchi. J. Pure Appl. Algebra 223(10), 4171–4190 (2019)

    Article  MathSciNet  Google Scholar 

  15. Grave, J.: On a connection between the general theory of normal couples and the theory of complete quadratic functions of two variables. Lond. Edinb. Dublin Philos. Mag. J. Sci. 26(3), 315–320 (1845)

    Article  Google Scholar 

  16. Janelidze, G., Márki, L., Tholen, W.: Semi-Abelian categories. J. Pure Appl. Algebra 168, 367–386 (2002)

    Article  MathSciNet  Google Scholar 

  17. Mac Lane, S.: Categories for the Working Mathematician. Springer (1978)

  18. Majid, S.: Strict quantum \(2\)-groups, preprint, arXiv:1208.6265 (2012)

  19. Majid, S.: Foundations of Quantum Group Theory. Cambridge Univ. Press (1995)

  20. Majid, S.: Physics for algebraists: noncommutative and noncocommutative Hopf algebras by a bicross product construction. J. Algebra 130, 17–64 (1990)

    Article  MathSciNet  Google Scholar 

  21. Makhlouf, A., Silvestrov, S.D.: Hom–Lie admissible Hom-coalgebras and Hom–Hopf algebras. In: Generalized Lie Theory in Mathematics, Physics and Beyond. Springer, Berlin, Chap. 17, pp. 189–206 (2009)

  22. Molnar, R.: Semi-direct products of Hopf algebras. J. Algebra 47, 29–51 (1977)

    Article  MathSciNet  Google Scholar 

  23. Patchkoria, A.: Crossed semimodules and Schreier internal categories in the category of monoids. Georgian Math. J. 5(6), 575–581 (1998)

    Article  MathSciNet  Google Scholar 

  24. Turaev, V.G.: Homotopy field theory in dimension 3 and crossed group-categories, preprint arXiv: math.GT/0005291 (2000)

  25. Vespa, C., Wambst, M.: On some properties of the category of cocommutative Hopf algebras. North-Western Eur. J. Math. 21–37 (2018)

Download references

Acknowledgements

The author would like to warmly thank her supervisors Marino Gran and Joost Vercruysse for all the advice in the realization of this paper. Many thanks also to George Janelidze for the suggestion to explore split extensions and actions beyond the vector spaces case, in the context of monoidal categories. This led to a real improvement of this paper. The author also would like to thank Manuela Sobral for the invitation to the University of Coimbra and for the useful discussions. The author thanks the anonymous referee for his/her useful remarks and suggestions. The author’s research is supported by a FRIA (Fonds pour la formation à la recherche dans l’industrie et dans l’agriculture) doctoral grant no. 27485 of the Communauté française de Belgique.

Author information

Authors and Affiliations

  1. Institut de Recherche en Mathématique et Physique, Université catholique de Louvain, Chemin du Cyclotron 2, 1348, Louvain-la-Neuve, Belgium

    Florence Sterck

  2. Département de Mathématique, Université Libre de Bruxelles, Campus de la Plaine – CP 210 Boulevard du Triomphe, 1050, Bruxelles, Belgium

    Florence Sterck

Authors
  1. Florence Sterck
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Florence Sterck.

Ethics declarations

Conflicts of interest/Competing interests

NA

Availability of data and material

NA

Code availability

NA

Additional information

Communicated by George Janelidze.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendix

Appendix

This appendix contains five figures given below. The monoidal product is denoted by juxtaposition. Figure 13 is used in the proof of Proposition 5.16. By combining the diagrams of Figs. 14 and 15, we show that the structure of \(X \rtimes B\) as defined in (3.6) gives a bialgebra structure. Thanks to the commutativity of the diagram of Fig. 16, we can conclude that whenever X and B are associative bialgebras and (4.1) and (4.2) are satisfied \(m_{X\rtimes B}\) as defined in (3.6) is associative, which is a part of the proof of Lemma 4.3. Finally, the commutativity of Fig. 17 allows one to prove Proposition 3.9.

Fig. 13
figure 13

Commutation of the diagram (A)

Full size image
Fig. 14
figure 14

The semi-direct product is a bialgebra: part 1

Full size image
Fig. 15
figure 15

The semi-direct product is a bialgebra: part 2

Full size image
Fig. 16
figure 16

The semi-direct product is associative

Full size image
Fig. 17
figure 17

Combination of the three diagrams (A), (B) and (C)

Full size image

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Sterck, F. Split Extensions and Actions of Bialgebras and Hopf Algebras. Appl Categor Struct 30, 331–377 (2022). https://doi.org/10.1007/s10485-021-09659-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-021-09659-5

Keywords

Mathematics Subject Classification

Search

Navigation