Pith. sign in

REVIEW

Bounded reduction for Chevalley groups of types $E_6$ and $E_7$

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2305.17012 v2 pith:PM3YULO2 submitted 2023-05-26 math.GR

classification math.GR
keywords boundedchevalleyelementringboundcertaincoefficientscorresponding
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We prove that an element from the Chevalley group of type $E_6$ or $E_7$ over a polynomial ring with coefficients in a small-dimensional ring can be reduced to an element of certain proper subsystem subgroup by a bounded number of elementary root elements. The bound is given explicitly. This result is an effective version of the early stabilisation of the corresponding $K_1$-functor. We also give part of the proof of similar hypothesis for $E_8$.

Discussion (0). Continue with ORCID to comment.

Pith tools