Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2602.21060 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910031653371904 |
|---|---|
| author | Forsman, David |
| author_facet | Forsman, David |
| contents | We prove that the category of commutative Hopf algebras over a field $k$ is co-semi-abelian. Consequently, the category of affine group $k$-schemes is semi-abelian. We establish coregularity by identifying the orthogonal factorization system of surjections and faithfully flat injections, and we deduce coexactness from Takeuchi's correspondence between normal Hopf ideals and Hopf subalgebras of commutative Hopf $k$-algebras. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_21060 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On the Semi-Abelianness of Affine Group Schemes Forsman, David Category Theory Algebraic Geometry Rings and Algebras We prove that the category of commutative Hopf algebras over a field $k$ is co-semi-abelian. Consequently, the category of affine group $k$-schemes is semi-abelian. We establish coregularity by identifying the orthogonal factorization system of surjections and faithfully flat injections, and we deduce coexactness from Takeuchi's correspondence between normal Hopf ideals and Hopf subalgebras of commutative Hopf $k$-algebras. |
| title | On the Semi-Abelianness of Affine Group Schemes |
| topic | Category Theory Algebraic Geometry Rings and Algebras |
| url | https://arxiv.org/abs/2602.21060 |