Pith. sign in

REVIEW 3 major objections 4 minor 42 references

A class of (infinite-dimensional) cosemisimple Hopf algebras constructed via abelian extensions

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves that the Hopf algebras $k^G{}^\tau\#_\sigma kF$ are cosemisimple for finite $G$ and arbitrary $F$, and classifies all simple comodules as induced from twisted stabilizer coalgebras.

desk verdict Worth a serious referee: the cosemisimplicity and comodule classification are new and mostly solid, but Theorem 4.3(2) has a fixable gap in the proof. read the letter →

arxiv 2506.04008 v1 pith:O4RSL2BV submitted 2025-06-04 math.QA math.RT

Jing Yu , Gongxiang Liu , Kun Zhou , Xiangjun Zhen This is my paper
classification math.QAmath.RT MSC 16T0516T15
keywords cosemisimpleHopfalgebrasabelianextensionsmatchedpairofgroupscomoduleclassificationcompactquantumGrothendieckringtwistedstabilizercoalgebrainducedcomodules
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper establishes that certain Hopf algebras built from abelian extensions of a group algebra by the dual of a finite group remain cosemisimple even when the group side $F$ is infinite. The construction packages a matched pair of groups $(F,G)$ with two cocycles $\sigma$ and $\tau$ into a Hopf algebra $k^G{}^\tau\#_\sigma kF$; when $G$ is finite, it is cosemisimple, and over the complex numbers it is a compact quantum group exactly when the cocycles have modulus one. The main theorem classifies all simple right comodules: each is induced from a simple comodule of a finite twisted stabilizer coalgebra $k^{G_f}_{\tau_f}$, one $f$ per $G$-orbit. This reduces the infinite-dimensional comodule theory to finite group data and gives a route to Grothendieck rings with infinitely many simple objects.

What carries the argument

The load-bearing object is the induced-comodule construction $\tilde V = (V \otimes kf)\square_{k^{G_f}\tau\#kF} H$, where $k^{G_f}_{\tau_f}$ is the twisted stabilizer coalgebra: the group coalgebra of the stabilizer $G_f$ with comultiplication twisted by the cocycle $\tau$. This construction packages the comodule theory of the infinite Hopf algebra into finitely many finite-group pieces, one for each $G$-orbit in $F$. Cosemisimplicity is carried by an explicit integral (Haar functional) $T$ on $H$, and the orbit decomposition $H = \bigoplus_{f\in F_G} C_f$ turns the classification into a dimension count over the simple subcoalgebras $C_f$.

What would settle it

Take a concrete nontrivial twisted stabilizer coalgebra, for instance $G=\mathbb{Z}/2$ acting on $F=\mathbb{Z}$ with a nonzero cocycle $\tau$, and compute the simple right comodules of $k^{G_f}_{\tau_f}$ directly. If the sum of the squares of their dimensions is not $|G_f|$, the dimension chain in Theorem 4.3(2) gives only an upper bound and the theorem's completeness claim would be false.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.3: for $H = k^G{}^\tau\#_\sigma kF$ with $G$ finite and $F$ arbitrary, fix $f \in F$; for every simple right $k^{G_f}_{\tau_f}$-comodule $V$, the induced comodule $\tilde V = (V \otimes kf) \square_{k^{G_f}\tau\#kF} H$ is simple, and every simple right $H$-comodule is isomorphic to such an induced comodule for a unique $G$-orbit of $f$. The same section proves $H$ is cosemisimple by exhibiting an explicit left integral $T(p_g\#f)=|G|^{-1}\delta_{1_F,f}$. Over $\mathbb{C}$, the $*$-structure $(p_g\#f)^* = \sigma(g;f,f^{-1}) p_{g\triangleright f}\#f^{-1}$ makes $\mathbb{C}^G{}^\tau\#_\sigma \mathbb{C}F$ a compact quantum group if and only if $|\sigma|=|\tau|=1$. The paper also gives a closed formula for the irreducible characters of the induced comodules, uses it to describe products in the Grothendieck ring, and works out the smash-product case and explicit examples.

Load-bearing premise

The theorem's completeness claim rests on the finite twisted stabilizer coalgebra $k^{G_f}_{\tau_f}$ being cosemisimple: the proof uses the equality $\sum_V(\dim V)^2 = |G_f|$, but the paper does not prove that this coalgebra is cosemisimple.

Editorial extensions

If this is right

  • The comodule category of $k^G{}^\tau\#_\sigma kF$ is semisimple and, when $F$ is infinite with infinitely many $G$-orbits, has infinitely many isomorphism classes of simple objects.
  • Simple comodules are indexed by $G$-orbits of $F$ together with simples of finite twisted stabilizer coalgebras, so concrete computations reduce to finite-dimensional linear algebra.
  • For complex coefficients, these constructions give a large family of infinite-dimensional compact quantum groups with an explicitly known Haar state.
  • The character formula determines products in the Grothendieck ring, with coefficients read off from orbit multiplication and tensor products of stabilizer simples.
  • Special cases, including smash products and the dual of the Drinfeld double, inherit the same classification and Grothendieck-ring description.
  • These comodule categories form examples of semisimple tensor categories with infinitely many simple objects, where Frobenius-Schur indicators and duality can be studied explicitly.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The classification is only as complete as the cosemisimplicity of every twisted stabilizer coalgebra $k^{G_f}_{\tau_f}$; proving that finite coalgebra is cosemisimple would turn Theorem 4.3 into an unconditional classification theorem.
  • A natural extension is to classify all matched pairs and cocycles for which every stabilizer coalgebra is cosemisimple, which would identify exactly where the dimension-count argument succeeds.
  • Because the paper notes in Remark 4.5 that the induction machinery does not use the Hopf structure, the same comodule classification may hold for arbitrary crossed coproduct coalgebras, not just the Hopf algebras treated here.
  • The explicit examples, such as $H(\mathbb{Z},\mathbb{Z}_{2n})$, provide ready-made test cases for computing Frobenius-Schur indicators and fusion rules in infinite semisimple tensor categories.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper constructs Hopf algebras of the form k^G{}^τ #_σ kF, where G is finite and F is an arbitrary group, as abelian extensions of kF by k^G using a matched pair and cocycles σ, τ. It proves that these Hopf algebras are cosemisimple by exhibiting a normalized left integral, discusses when the complex version admits a compact quantum group structure, and gives a Mackey-type induction theorem classifying simple right comodules as induced from simple comodules of twisted stabilizer coalgebras k^{G_f}_{τ_f}. The paper also derives character formulas for the induced comodules, draws consequences for the Grothendieck ring and Frobenius-Schur indicators, and works out examples including the dual of the Drinfeld double and a family H(Z,Z_n).

Significance. If the proof gaps are repaired, the paper would make a substantial contribution: it extends the finite-group abelian-extension theory of Masuoka and Kac to infinite-dimensional cosemisimple Hopf algebras, gives a transparent global classification of simple comodules, and provides explicit character formulas suitable for ring-theoretic computations. The cosemisimplicity proof via an explicit left integral is short and convincing, the examples are concrete, and the induced-comodule construction is natural and likely to be useful for studying tensor categories with infinitely many simple objects.

major comments (3)
  1. [§4, proof of Theorem 4.3(2)] The proof of the non-isomorphism assertion assumes that an H-comodule isomorphism α: Ṽ → W̃ satisfies α(v⊗f⊗z) = Σ_i w^{(i)}⊗f⊗z, i.e. that α preserves the T_f-grading. This is not justified: the z-index in Ṽ = ⊕_{z∈T_f} V⊗kf⊗z is only a vector-space decomposition, and the comodule formula in Lemma 4.2(3) shows that the H-coaction maps the z-summand to a sum over all z_x∈T_f. Subsequent coefficient comparisons are therefore valid only under an extra hypothesis that is essentially part of what is being proved. The gap is repairable: α is also H'-colinear, and the isotypic decomposition of the H'-comodules should force α to respect the direct sum decomposition up to the stated isomorphism; this argument needs to be supplied explicitly.
  2. [§4, Theorem 4.3(2), dimension chain] The displayed chain Σ_{V∈O}(dim V)^2 = |G_f| = dim_k C_f uses the fact that the finite coalgebra k^{G_f}_{τ_f} is cosemisimple, i.e. that its simple comodules account for all of the coalgebra dimension. This is not proved in the paper. The fact is true and can be justified by noting that k^{G_f}_{τ_f} is dual to a twisted group algebra with cocycle τ restricted to G_f, which satisfies (3.6) because g''⊲f=f for g''∈G_f, hence is semisimple in characteristic 0; equivalently, k^{G_f}τ#kf is a subcoalgebra of the cosemisimple coalgebra k^{G_f}τ#kF, so it is cosemisimple. The authors should insert this one-line lemma, because without it the dimension count only gives an upper bound and the conclusion that every simple comodule is induced is not established.
  3. [§3.2, Proposition 3.9] The positivity argument for the compact quantum group structure is not valid as written. In the displayed computation of ⟨T,(p_g#f)^*(p_{g'}#f')⟩, the delta arising from the multiplication rule (3.4) should be δ_{(g⊳f)⊳f^{-1}, g'} rather than δ_{g,g'}, unless the identity (g⊳f)⊳f^{-1}=g is proved first. Moreover, the final equality ⟨T,(p_g#f)^*(p_g#f)⟩ = 1/|G| requires σ(g;f,f^{-1})σ(g⊳f;f^{-1},f)=1, but (3.3) gives σ(g⊳f;f^{-1},f)=σ(g;f,f^{-1}), so the product is σ(g;f,f^{-1})^2, which need not be positive real for arbitrary unitary cocycles. The intended star formula likely needs a σ^{-1} factor (or the computation must be corrected); as it stands, the proof of Proposition 3.9 is incomplete.
minor comments (4)
  1. [§1, Introduction] There are several typos, e.g. 'catgeories' should be 'categories' and 'infi nite' should be 'infinite'.
  2. [§1, Introduction] The sentence 'We devote Section 3 to give a description for right k^Gτ#σkF-comodules' should refer to Section 4, where the comodule description actually appears.
  3. [Example 6.4] The displayed definition reads 'let H(Z,Z_{2n}) = k^{Z_2}τ#σkZ', but the example concerns Z_{2n}; this appears to be a typo for k^{Z_{2n}}τ#σkZ.
  4. [Proposition 5.6] In the long final displayed formula, the subscript of p contains a stray '#' symbol ('p_{(z⊳f)^{-1}(g⊳f)((z⊳f)#...'), which makes the expression unreadable; it should be a purely multiplicative subscript.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the cosemisimplicity and comodule classification are derived from explicit constructions, not from fitted data or load-bearing self-citations.

full rationale

The central claims are self-contained. Proposition 3.5 proves cosemisimplicity by explicitly constructing a normalized left integral and invoking the standard integral criterion from [Mon93], so no cosemisimplicity result is assumed from the paper's own prior work. Theorem 4.3 builds on Lemma 4.2, where the induced comodule structure is written out explicitly in terms of the group cocycles tau and sigma; the simplicity and classification arguments use those formulas, the linear independence of the basis elements, and standard character facts from [Lar71]. No fitted parameter is renamed as a prediction. The dimension count in the proof of Theorem 4.3(2) uses the equality sum over simple modules of (dim V)^2 = |G_f| for the finite coalgebra k^{G_f}_{tau_f}; this is a finite-dimensional cosemisimplicity fact, and although the paper does not spell out the proof, it follows from the cosemisimplicity of the ambient coalgebra and is not an input equivalent to the theorem. The self-citations [YLL24] and [YL24] appear in Section 2 for Grothendieck-ring background lemmas, but these lemmas are not used to establish the main classification Theorem 1.1 or the cosemisimplicity Proposition 3.5, so they are not load-bearing in the circularity sense. The proof gap identified in the non-isomorphism step of Theorem 4.3(2), where an H-comodule isomorphism is assumed to preserve the T_f-grading, is a genuine missing justification but not a circular step; it is repairable by first observing that the map is in particular H'-colinear. No circular reduction was found.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No numerical parameters are fitted in this paper; sigma and tau are structural cocycle data rather than free constants. The main mathematical input is the standard crossed product/coproduct theory of AD95 together with character theory from Larson. One ad hoc assumption is introduced in the proof of Theorem 4.3(2): the twisted stabilizer coalgebra k^{G_f}_{tau_f} is treated as cosemisimple, which is plausible but not proved.

assumptions (5)
  • domain assumption k is an algebraically closed field of characteristic 0; G is a finite group and F is an arbitrary group.
    Stated at the start of Section 2 and used throughout; all sums over G are finite, which makes the integral and comodule formulas well-defined.
  • domain assumption The quadruple (F,G,⊳,⊲) is a matched pair of groups and sigma, tau satisfy the cocycle conditions (3.2), (3.3), (3.5), (3.6) and the compatibility condition (iv) in Proposition 3.2.
    These hypotheses are taken as input from AD95 and define the class of algebras studied in the paper.
  • standard math The AD95 crossed product and crossed coproduct constructions yield a Hopf algebra with antipode as in Proposition 3.2.
    Used wholesale in Proposition 3.2 and not reproved; this is background from the cited literature.
  • standard math Larson character theory: a simple comodule has a coefficient coalgebra with a basic multiplicative matrix, and ZLambda is a based ring via tensor product of characters.
    Invoked in Lemmas 2.4 through 2.8 and throughout Sections 4 and 5.
  • ad hoc to paper The twisted stabilizer coalgebra k^{G_f}_{tau_f} is cosemisimple, equivalently sum_{V in O} (dim V)^2 = |G_f| for its simple comodules.
    Used in the dimension count in Theorem 4.3(2) but never explicitly proved; this is a genuine gap in the written proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A class of (infinite-dimensional) cosemisimple Hopf algebras constructed via abelian extensions." pith.science (2026). https://pith.science/paper/O4RSL2BV

@misc{pith2026250604008,
  author       = {Pith},
  title        = {Pith review of: A class of (infinite-dimensional) cosemisimple Hopf algebras constructed via abelian extensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/O4RSL2BV}},
  note         = {Machine review of arXiv:2506.04008}
}
abstract

In this paper, we aim to study abelian extensions for some infinite group. We show that the Hopf algebra $\Bbbk^G{}^\tau\#_{\sigma}\Bbbk F$ constructed through abelian extensions of $\Bbbk F$ by $\Bbbk^G$ for some (infinite) group $F$ and finite group $G$ is cosemisimple, and discuss when it admits a compact quantum group structure if $\Bbbk$ is the field of complex numbers $\mathbb{C}.$ We also find all the simple $\Bbbk^G{}^\tau\#_{\sigma}\Bbbk F$-comodules and attempt to determine the Grothendieck ring of the category of finite-dimensional right $\Bbbk^G{}^\tau\#_{\sigma}\Bbbk F$-comodules. Moreover, some new properties are given and some new examples are constructed.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

42 extracted references · 37 canonical work pages

  1. [1]

    Abella, W

    A. Abella, W. Ferrer, M. Haim, Some constructions of compact quantum groups, S\ a o Paulo J. Math. Sci. 6 (1) (2012) 1-40. https://doi.org/10.1007/s40863-018-0109-9

    work page doi:10.1007/s40863-018-0109-9 2012

  2. [2]

    Andruskiewitsch, Compact involutions of semisimple quantum groups, Czechoslovak J

    N. Andruskiewitsch, Compact involutions of semisimple quantum groups, Czechoslovak J. Phys. 44 (11-12) (1994) 963-972. https://doi.org/10.1007/BF01690448

    work page doi:10.1007/bf01690448 1994

  3. [3]

    Andruskiewitsch, Notes on extensions of Hopf algebras, Canad

    N. Andruskiewitsch, Notes on extensions of Hopf algebras, Canad. J. Math. 48 (1) (1996) 3-42. https://doi.org/10.4153/CJM-1996-001-8

    work page doi:10.4153/cjm-1996-001-8 1996

  4. [4]

    Andruskiewitsch, J

    N. Andruskiewitsch, J. Cuadra, On the structure of (co-Frobenius) Hopf algebras, J. Noncommut. Geom. 7 (1) (2013) 83-104. https://doi.org/10.4171/JNCG/109

    work page doi:10.4171/jncg/109 2013

  5. [5]

    Andruskiewitsch, J

    N. Andruskiewitsch, J. Devoto, Extensions of Hopf algebras, Algebra i Analiz 7 (1) (1995) 22-61; St. Petersburg Math. J. 7 (1) (1996) 17-52

    work page 1995

  6. [6]

    Bichon, Cosemisimple Hopf algebras with antipode of arbitrary finite order, New York J

    J. Bichon, Cosemisimple Hopf algebras with antipode of arbitrary finite order, New York J. Math. 8 (2002), 235-240

    work page 2002

  7. [7]

    Burciu, On a symmetry of M\" u ger's centralizer for the Drinfeld double of a semisimple Hopf algebra, Math

    S. Burciu, On a symmetry of M\" u ger's centralizer for the Drinfeld double of a semisimple Hopf algebra, Math. Z. 279 (1-2) (2015) 227-240. https://doi.org/10.1007/s00209-014-1364-9

    work page doi:10.1007/s00209-014-1364-9 2015

  8. [8]

    Burciu, On the Grothendieck rings of generalized Drinfeld doubles, J

    S. Burciu, On the Grothendieck rings of generalized Drinfeld doubles, J. Algebra 486 (2017) 14-35. https://doi.org/10.1016/j.jalgebra.2017.05.019

    work page doi:10.1016/j.jalgebra.2017.05.019 2017

Show all 42 references
  1. [9]

    Chirv a situ, Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras, Algebra Number Theory 8 (5) (2014) 1179-1199

    A. Chirv a situ, Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras, Algebra Number Theory 8 (5) (2014) 1179-1199. https://doi.org/10.2140/ant.2014.8.1179

    2014 doi

  2. [10]

    Chirv a situ, P

    A. Chirv a situ, P. Kasprzak, On the Hopf (co)center of a Hopf algebra, J. Algebra. (464) (2016) 141-174. https://doi.org/10.1016/j.jalgebra.2016.07.002

    2016 doi

  3. [11]

    Chirv a situ, C

    A. Chirv a situ, C. Walton, and X. Wang, Gelfand-Kirillov dimension of cosemisimple Hopf algebras, Proc. Amer. Math. Soc. 147 (11) (2019) 4665-4672. https://doi.org/10.1090/proc/14616

    2019 doi

  4. [12]

    Cohen, S

    M. Cohen, S. Westreich, Character tables and normal left coideal subalgebras, J. Pure Appl. Algebra 218 (10) (2014) 1845-1866. https://doi.org/10.1016/j.jpaa.2014.02.010

    2014 doi

  5. [13]

    Dijkhuizen and T

    M. Dijkhuizen and T. Koornwinder, CQG algebras: A direct algebraic approach to compact quantum groups, Lett. Math. Phys. 32 (4) (1994) 315-330. https://doi.org/10.1007/BF00761142

    1994 doi

  6. [14]

    Y. Doi, M. Takeuchi, Cleft comodule algebras for a bialgebra, Comm. Algebra 14 (5) (1986) 801-817. https://doi.org/10.1080/00927878608823337

    1986 doi

  7. [15]

    J. Dong, S. Wang, On semisimple Hopf algebras of dimension 2q^3 , J. Algebra 375 (2013) 97-108. https://doi.org/10.1016/j.jalgebra.2012.11.021

    2013 doi

  8. [16]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, V. Ostrik, Tensor Categories, Mathematical Surveys and Monographs, Volume 205. Amer. Math. Soc., Providence, 2015

    2015

  9. [17]

    Gelaki, S

    S. Gelaki, S. Westreich, On semisimple Hopf algebras of dimension pq , Proc. Amer. Math. Soc. 128 (1) (2000) 39-47. https://doi.org/10.1090/S0002-9939-99-04961-8

    2000 doi

  10. [18]

    Hofstetter, Extensions of Hopf algebras and their cohomological description, J

    I. Hofstetter, Extensions of Hopf algebras and their cohomological description, J. Algebra 164 (1) (1994) 264-298. https://doi.org/10.1006/jabr.1994.1063

    1994

  11. [19]

    Jedwab, S

    A. Jedwab, S. Montgomery, Representations of some Hopf algebras associated to the symmetric group S_n , Algebr. Represent. Theory 12 (1) (2009) 1-17. https://doi.org/10.1007/s10468-008-9099-0

    2009 doi

  12. [20]

    G.I., Kac, Extensions of groups to ring groups. Math. USSR Sbornik 5 (3) (1968) 451-474

    1968

  13. [21]

    Kashina, Classification of semisimple Hopf algebras of dimension 16, J

    Y. Kashina, Classification of semisimple Hopf algebras of dimension 16, J. Algebra 232 (2) (2000) 617-663. https://doi.org/10.1006/jabr.2000.8409

    2000

  14. [22]

    Kashina, G

    Y. Kashina, G. Mason, S. Montgomery, Computing the Frobenius-Schur indicator for abelian extensions of Hopf algebras, J. Algebra 251 (2) (2002), 888-913. https://doi.org/10.1006/jabr.2001.9129

    2002

  15. [23]

    Klimyk, K

    A. Klimyk, K. Schmudgen, Quantum Groups and Their Representations, Springer, 1997. Texts Monogr. Phys. Springer-Verlag, Berlin, xx+552 pp

    1997

  16. [24]

    R. G. Larson, Characters of Hopf algebras, J. Algebra 17 (1971) 352-368. https://doi.org/10.1016/0021-8693(71)90018-4

    1971 doi

  17. [25]

    Li, The link-indecomposable components of Hopf algebras and their products, J

    K. Li, The link-indecomposable components of Hopf algebras and their products, J. Algebra 593 (2022) 235-273. https://doi.org/10.1016/j.jalgebra.2021.11.016

    2022 doi

  18. [26]

    K. Li, S. Zhu, On the exponent of finite-dimensional non-cosemisimple Hopf algebras, Comm. Algebra 47 (11) (2019) 4476-4495. https://doi.org/10.1080/00927872.2018.1539176

    2019

  19. [27]

    Linchenko, S

    V. Linchenko, S. Montgomery, A Frobenius-Schur theorem for Hopf algebras, Algebr. Represent. Theory 3 (4) (2000), 347-355. https://doi.org/10.1023/A:1009949909889

    2000 doi

  20. [28]

    Masuoka, Semisimple Hopf algebras of dimension 6, 8, Israel J

    A. Masuoka, Semisimple Hopf algebras of dimension 6, 8, Israel J. Math. 92 (1-3) (1995) 361-373. https://doi.org/10.1007/BF02762089

    1995 doi

  21. [29]

    Masuoka, Hopf algebra extensions and cohomology, in: New Directions in Hopf Algebras, in: Math

    A. Masuoka, Hopf algebra extensions and cohomology, in: New Directions in Hopf Algebras, in: Math. Sci. Res. Inst. Publ., vol. 3, Cambridge University Press, Cambridge, 2002, pp. 167-209

    2002

  22. [30]

    Masuoka, Y

    A. Masuoka, Y. Doi, Generalization of cleft comodule algebras, Comm. Algebra 20 (12) (1992) 3703-3721. https://doi.org/10.1080/00927879208824536

    1992 doi

  23. [31]

    Montgomery, Hopf algebras and their actions on rings, in: CBMS Regional Conference Series in Mathematics, vol

    S. Montgomery, Hopf algebras and their actions on rings, in: CBMS Regional Conference Series in Mathematics, vol. 82, 1993. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, xiv+238 pp. https:...

    1993 doi

  24. [32]

    Natale, On semisimple Hopf algebras of dimension pq^2 , J

    S. Natale, On semisimple Hopf algebras of dimension pq^2 , J. Algebra 221 (1) (1999) 242-278. https://doi.org/10.1006/jabr.1999.7968

    1999

  25. [33]

    Neshveyev, M

    S. Neshveyev, M. Yamashita, Categorically Morita equivalent compact quantum groups, Doc. Math. (23) (2018) 2165-2216. https://doi.org/10.25537/dm.2018v23.2165-2216

    2018 doi

  26. [34]

    Orlinsky, An indicator formula for the Hopf algebra ^ S_ n-1 \# C_n , Algebr

    K. Orlinsky, An indicator formula for the Hopf algebra ^ S_ n-1 \# C_n , Algebr. Represent. Theory 27 (1) (2024), 495-545. https://doi.org/10.1007/s10468-023-10230-0

    2024 doi

  27. [35]

    Ostrik, Module categories, weak Hopf algebras and modular invariants, Transform

    V. Ostrik, Module categories, weak Hopf algebras and modular invariants, Transform. Groups 8 (2) (2003) 177-206. https://doi.org/10.1007/s00031-003-0515-6

    2003 doi

  28. [36]

    Radford, Hopf algebras, in: Ser

    D. Radford, Hopf algebras, in: Ser. Knots Everything, 49, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2012. xxii+559 pp

    2012

  29. [37]

    Schneider, Some remarks on exact sequences of quantum groups, Comm

    H.-J. Schneider, Some remarks on exact sequences of quantum groups, Comm. Algebra 21 (9) (1993) 3337-3357. https://doi.org/10.1080/00927879308824733

    1993 doi

  30. [38]

    W. M. Singer, Extension theory for connected Hopf algebras, J. Algebra 21 (1972) 1-16. https://doi.org/10.1016/0021-8693(72)90031-2

    1972 doi

  31. [39]

    Takeuchi, Morita theorems for categories of comodules, J

    M. Takeuchi, Morita theorems for categories of comodules, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 24 (3) (1977) 629-644

    1977

  32. [40]

    Takeuchi, Matched pairs of groups and bismash products of Hopf algebras, Comm

    M. Takeuchi, Matched pairs of groups and bismash products of Hopf algebras, Comm. Algebra 9 (8) (1981) 841-882. https://doi.org/10.1080/00927878108822621

    1981 doi

  33. [41]

    J. Yu, K. Li, G. liu, Hopf algebras with the dual Chevalley property of finite corepresentation type, Algebr. Represent. Theory 27 (5) (2024) 1821-1867. https://doi.org/10.1007/s10468-024-10284-8

    2024 doi

  34. [42]

    J. Yu, G. liu, Hopf algebras with the dual Chevalley property of discrete corepresentation type, preprint, arXiv:2409.20292. https://doi.org/10.48550/arXiv.2409.20292

    doi

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.