Actions of pro-groups and pro-rings

Egor Voronetsky

arxiv: 2205.13336 · v1 · submitted 2022-05-26 · 🧮 math.GR · math.CT· math.RA

Actions of pro-groups and pro-rings

Egor Voronetsky This is my paper

Pith reviewed 2026-05-24 11:59 UTC · model grok-4.3

classification 🧮 math.GR math.CTmath.RA

keywords pro-groupsinternal actionssemi-abelian categoriespro-ringsPro(Set)Lie algebrasgroup objects

0 comments

The pith

Internal actions in the categories of pro-groups and non-unital pro-rings admit explicit descriptions as actions of group objects and ring objects in Pro(Set).

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

The paper establishes an explicit description of internal actions inside the semi-abelian categories of pro-groups and non-unital pro-rings. These descriptions are given in terms of ordinary actions of group objects and ring objects living in the pro-category Pro(Set) and certain related categories. The same style of description does not work for Lie algebras. A reader would care because pro-objects arise naturally as inverse limits in topology and algebra, so concrete descriptions of their actions simplify computations that would otherwise stay at the level of abstract category theory.

Core claim

Internal actions in the semi-abelian categories of pro-groups and non-unital pro-rings are equivalent to actions of group objects and ring objects in Pro(Set) and related categories; the analogous statement fails for Lie algebras.

What carries the argument

The standard notion of internal action in a semi-abelian category, realized concretely via actions of group and ring objects in Pro(Set).

If this is right

Actions of pro-groups reduce to actions of ordinary group objects inside Pro(Set).
Actions of non-unital pro-rings reduce to actions of ordinary ring objects inside Pro(Set).
The reduction technique does not extend to the category of Lie algebras.
The same explicit descriptions apply in certain related pro-categories.

Where Pith is reading between the lines

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

The result supplies a practical way to compute fixed-point sets or orbits for inverse systems of groups without staying inside the abstract semi-abelian setting.
Failure for Lie algebras suggests that the semi-abelian property alone is not always sufficient for such reductions when the underlying algebraic structure is non-associative.
The technique may transfer to other pro-categories that are semi-abelian, such as pro-modules over a pro-ring.

Load-bearing premise

The categories of pro-groups and non-unital pro-rings are semi-abelian, so the usual theory of internal actions applies directly.

What would settle it

An explicit internal action of a pro-group whose corresponding action of a group object in Pro(Set) fails to satisfy the internal-action axioms, or vice versa.

read the original abstract

We give an explicit description of internal actions in the semi-abelian categories of pro-groups and non-unital pro-rings in terms of actions of group objects and ring objects in $\mathrm{Pro}(\mathbf{Set})$, as well as in some related categories. Also, we show that a similar result fails for Lie algebras.

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

The paper gives a concrete unwinding of internal actions for pro-groups and non-unital pro-rings into actions of objects in Pro(Set), with a direct counter-example showing the same fails for Lie algebras.

read the letter

The main contribution is an explicit description of internal actions in the semi-abelian categories of pro-groups and non-unital pro-rings, written as actions of group objects and ring objects inside Pro(Set). The paper also constructs a counter-example showing that an analogous description does not hold for Lie algebras. Sections 2 through 4 verify the semi-abelian axioms by reducing to the base categories of groups and rings together with the preservation properties of the pro-completion, then unwind the internal-hom and action diagrams to obtain the explicit form. The counter-example in section 5 is built directly and does not depend on the same reduction steps. The derivations are straightforward once the setup is fixed, and the foundational checks rest on standard facts about Pro rather than new inventions. The result stays narrow. It organizes actions inside these two pro-categories and a few related ones, but does not reorganize broader parts of categorical algebra or supply new computational tools that would be used outside this corner. The counter-example usefully marks a boundary, yet Lie algebras already sit outside the semi-abelian setting in several known ways, so the negative result is not surprising once the positive cases are in place. The paper is for readers already working with internal actions or pro-objects in algebraic categories. Someone who needs to compute or compare actions in these specific settings will find the translation helpful for making diagrams concrete. It is not aimed at a wider group-theory audience. The work is focused enough and the steps are explicit enough that it deserves referee time; the derivations and counter-example can be checked in detail without requiring major new machinery.

Referee Report

0 major / 2 minor

Summary. The paper claims to give an explicit description of internal actions in the semi-abelian categories of pro-groups and non-unital pro-rings, expressed in terms of actions of group objects and ring objects in Pro(Set) (and related categories), together with a counter-example showing that an analogous result fails for Lie algebras.

Significance. If the derivation holds, the result supplies a concrete reduction of internal actions in these pro-categories to actions already visible in the pro-completion of sets. This is useful for explicit computations in profinite settings and clarifies the scope of the standard internal-action theory in semi-abelian categories. The counter-example for Lie algebras is constructed directly and isolates the special role played by the group and ring structures.

minor comments (2)

[§2] §2: the verification that Pro preserves the relevant exactness conditions for semi-abelianness is stated by reduction to the base category; a one-sentence pointer to the relevant limit-preservation fact would make the argument self-contained for readers outside category theory.
[§5] §5: the Lie-algebra counter-example is given by direct construction; adding a short diagram of the failing action diagram would improve readability without lengthening the section.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript, the positive summary, and the recommendation to accept. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation establishes semi-abelianness of the pro-categories by reduction to the base categories of groups/rings plus the fact that Pro preserves finite limits and exactness conditions (stated in introduction and §2). The explicit description of internal actions is then obtained in §3–4 by direct unwinding of the internal-hom and action diagrams in Pro(Set). The counter-example for Lie algebras in §5 is constructed independently. No load-bearing step reduces by the paper's own equations to a fitted parameter, self-citation chain, or renamed input; the central claim remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; no free parameters, invented entities, or non-standard axioms are mentioned. The work rests on the standard definition of semi-abelian category and the usual notion of internal action.

axioms (1)

domain assumption The categories of pro-groups and non-unital pro-rings are semi-abelian
Invoked by the abstract when it states the setting in which internal actions are described.

pith-pipeline@v0.9.0 · 5564 in / 1345 out tokens · 21003 ms · 2026-05-24T11:59:21.304394+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We give an explicit description of internal actions in the semi-abelian categories of pro-groups and non-unital pro-rings in terms of actions of group objects and ring objects in Pro(Set)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the categories of pro-groups Pro(Grp), non-unital associative pro-rings Pro(Rng), and Lie pro-K-algebras Pro(LieK) over a commutative ring K are semi-abelian

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Cosheaves of Steinberg pro-groups
math.GR 2023-05 unverdicted novelty 6.0

Steinberg pro-groups for GL, odd unitary, and Chevalley groups satisfy the Zariski cosheaf property as crossed pro-modules, with an analogue of commutator formulas and an action of base groups over localized rings.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages · cited by 1 Pith paper

[1]

Artin and B

M. Artin and B. Mazur. Etale homotopy . Springer-Verlag, 1969

work page 1969
[2]

F. Borceux. Handbook of categorical algebra 2: categories and structures . Cambridge University Press, 1994

work page 1994
[3]

Borceux and D

F. Borceux and D. Bourn. Mal’cev, protomodular, homological and semi- abelian categories. Kluwer Academic Publishers, 2004

work page 2004
[4]

Borceux, G

F. Borceux, G. Janelidze, and G. M. Kelly. Internal objec t actions. Comment. Math. Univ. Carolin. , 46(2):235–255, 2005

work page 2005
[5]

Dydak and F

J. Dydak and F. R. Ruiz del Portal. Monomorphisms and epim orphisms in pro-categories. Topology and its applications , 154:2204–2222, 2007

work page 2007
[6]

Jacqmin and Z

P.-A. Jacqmin and Z. Janelidze. On stability of exactnes s properties under the pro-completion. 2020. 14

work page 2020
[7]

Kashiwara and P

M. Kashiwara and P. Schapira. Categories and sheaves . Springer-Verlag, 2006

work page 2006
[8]

Mardešić and J

S. Mardešić and J. Segal. Shape theory: the inverse system approach . North- Holland Publishing Company, 1982

work page 1982
[9]

Voronetsky

E. Voronetsky. Centrality of K2-functors revisited. J. Pure Appl. Alg., 225(4),

work page
[10]

published electronically. 15

work page

[1] [1]

Artin and B

M. Artin and B. Mazur. Etale homotopy . Springer-Verlag, 1969

work page 1969

[2] [2]

F. Borceux. Handbook of categorical algebra 2: categories and structures . Cambridge University Press, 1994

work page 1994

[3] [3]

Borceux and D

F. Borceux and D. Bourn. Mal’cev, protomodular, homological and semi- abelian categories. Kluwer Academic Publishers, 2004

work page 2004

[4] [4]

Borceux, G

F. Borceux, G. Janelidze, and G. M. Kelly. Internal objec t actions. Comment. Math. Univ. Carolin. , 46(2):235–255, 2005

work page 2005

[5] [5]

Dydak and F

J. Dydak and F. R. Ruiz del Portal. Monomorphisms and epim orphisms in pro-categories. Topology and its applications , 154:2204–2222, 2007

work page 2007

[6] [6]

Jacqmin and Z

P.-A. Jacqmin and Z. Janelidze. On stability of exactnes s properties under the pro-completion. 2020. 14

work page 2020

[7] [7]

Kashiwara and P

M. Kashiwara and P. Schapira. Categories and sheaves . Springer-Verlag, 2006

work page 2006

[8] [8]

Mardešić and J

S. Mardešić and J. Segal. Shape theory: the inverse system approach . North- Holland Publishing Company, 1982

work page 1982

[9] [9]

Voronetsky

E. Voronetsky. Centrality of K2-functors revisited. J. Pure Appl. Alg., 225(4),

work page

[10] [10]

published electronically. 15

work page