arxiv: 2604.15986 · v1 · submitted 2026-04-17 · 🧮 math.RA · math.QA· math.RT

Recognition: unknown

Chevalley property of module-finite Hopf algebras and discriminant ideals

Quanshui Wu, Ruipeng Zhu, Tiancheng Qi, Yimin Huang

Pith reviewed 2026-05-10 07:22 UTC · model grok-4.3

classification 🧮 math.RA math.QAmath.RT

keywords Chevalley propertyHopf algebrasdiscriminant idealsCayley-Hamilton propertyquantum groupsrepresentation theory of Hopf algebrastensor categories

0 comments

The pith

An affine Cayley-Hamilton Hopf algebra has the Chevalley property if and only if its identity fiber algebra does and all its discriminant ideals are trivial.

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

The paper establishes a criterion for the Chevalley property in affine Cayley-Hamilton Hopf algebras using discriminant ideals. For such an algebra whose identity fiber algebra has the Chevalley property, every irreducible module V satisfies that V tensor W is completely reducible for all irreducibles W precisely when V is annihilated by the lowest discriminant ideal. This allows proving that the full algebra has the Chevalley property exactly when the fiber does and all discriminant ideals vanish. The work also shows the lowest discriminant subvariety is a closed subgroup, enabling constructions of Hopf algebras with the property and finite GK dimension, as illustrated in quantum group examples.

Core claim

For an affine Cayley-Hamilton Hopf algebra (H,C,tr) with identity fiber algebra having the Chevalley property, an irreducible H-module V has V tensor W completely reducible for every irreducible W if and only if V is annihilated by the lowest discriminant ideal of (H,C,tr). Consequently, (H,C,tr) has the Chevalley property if and only if the identity fiber has it and all discriminant ideals are trivial.

What carries the argument

The discriminant ideals of (H,C,tr), which are ideals in C measuring the degeneracy of the trace pairing on irreducible modules.

If this is right

The lowest discriminant subvariety V_ℓ of maxSpec C is a closed subgroup.
Big quantized Borel subalgebras at roots of unity have the Chevalley property.
Some Artin-Schelter Gorenstein Hopf algebras of low GK dimension have the Chevalley property.
Non-finite tensor categories with the Chevalley property arise from certain big quantum groups at roots of unity.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The rigidity of the lowest discriminant subvariety offers a way to classify or construct more examples of Hopf algebras with the Chevalley property.
This approach may extend to other module-finite algebras where similar trace and discriminant structures exist.

Load-bearing premise

The algebra must be affine and module-finite over its central subalgebra C with the given trace tr satisfying the Cayley-Hamilton identity, and the proofs depend on the prior notion of discriminant ideals.

What would settle it

An explicit example of an affine Cayley-Hamilton Hopf algebra whose identity fiber has the Chevalley property but which has a non-trivial discriminant ideal and yet still satisfies the Chevalley property would falsify the equivalence.

read the original abstract

In this paper, we study the Chevalley property of Cayley-Hamilton Hopf algebras in the sense of De Concini-Procesi-Reshetikhin-Rosso using discriminant ideals. For any affine Cayley-Hamilton Hopf algebra $(H,C,\text{tr})$ whose identity fiber algebra has the Chevalley property, we prove that an irreducible $H$-module $V$ has the property that $V\otimes W$ is a completely reducible $H$-module for every irreducible $H$-module $W$ if and only if $V$ is annihilated by the lowest discriminant ideal of $(H,C,\text{tr})$, which establishes a bridge between the tensor-nondegenerate behaviour of the irreducible representations of $H$ and the lowest discriminant ideal of $(H,C,\text{tr})$. Using discriminant ideals, we prove that an affine Cayley-Hamilton Hopf algebra $(H,C,\text{tr})$ has the Chevalley property if and only if its identity fiber algebra $H/\mathfrak{m}_{\overline{\varepsilon}}H$ has the Chevalley property and all the discriminant ideals of $(H,C,\text{tr})$ are trivial, thereby resolving a question posed by Huang-Mi-Qi-Wu. Moreover, it is shown that the lowest discriminant subvariety $\mathcal{V}_{\ell}$ of the algebraic group $\operatorname{maxSpec}C$ is a closed subgroup, which reflects the rigid nature of $\mathcal{V}_{\ell}$ and is effective in determining the lowest discriminant subvarieties in certain examples of low GK dimension. This rigidity property provides a method, via the lowest discriminant ideals, for constructing a large family of Hopf algebras with the Chevalley property and finite GK dimension. The results are illustrated through applications to the big quantized Borel subalgebras at roots of unity and to certain Artin-Schelter Gorenstein Hopf algebras of low GK dimension. In particular, the framework yields (non-finite) tensor categories with the Chevalley property arising from some big quantum groups at roots of unity.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives a characterization of the Chevalley property for affine Cayley-Hamilton Hopf algebras via trivial discriminant ideals and proves the lowest discriminant subvariety is a closed subgroup, resolving an open question.

read the letter

The main thing to know is that for an affine Cayley-Hamilton Hopf algebra whose identity fiber algebra already has the Chevalley property, the whole algebra has it exactly when all its discriminant ideals are trivial. The authors also prove that the lowest discriminant subvariety is always a closed subgroup of maxSpec C, and they use this to build examples with finite GK dimension and the Chevalley property, including some big quantized Borel subalgebras at roots of unity and certain Artin-Schelter Gorenstein Hopf algebras. What is new is the direct equivalence between an irreducible module being tensor-nondegenerate for all other irreducibles and it being annihilated by the lowest discriminant ideal, together with the closed-subgroup rigidity and the resolution of the Huang-Mi-Qi-Wu question. The paper does well at turning representation-theoretic conditions into checks on algebraic invariants that are computable in low GK dimension cases. The applications look concrete and give a workable construction method. The soft spots are modest: the results stay inside the module-finite Cayley-Hamilton setting with a fixed trace, so they do not apply to arbitrary Hopf algebras, and the proofs depend on relating the fiber algebra at the counit to the specializations, which needs careful verification in the lemmas. No circularity or hidden flatness issues show up in the argument outline. This is for specialists in Hopf algebra representation theory and quantum groups who care about tensor categories or invariants that control reducibility. A reader building or classifying Hopf algebras with controlled tensor properties will find the criteria and examples useful. It deserves a serious referee because the equivalences are specific, the rigidity result is new, and the question it settles is named in the literature. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper establishes a characterization of the Chevalley property for affine Cayley-Hamilton Hopf algebras using discriminant ideals. Specifically, for such an algebra (H, C, tr) where the identity fiber algebra has the Chevalley property, an irreducible H-module V has the property that V ⊗ W is completely reducible for every irreducible H-module W if and only if V is annihilated by the lowest discriminant ideal. This leads to the main result that (H, C, tr) has the Chevalley property if and only if its identity fiber algebra has the Chevalley property and all discriminant ideals are trivial. Additionally, the lowest discriminant subvariety is shown to be a closed subgroup of maxSpec C, with applications to big quantized Borel subalgebras at roots of unity and Artin-Schelter Gorenstein Hopf algebras of low GK dimension.

Significance. If the results hold, this work provides a useful criterion linking representation-theoretic properties (Chevalley property) to algebraic invariants (discriminant ideals) in the module-finite setting. It resolves an open question posed by Huang-Mi-Qi-Wu and offers a constructive method for producing Hopf algebras with the Chevalley property and finite Gelfand-Kirillov dimension. The rigidity result on the lowest discriminant subvariety as a closed subgroup is particularly noteworthy and may have broader implications for understanding tensor categories arising from quantum groups.

major comments (2)

[Theorem 4.2] The equivalence in the main theorem relies on the intermediate characterization that V is annihilated by the lowest discriminant ideal iff V ⊗ W is completely reducible for all irreps W. Please verify that the proof does not assume additional flatness or projectivity conditions beyond the module-finite hypothesis over C.
[Section 5] The proof that the lowest discriminant subvariety V_ℓ is a closed subgroup appears to use the Hopf algebra structure and the trace; confirm that this holds without assuming the algebra is semisimple or that the fiber is reduced.

minor comments (2)

[Introduction] The reference to the question posed by Huang-Mi-Qi-Wu should include the specific citation and page number for clarity.
[Definition of discriminant ideals] The notation for the discriminant ideals could be made more explicit, perhaps with an example computation in a low-dimensional case to illustrate the definition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the positive recommendation for minor revision. We address each major comment below.

read point-by-point responses

Referee: [Theorem 4.2] The equivalence in the main theorem relies on the intermediate characterization that V is annihilated by the lowest discriminant ideal iff V ⊗ W is completely reducible for all irreps W. Please verify that the proof does not assume additional flatness or projectivity conditions beyond the module-finite hypothesis over C.

Authors: The proof of the stated equivalence in Theorem 4.2 proceeds using only the module-finite hypothesis of H over C together with the given trace map and the Cayley-Hamilton identity; no additional flatness or projectivity assumptions are invoked. The key steps rely on the universal property of the trace and the definition of the discriminant ideals in the module-finite setting (see Sections 3 and 4). To address the request for explicit verification, we will add a short clarifying remark at the beginning of the proof of Theorem 4.2. revision: partial
Referee: [Section 5] The proof that the lowest discriminant subvariety V_ℓ is a closed subgroup appears to use the Hopf algebra structure and the trace; confirm that this holds without assuming the algebra is semisimple or that the fiber is reduced.

Authors: The argument in Section 5 that the lowest discriminant subvariety V_ℓ forms a closed subgroup of maxSpec C uses only the Hopf algebra structure on H, the trace tr, and the module-finite property over C. It does not rely on semisimplicity of H or reducedness of the identity fiber (the Chevalley property of the identity fiber is used in the main characterization but is not needed for the subgroup property). We will insert an explicit sentence in Section 5 stating the minimal hypotheses employed. revision: partial

Circularity Check

0 steps flagged

Derivation self-contained; no circular steps detected

full rationale

The central equivalence is obtained by defining discriminant ideals from the Cayley-Hamilton trace and module-finite structure, then proving that an irreducible module is annihilated by the lowest discriminant ideal precisely when tensor products with other irreducibles remain completely reducible. This step uses only the given specialization to the identity fiber and the Hopf algebra axioms; the final iff statement for the Chevalley property follows directly without any fitted parameter being relabeled as a prediction or any load-bearing premise resting solely on overlapping-author citations. The cited prior question is resolved by new lemmas rather than assumed, and the closed-subgroup property of the lowest discriminant subvariety is derived from the same ideal-theoretic setup.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on the standard axioms of Hopf algebra theory, the definition of Cayley-Hamilton algebras with trace, and the construction of discriminant ideals from the given data; no free parameters are introduced and no new entities are postulated beyond these defined objects.

axioms (2)

domain assumption H is an affine module-finite Hopf algebra over a commutative ring with a trace map making it Cayley-Hamilton
The entire framework is stated for this class of algebras; the equivalences are proved inside this setting.
domain assumption The identity fiber algebra H/m_ε-bar H satisfies the Chevalley property
This is an explicit hypothesis for the first equivalence and part of the second characterization.

pith-pipeline@v0.9.0 · 5683 in / 1577 out tokens · 64915 ms · 2026-05-10T07:22:48.804663+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

59 extracted references · 1 canonical work pages · 1 internal anchor

[1]

On finite GK -dimensional N ichols algebras over abelian groups

Andruskiewitsch, N., Angiono, I., Heckenberger, I. On finite GK -dimensional N ichols algebras over abelian groups. Mem. Amer. Math. Soc. 271 ,1329 (2021) ix+125pp

2021
[2]

Poisson orders on large quantum groups

Andruskiewitsch, N., Angiono, I., Yakimov, M. Poisson orders on large quantum groups. Adv. Math. 428 (2023) 66pp

2023
[3]

Triangular H opf algebras with the C hevalley property

Andruskiewitsch, N., Etingof, E., Gelaki, S. Triangular H opf algebras with the C hevalley property. Michigan Math. J. 49 (2), 277--298 (2001)

2001
[4]

Examples of finite-dimensional H opf algebras with the dual C hevalley property

Andruskiewitsch, N., Galindo, C., M\"uller, M. Examples of finite-dimensional H opf algebras with the dual C hevalley property. Publ. Mat. 61 (2), 445--474 (2017)

2017
[5]

On infinite-dimensional H opf algebras, in Representations of algebras and related topics, EMS Ser

Andruskiewitsch, N. On infinite-dimensional H opf algebras, in Representations of algebras and related topics, EMS Ser. Congr. Rep., EMS Press, Berlin, 1--45 (2025)

2025
[6]

A., Couto, M

Brown, K. A., Couto, M. Affine commutative-by-finite H opf algebras. J. Algebra 573 , 56--94 (2021)

2021
[7]

A., Goodearl, K

Brown, K. A., Goodearl, K. R. Homological aspects of N oetherian PI H opf algebras of irreducible modules and maximal dimension. J. Algebra 198 (1), 240--265 (1997)

1997
[8]

A., Goodearl, K

Brown, K. A., Goodearl, K. R. Lectures on algebraic quantum groups. Advanced Courses in Mathematics. CRM Barcelona. Birkh\"auser Verlag, Basel (2002)

2002
[9]

A., Gordon, I

Brown, K. A., Gordon, I. The ramifications of the centres: quantised function algebras at roots of unity. Proc. London Math. Soc. (3) 84 , 147--178 (2002)

2002
[10]

A., Hajarnavis, C

Brown, K. A., Hajarnavis, C. R. Homologically homogeneous rings. Trans. Amer. Math. Soc. 281 (1), 197--208 (1984)

1984
[11]

The group of bi- G alois objects over the coordinate algebra of the F robenius- L usztig kernel of SL (2)

Bichon, J. The group of bi- G alois objects over the coordinate algebra of the F robenius- L usztig kernel of SL (2) . Glasg. Math. J. 58 (3), 727--738 (2016)

2016
[12]

Brown, K. A. Representation theory of N oetherian H opf algebras satisfying a polynomial identity. In Trends in the representation theory of finite-dimensional algebras ( S eattle, WA , 1997), volume 229 of Contemp. Math., pages 49--79. Amer. Math. Soc., Providence, RI (1998)

1997
[13]

A., Yakimov, M

Brown, K. A., Yakimov, M. Azumaya loci and discriminant ideals of PI algebras. Adv. Math. 340 , 1219--1255 (2018)

2018
[14]

A., Zhang, J

Brown, K. A., Zhang, J. J. Dualising complexes and twisted H ochschild (co)homology for N oetherian H opf algebras. J. Algebra 320 (5), 1814--1850 (2008)

2008
[15]

A., Zhang, J

Brown, K. A., Zhang, J. J. Prime regular H opf algebras of GK -dimension one. Proc. Lond. Math. Soc. (3) 101 (1), 260--302 (2010)

2010
[16]

Bell, J., Zhang, J. J. Zariski cancellation problem for noncommutative algebras. Selecta Math. (N.S.) 23 (3), 1709--1737 (2017)

2017
[17]

A., Zhang, J

Brown, K. A., Zhang, J. J. Survey on H opf algebras of GK -dimension 1 and 2. In Hopf algebras, tensor categories and related topics, volume 771 of Contemp. Math., pages 43--62. Amer. Math. Soc., [Providence], RI (2021)

2021
[18]

H., Wang, Y.-H., Zhang, J

Ceken, S., Palmieri, J. H., Wang, Y.-H., Zhang, J. J. The discriminant controls automorphism groups of noncommutative algebras. Adv. Math. 269 , 551--584 (2015)

2015
[19]

H., Wang, Y.-H., Zhang, J

Ceken, S., Palmieri, J. H., Wang, Y.-H., Zhang, J. J. The discriminant criterion and automorphism groups of quantized algebras. Adv. Math. 286 , 754--801 (2016)

2016
[20]

De Concini, C., Kac, V. G. Representations of quantum groups at roots of 1 . In Operator algebras, unitary representations, enveloping algebras, and invariant theory ( P aris, 1989), volume 92 of Progr. Math., pages 471--506. Birkh\"auser Boston, Boston, MA (1990)

1989
[21]

G., Procesi, C

De Concini, C., Kac, V. G., Procesi, C. Quantum coadjoint action. J. Amer. Math. Soc. 5 (1), 151--189 (1992)

1992
[22]

G., Procesi, C

De Concini, C., Kac, V. G., Procesi, C. Some quantum analogues of solvable L ie groups. In Geometry and analysis ( B ombay, 1992), pages 41--65. Tata Inst. Fund. Res., Bombay (1995)

1992
[23]

Quantum function algebra at roots of 1

De Concini, C., Lyubashenko, V. Quantum function algebra at roots of 1 . Adv. Math. 108 (2), 205--262 (1994)

1994
[24]

Quantum groups

De Concini, C., Procesi, C. Quantum groups. In D -modules, representation theory, and quantum groups ( V enice, 1992), volume 1565 of Lecture Notes in Math., pages 31--140. Springer, Berlin (1993)

1992
[25]

Hopf algebras with trace and representations

De Concini, C., Procesi, C., Reshetikhin, N., Rosso, M. Hopf algebras with trace and representations. Invent. Math. 161 (1), 1--44 (2005)

2005
[26]

Separable algebras over commutative rings, volume Vol

DeMeyer, F., Ingraham, E. Separable algebras over commutative rings, volume Vol. 181 of Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York (1971)

1971
[27]

Classification of finite-dimensional triangular H opf algebras with the C hevalley property

Etingof, P., Gelaki, S. Classification of finite-dimensional triangular H opf algebras with the C hevalley property. Math. Res. Lett. 8 (3), 249--255 (2001)

2001
[28]

The classification of finite-dimensional triangular H opf algebras over an algebraically closed field of characteristic 0

Etingof, P., Gelaki, S. The classification of finite-dimensional triangular H opf algebras over an algebraically closed field of characteristic 0. Mosc. Math. J. 3 (1), 37--43 (2003)

2003
[29]

Finite symmetric integral tensor categories with the C hevalley property with an appendix by K evin C oulembier and P avel E tingof

Etingof, P., Gelaki, S. Finite symmetric integral tensor categories with the C hevalley property with an appendix by K evin C oulembier and P avel E tingof. Int. Math. Res. Not. IMRN (12), 9083--9121 (2021)

2021
[30]

Introduction to representation theory, volume 59 of Student Mathematical Library

Etingof, P., Golberg, O., Hensel, S., Liu, T., Schwendner, A., Vaintrob, D., Yudovina, E. Introduction to representation theory, volume 59 of Student Mathematical Library. American Mathematical Society, Providence, RI (2011)

2011
[31]

Tensor categories volume 205 of Mathematical Surveys and Monographs

Etingof, P., Gelaki, S., Nikshych, D., Ostrik, V. Tensor categories volume 205 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI (2015)

2015
[32]

Module categories over affine supergroup schemes

Gelaki, S. Module categories over affine supergroup schemes. J. Pure Appl. Algebra 225 (11) Paper No. 106711 (2021) 19pp

2021
[33]

R., Warfield, R

Goodearl, K. R., Warfield, R. B., Jr. An introduction to noncommutative N oetherian rings volume 61 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge, second edition (2004)

2004
[34]

R., Zhang, J

Goodearl, K. R., Zhang, J. J. noetherian H opf algebra domains of G elfand- K irillov dimension two. J. Algebra 324 (11), 3131--3168 (2010)

2010
[35]

Rank element of a projective module

Hattori, A. Rank element of a projective module. Nagoya Math. J. 25 , 113--120 (1965)

1965
[36]

Chevalley property and discriminant ideals of Cayley-Hamilton Hopf Algebras

Huang, Y.-M., Mi, Z.-K., Qi, T.-C., Wu, Q.-S. Chevalley property and discriminant ideals of Cayley-Hamilton Hopf algebras. arXiv preprint arXiv:2506.21879, 2025

work page internal anchor Pith review Pith/arXiv arXiv 2025
[37]

Humphreys, J. E. Linear algebraic groups. volume No. 21 of Graduate Texts in Mathematics. Springer-Verlag, New York-Heidelberg (1975)

1975
[38]

Nilpotent subsets of H opf module algebras

Linchenko, V. Nilpotent subsets of H opf module algebras. In Groups, rings, L ie and H opf algebras ( S t. J ohn's, NF , 2001), volume 555 of Math. Appl., pages 121--127. Kluwer Acad. Publ., Dordrecht (2003)

2001
[39]

A classification result on prime H opf algebras of GK -dimension one

Liu, G. A classification result on prime H opf algebras of GK -dimension one. J. Algebra 547 , 579--667 (2020)

2020
[40]

G., Radford, D

Larson, R. G., Radford, D. E. Finite-dimensional cosemisimple H opf algebras in characteristic 0 are semisimple. J. Algebra 117 (2), 267--289 (1988)

1988
[41]

G., Radford, D

Larson, R. G., Radford, D. E. Semisimple cosemisimple H opf algebras. Amer. J. Math. 110 (1), 187--195 (1988)

1988
[42]

Quantum groups at roots of 1

Lusztig, G. Quantum groups at roots of 1 . Geom. Dedicata 35 (1-3), 89--113 (1990)

1990
[43]

Lu, D.-M., Wu, Q.-S., Zhang, J. J. Homological integral of H opf algebras. Trans. Amer. Math. Soc. 359 (10), 4945--4975 (2007)

2007
[44]

Molnar, R. K. Tensor products and semisimple modular representations of finite groups and restricted L ie algebras. Rocky Mountain J. Math. 11 (4), 581--591 (1981)

1981
[45]

Families of finite-dimensional H opf algebras with the C hevalley property

Mombelli, M. Families of finite-dimensional H opf algebras with the C hevalley property. Algebr. Represent. Theory 16 (2), 421--435 (2013)

2013
[46]

Hopf algebras and their actions on rings, volume 82 of CBMS Regional Conference Series in Mathematics

Montgomery, S. Hopf algebras and their actions on rings, volume 82 of CBMS Regional Conference Series in Mathematics. Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI (1993)

1993
[47]

C., Robson, J

McConnell, J. C., Robson, J. C. Noncommutative N oetherian rings volume 30 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, revised edition (2001)

2001
[48]

The lowest discriminant ideal of a Cayley-Hamilton Hopf algebra

Mi, Z., Wu, Q.-S., Yakimov, M. The lowest discriminant ideal of a Cayley-Hamilton Hopf algebra. Trans. Amer. Math. Soc. 378 (5), 3471--3505 (2025)

2025
[49]

Noncommutative discriminants via P oisson primes

Nguyen, B., Trampel, K., Yakimov, M. Noncommutative discriminants via P oisson primes. Adv. Math. 322 , 269--307 (2017)

2017
[50]

Root of unity quantum cluster algebras and discriminants

Nguyen, B., Trampel, K., Yakimov, M. Root of unity quantum cluster algebras and discriminants. J. Lond. Math. Soc. (2) 111 (1) (2025) 47pp

2025
[51]

A formal inverse to the C ayley- H amilton theorem

Procesi, C. A formal inverse to the C ayley- H amilton theorem. J. Algebra 107 (1), 63--74 (1987)

1987
[52]

Maximal orders, volume 28 of London Mathematical Society Monographs

Reiner, I. Maximal orders, volume 28 of London Mathematical Society Monographs. New Series. The Clarendon Press, Oxford University Press, Oxford, 2003. Corrected reprint of the 1975 original, With a foreword by M. J.\ Taylor

2003
[53]

Hopf bi- G alois extensions

Schauenburg, P. Hopf bi- G alois extensions. Comm. Algebra 24 (12), 3797--3825 (1996)

1996
[54]

Hopf- G alois and bi- G alois extensions

Schauenburg, P. Hopf- G alois and bi- G alois extensions. In Galois theory, H opf algebras, and semiabelian categories, Fields Inst. Commun., pages 469--515. Amer. Math. Soc., Providence, RI (2004)

2004
[55]

New results on the bijectivity of antipode of a H opf algebra

Skryabin, S. New results on the bijectivity of antipode of a H opf algebra. J. Algebra 306 (2), 622--633 (2006)

2006
[56]

Centerless groups---an algebraic formulation of G ottlieb's theorem

Stallings, J. Centerless groups---an algebraic formulation of G ottlieb's theorem. Topology 4 , 129--134 (1965)

1965
[57]

Classification of affine prime regular H opf algebras of GK -dimension one

Wu, J., Liu, G., Ding, N. Classification of affine prime regular H opf algebras of GK -dimension one. Adv. Math. 296 , 1--54 (2016)

2016
[58]

Wu, Q.-S., Zhang, J. J. noetherian PI H opf algebras are G orenstein. Trans. Amer. Math. Soc. 355 (3), 1043--1066 (2003)

2003
[59]

Hopf algebras with the dual C hevalley property of finite corepresentation type

Yu, J., Li, K., Liu, G. Hopf algebras with the dual C hevalley property of finite corepresentation type. Algebr. Represent. Theory 27 (5), 1821--1867 (2024)

2024