Pith. sign in

REVIEW 3 major objections 4 minor 71 references

Some Properties of Twisted Chevalley Groups

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 The subgroups normalized by an elementary twisted Chevalley group are exactly the congruence subgroups at a unique ideal.

desk verdict Full proofs of known classification results plus a new normalizer theorem; the proof hangs on twisted commutator formulas that a referee should check carefully. read the letter →

arxiv 2505.24430 v1 pith:WBTWD5H5 submitted 2025-05-30 math.GR

Deep H. Makadiya This is my paper
classification math.GR MSC 20G3520E07
keywords twistedChevalleygroupselementarysubgroupsnormalcongruencecommutatorformulasrootsystemsoverringsringextensions
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 thesis proves that the subgroup structure of twisted Chevalley groups over commutative rings is governed entirely by the ideals of the ring. For the twisted types $^2A_n$ ($n\ge 3$), $^2D_n$ ($n\ge 4$), $^2E_6$, and $^3D_4$, it shows that the relative elementary subgroups at a $\theta$-invariant ideal $J$ are normal and are exactly the commutator subgroups $[E'_{\pi,\sigma}(\Phi,R), E'_{\pi,\sigma}(\Phi,J)]$, $[E'_{\pi,\sigma}(\Phi,R), G_{\pi,\sigma}(\Phi,R,J)]$, and $[G_{\pi,\sigma}(\Phi,R), E'_{\pi,\sigma}(\Phi,R,J)]$. It then classifies every subgroup of $G_{\pi,\sigma}(\Phi,R)$ normalized by $E'_{\pi,\sigma}(\Phi,R)$: such a subgroup lies between the relative elementary subgroup and the full congruence subgroup at a unique $\theta$-invariant ideal $J$. Finally, it proves that the normalizer of a twisted Chevalley group and the normalizer of its elementary subgroup in a larger twisted group coincide, and for adjoint-type groups both equal the group over the base ring. A reader should care because this gives an ideal-indexed description of the normal subgroup lattice, identifies the elementary subgroup as characteristic, and supplies a rigidity result needed for automorphism classification.

What carries the argument

The machinery is the twisted root-element calculus. The twisted root system $\Phi_\rho$ is indexed by $\rho$-orbits $[\alpha]$ of roots, each class behaving as one of the types $A_1$, $A_2$, $A_2^1$, or $A_3^1$; to each class there is a root element $x_{[\alpha]}(t)$ parametrized by $R_\theta$, by $R$, or by the group $A(R)=\{(t,u): t\bar t=u+\bar u\}$ in the type-$A_2$ case. The argument rests on the Chevalley commutator formulas (a1)--(g), which express commutators of these root elements as products of root elements with coefficients built from the structure constants $N_{\alpha,\beta}$, and on the fact that any pair of roots generates a connected rank-2 subsystem of type $A_2$, $B_2$, or $G_2$. These formulas prove the perfectness of $E'_{\pi,\sigma}(\Phi,R)$ and reduce the classification to showing that the set $J$ of parameters appearing in $H$ is a $\theta$-invariant ideal; localization at maximal ideals and a polynomial-ring argument then force $H$ into the full congruence subgroup.

What would settle it

Take a concrete twisted group of type $^3D_4$ over a ring $R$ containing $1/6$ with an order-three ring automorphism $\theta$, choose a $\theta$-invariant ideal $J$, and compute the commutator $[x_{[\alpha]}(t),x_{[\beta]}(u)]$ for a root pair of type (e), (f), or (g); if the outcome differs from the displayed formula, or if some $x_{[\gamma]}(v)$ with $v\in J_{[\gamma]}$ is not a product of commutators from $E'_{\sigma}(R)$ and $E'_{\sigma}(J)$, the perfectness lemma and the classification fail. A cheaper check: find any subgroup $H$ normalized by $E'_{\sigma}(R)$ for which the set of parameters appearing in $H$ is not a $\theta$-invariant ideal, contradicting Proposition 5.4.1.

Watch

Extended reading notes

Core claim

The central discovery is an exact sandwich classification for subgroups of twisted Chevalley groups. If $\Phi_\rho$ is one of $^2A_n$ ($n\ge 3$), $^2D_n$ ($n\ge 4$), $^2E_6$, or $^3D_4$, if $1/2\in R$ and, for $^3D_4$, $1/3\in R$, and if $H\le G_{\pi,\sigma}(\Phi,R)$ is normalized by $E'_{\pi,\sigma}(\Phi,R)$, then there is a unique $\theta$-invariant ideal $J$ of $R$ with $E'_{\pi,\sigma}(\Phi,R,J)\subseteq H\subseteq G_{\pi,\sigma}(\Phi,R,J)$. The ideal $J$ is recoverable as the set of parameters that appear in root elements of $H$. Alongside the classification, the paper proves the strong commutator identity $E'_{\pi,\sigma}(\Phi,R,J)=[E'_{\pi,\sigma}(\Phi,R),E'_{\pi,\sigma}(\Phi,J)]=[E'_{\pi,\sigma}(\Phi,R),G_{\pi,\sigma}(\Phi,R,J)]=[G_{\pi,\sigma}(\Phi,R),E'_{\pi,\sigma}(\Phi,R,J)]$, which makes relative elementary subgroups normal and drives the classification. The paper presents this as the twisted analogue of the Vaserstein--Abe theorem for untwisted Chevalley groups.

Load-bearing premise

The classification rests on the exact twisted Chevalley commutator formulas, many quoted from earlier work: if any displayed structure constant $N_{\alpha,\beta}$ in formulas (a1)--(g) is wrong, the proof that $E'_{\sigma}(R)$ is perfect and the classification built on it collapse.

Editorial extensions

If this is right

  • Corollary 1.3.3 lists all normal subgroups of $E'_{\pi,\sigma}(\Phi,R)$: they are exactly the subgroups $H$ with $E'_{\pi,\sigma}(\Phi,R,J)\subseteq H\subseteq G_{\pi,\sigma}(\Phi,R,J)\cap E'_{\pi,\sigma}(\Phi,R)$ for a unique $\theta$-invariant ideal $J$.
  • Setting $J=R$ in the commutator identity shows $E'_{\pi,\sigma}(\Phi,R)=[E'_{\pi,\sigma}(\Phi,R),E'_{\pi,\sigma}(\Phi,R)]$; combined with the classification, this makes the elementary subgroup a characteristic subgroup of any subgroup that contains it.
  • Because the ideal $J$ is unique, the congruence level of a subgroup is an invariant, so the lattice of subgroups normalized by $E'_{\pi,\sigma}(\Phi,R)$ is filtered by the $\theta$-invariant ideals of $R$.
  • For groups of adjoint type, the normalizer theorem yields $N_{G_{\mathrm{ad},\sigma}(\Phi,S)}(G_{\mathrm{ad},\sigma}(\Phi,R))=G_{\mathrm{ad},\sigma}(\Phi,R)$, so enlarging the ring does not create new elements normalizing the twisted group.
  • The mixed commutator equalities in Theorem 5.2.6 imply $[G_{\pi,\sigma}(\Phi,R),E'_{\pi,\sigma}(\Phi,R,J)]=E'_{\pi,\sigma}(\Phi,R,J)$, so relative elementary subgroups are normal in the full twisted group.

Reading between the lines

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

  • If the same commutator-formula technology is extended to the remaining twisted types ($^2A_2$, $^2B_2$, $^2G_2$, $^2F_4$), the same sandwich classification should hold with additional exceptions for small residue fields, mirroring the untwisted $B_2$ and $G_2$ cases.
  • The normalizer equality for adjoint groups is the rigidity input one would expect to feed an automorphism theorem: likely every automorphism of $G_{\pi,\sigma}(\Phi,R)$ decomposes into inner, ring, graph, and central parts, though the thesis does not state that decomposition.
  • The hypothesis that some invertible $a\in R$ satisfies $\theta(a)=-a$ may be relaxable in rings with many units; if it fails, the tangent-algebra argument in Chapter 6 would need a different source of the distinguishing element.
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. This PhD thesis develops structural results for twisted Chevalley groups over commutative rings. Its three main theorems are: (1) the equality of the relative elementary subgroup E′σ(R,J) with several mixed commutator subgroups of E′σ(R) and Gσ(R); (2) a classification, for types 2An (n≥3), 2Dn (n≥4), 2E6 and 3D4 with 1/2∈R (and 1/3∈R for 3D4), of all subgroups H of Gπ,σ(Φ,R) normalized by E′π,σ(Φ,R) as sandwiched between E′π,σ(Φ,R,J) and Gπ,σ(Φ,R,J) for a unique θ-invariant ideal J; and (3) an identification of the normalizers of Gπ,σ(Φ,R) and E′π,σ(Φ,R) inside Gπ,σ(Φ,S) for a ring extension S, with equality to Gπ,σ(Φ,R) in the adjoint case. The proof strategy follows Vaserstein and Abe: one constructs the ideal J from the subgroup H, proves the elementary subgroup is contained in H by commutator manipulations, and then proves H is contained in the full congruence subgroup using localization, a polynomial lemma of Taddei, and Suzuki's normality and center results. Several applications are given, including the perfectness of E′σ(R), the classification of normal subgroups of E′σ(R), and a characterization of E′σ(R) as a smallest perfect normal subgroup with abelian centralizer.

Significance. If the proofs are correct, the paper provides a substantial extension of the Vaserstein–Abe classification of normal subgroups from split Chevalley groups to twisted Chevalley groups of types 2An, 2Dn, 2E6 and 3D4 over arbitrary commutative rings with mild invertibility conditions. This is a natural and nontrivial step beyond the earlier local-ring results of Suzuki and the joint announcement in [30], and the main theorems have useful consequences such as characteristicity of the elementary subgroup and a structural characterization of it. The manuscript is honest about its sources: it credits Abe for the twisted commutator formulas, Suzuki for the normality of E′σ(R), and Taddei for the localization lemma, and it does not claim machine-checked or fully self-contained proofs of every classical ingredient. The main significance is therefore conditional on the accuracy and completeness of the twisted commutator-formula apparatus.

major comments (3)
  1. [§4.4.2 (Chevalley Commutator Formulas)] Formulas (a1)–(g) are load-bearing: they enter Theorem 5.2.6(i) through Cases A–E and thereby Corollary 5.2.7 (perfectness of E′σ(R)) and the classification Theorem 5.3.1. Yet (a1)–(d-ii) are quoted from Abe [1] without proof, and the proofs of (e)–(g) are only sketches. In the proof of (e), the equality Nα,β = Nα,̄β = Nα,̄̄β is said to follow from Lemma 4.2.1, but Lemma 4.2.1 is a statement about the signs εα, not about equality of these structure constants. Since an unnoticed sign or coefficient error in any of these formulas would break perfectness and hence the main theorem, the manuscript should either reproduce a complete verification of all displayed formulas or give exact theorem/lemma numbers in Abe [1] for each of (a1)–(g).
  2. [§5.2, Proof of Theorem 5.2.6(i), Case E] In the G2 case of the proof of part (i), the displayed identity x[α](u)x3[α]+[β](±(u²+(u′)²+(u″)²−2uu′−2u′u″−2uu″)/4)x−[β](±(u+u′+u″)/2) = [x2[α]+[β]((u+u′−u″)/2), x−[α]−[β](±1)] is asserted without derivation. This identity is the only step that places x[α](u) in [E′σ(R),E′σ(J)] for short roots in type 3D4, and its displayed coefficients depend sensitively on the constants in formulas (f) and (g). A single mismatch in a coefficient would invalidate the conclusion. Please provide the full calculation or a precise pointer to the formula in [1] that justifies this identity.
  3. [Corollary 5.2.9 / Theorem 4.5.7] Corollary 5.2.9, which is used in the proof of Theorem 5.3.1 to reduce H ⊂ Gσ(R,J) to a commutator condition, relies on the equality Z(Gσ(R/J)) = CGσ(R/J)(E′σ(R/J)) from Theorem 4.5.7. However, Theorem 4.5.7 is only stated for types 2An, 2Dn and 2E6; for 3D4 the manuscript contains only a remark that a similar result holds assuming 1/3 ∈ R. Since Theorem 5.3.1 explicitly includes 3D4, the proof of the center–centralizer statement for 3D4 (or an exact reference with a verifiable argument) must be supplied.
minor comments (4)
  1. [§4.4.2, proof of (f)] After the three Jacobi-identity equalities, the conclusion is said to "follow readily"; the product ordering and the cancellation of the remaining root-group factors should be spelled out, since the same derivation is reused in the critical Case E of Theorem 5.2.6.
  2. [§4.4.2, formula (a2-i)] In (a2-i) the condition t,u ∈ Rθ is clear only if both [α] and [β] are of type A1; the text should state this explicitly to avoid confusion with the other cases where t,u range over larger additive groups.
  3. [§4.4.3, Lemma 4.4.6] In the reduction to E3(R), the lemma says "it is enough to prove the corresponding results in the group S(R)", but the group has been denoted E3(R); this is a typo.
  4. [§5.2, Case C(d-ii)] The notation u = (u1,u2) ∈ J[α] = A(J) = J is overloaded: J[α] is a set of pairs while J is an ideal. Please use a different letter for the ideal (for example J0) or write A(J) explicitly in each occurrence.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the twisted Chevalley-group classification is proved from external commutator-formula and normality results, with self-citations only historical or peripheral.

full rationale

The central claims, Main Theorems 1 and 2 (Theorems 5.2.6 and 5.3.1), are proved within Chapter 5 by constructing the level ideal J from the subgroup H and then proving the sandwich E'σ(R,J) ⊂ H ⊂ Gσ(R,J). The lower inclusion follows from the definition of J together with normality of E'σ(R), while the upper inclusion is established through Propositions 5.4.1–5.4.6, which reduce commutators of H with root elements to E'σ(R,J). These arguments rest on the twisted commutator formulas (a1)–(g) of Section 4.4.2, quoted from Abe [1] or derived from the untwisted Chevalley commutator formula and the Jacobi identity, and on external results of Vaserstein [62], Suzuki [57,58], and Taddei [59]. No step identifies a fitted parameter with a predicted quantity, and no definition covertly assumes the theorem it proves. The joint paper [30] is cited for the historical origin of the main theorems and for Gvozdevsky's Appendix theorem, but the thesis reproduces the proofs of the main theorems independently, and the Gvozdevsky result is used only for the peripheral characteristic-subgroup corollary, not for the classification. The derivation chain is therefore self-contained modulo standard, externally sourced commutator formulas.

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

The central claim rests on standard Chevalley-group background: the existence of a Chevalley basis with specified signs, the twisted commutator formulas, and prior normality results. No free parameters or invented entities appear. The main burden is the correctness of the quoted commutator formulas.

assumptions (5)
  • domain assumption R is a commutative ring with unity and θ is a ring automorphism of order 2 or 3, with o(θ)=o(ρ).
    This is the setting for twisted Chevalley groups; see Section 4.3 definition of Gπ,σ(Φ,R).
  • domain assumption 1/2 ∈ R, and additionally 1/3 ∈ R when Φρ ∼ 3D4.
    Lemma 4.5.5 uses these to ensure Suzuki's conditions (A1),(A2) hold, and the commutator formulas in Section 5 require inversion of these scalars.
  • standard math A Chevalley basis exists satisfying the sign conditions in Lemma 4.2.1 (Abe).
    Cited from [1]; used to define the twisted generators x[α](t) and structure constants in Section 4.4.
  • standard math The twisted Chevalley commutator formulas (a1)-(g) in Section 4.4.2 are valid; parts (a1)-(d-ii) are quoted from Abe [1], and parts (e)-(g) are proved in the thesis.
    These formulas are the computational engine of Chapter 5 and feed into Proposition 5.1.4, Theorem 5.2.6, and the classification.
  • standard math The normality theorem for E′σ(R) in Gσ(R) under conditions (A1),(A2) (from Suzuki) and Vaserstein's untwisted commutator theorem are accepted as background.
    Used in Corollary 4.5.6 and Proposition 5.2.1 to establish normality of relative elementary subgroups.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Some Properties of Twisted Chevalley Groups." pith.science (2026). https://pith.science/paper/WBTWD5H5

@misc{pith2026250524430,
  author       = {Pith},
  title        = {Pith review of: Some Properties of Twisted Chevalley Groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WBTWD5H5}},
  note         = {Machine review of arXiv:2505.24430}
}
abstract

This thesis investigates certain structural properties of twisted Chevalley groups over commutative rings, focusing on three key problems. Let $R$ be a commutative ring satisfying mild conditions. Let $G_{\pi,\sigma} (\Phi, R)$ denote a twisted Chevalley group over $R$, and let $E'_{\pi, \sigma} (\Phi, R)$ denote its elementary subgroup. The first problem concerns the normality of $E'_{\pi, \sigma} (\Phi, R, J)$, the relative elementary subgroups at level $J$, in the group $G_{\pi, \sigma} (\Phi, R)$. The second problem addresses the classification of the subgroups of $G_{\pi, \sigma}(\Phi, R)$ that are normalized by $E'_{\pi, \sigma}(\Phi, R)$. This classification provides a comprehensive characterization of the normal subgroups of $E'_{\pi, \sigma}(\Phi, R)$. Lastly, the third problem investigates the normalizers of $E'_{\pi, \sigma}(\Phi, R)$ and $G_{\pi, \sigma}(\Phi, R)$ in the bigger group $G_{\pi, \sigma}(\Phi, S)$, where $S$ is a ring extension of $R$. We prove that these normalizers coincide. Moreover, for groups of adjoint type, we show that they are precisely equal to $G_{\pi, \sigma}(\Phi, R)$.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

71 extracted references · 71 canonical work pages

  1. [30]

    Garge and Deep H

    Shripad M. Garge and Deep H. Makadiya, On Normal Subgroups of Twisted Chevalley Groups over Commutative Rings, Accepted in Journal of Algebra (2025)

    work page 2025

  2. [1]

    Eiichi Abe, Coverings of twisted Chevalley groups over commutative rings, Sci. Rep. Tokyo Kyoiku Daigaku Sect. A, Vol. 13 (1977), 194--218

    work page 1977

  3. [2]

    Eiichi Abe, Chevalley groups over local rings, Tohoku Math. J. (2), Vol. 21 (1969), 474--494

    work page 1969

  4. [3]

    1988, Sendai Conf., Vol

    Eiichi Abe, Chevalley groups over commutative rings, Radical theory, Proc. 1988, Sendai Conf., Vol. 83 (1989), 1--23

    work page 1989

  5. [4]

    N ormal subgroups and automorphisms , Second I nternational C onference on A lgebra ( B arnaul, 1991), Contemp

    Eiichi Abe, Chevalley groups over commutative rings. N ormal subgroups and automorphisms , Second I nternational C onference on A lgebra ( B arnaul, 1991), Contemp. Math., Vol. 184 (1995), 13--23

    work page 1995

  6. [5]

    Eiichi Abe, Hopf algebras, Cambridge University Press, Cambridge-New York (1980)

    work page 1980

  7. [6]

    Hurley, Centers of Chevalley groups over commutative rings, Comm

    Eiichi Abe and James F. Hurley, Centers of Chevalley groups over commutative rings, Comm. Algebra, Vol. 16 (1988), 57--74

    work page 1988

  8. [7]

    Eiichi Abe and Kazuo Suzuki, On normal subgroups of Chevalley groups over commutative rings, Tohoku Math. J. (2), Vol. 28 (1976), 185--198

    work page 1976

Show all 71 references
  1. [8]

    108 (1969), 55--66

    Anthony Bak, On modules with quadratic forms, Algebraic K - T heory and its G eometric A pplications ( C onf., H ull, 1969), Vol. 108 (1969), 55--66

    1969

  2. [9]

    967 (1982), 1--22

    Anthony Bak, Subgroups of the general linear group normalized by relative elementary groups, Algebraic K -theory, P art II ( O berwolfach, 1980), Vol. 967 (1982), 1--22

    1982

  3. [10]

    Pure Appl

    Anthony Bak and Raimund Preusser, The E -normal structure of odd dimensional unitary groups , J. Pure Appl. Algebra, Vol. 222 (2018), No. 9, 2823--2880

    2018

  4. [11]

    Vavilov, Normality for elementary subgroup functors, Math

    Anthony Bak and Nikolai A. Vavilov, Normality for elementary subgroup functors, Math. Proc. Cambridge Philos. Soc., Vol. 118 (1995), 35--47

    1995

  5. [12]

    Hautes \'Etudes Sci

    Hyman Bass, K -theory and stable algebra, Inst. Hautes \'Etudes Sci. Publ. Math., Vol. 22 (1964), 5--60

    1964

  6. [13]

    Hyman Bass, Algebraic K -theory , W. A. Benjamin, Inc., New York-Amsterdam (1968)

    1968

  7. [14]

    Armand Borel, Linear algebraic groups, Graduate Texts in Mathematics, Springer-Verlag, New York (1991)

    1991

  8. [15]

    131 (1970), 1--55

    Armand Borel, Properties and linear representations of C hevalley groups , Lecture Notes in Math., Vol. 131 (1970), 1--55

    1970

  9. [16]

    Borevich and N

    Zenon I. Borevich and N. A. Vavilov, The distribution of subgroups in the general linear group over a commutative ring Proc. Steklov. Inst. Math, N. 3 (1985), 27--46

    1985

  10. [17]

    Bunina, Automorphisms of Chevalley groups over commutative rings, Comm

    Elena I. Bunina, Automorphisms of Chevalley groups over commutative rings, Comm. Algebra, Vol. 52 (2024), 2313--2327

    2024

  11. [18]

    Bunina, Automorphisms of Chevalley groups of different types over commutative rings, J

    Elena I. Bunina, Automorphisms of Chevalley groups of different types over commutative rings, J. Algebra, Vol. 355 (2012), 154--170

    2012

  12. [19]

    Bunina, Automorphisms of Chevalley groups of certain types over local rings, Uspekhi Mat

    Elena I. Bunina, Automorphisms of Chevalley groups of certain types over local rings, Uspekhi Mat. Nauk, Vol. 62 (2007), 143--144

    2007

  13. [20]

    Bunina, Automorphisms of Chevalley groups of types B_2 and G_2 over local rings, Journal of Mathematical Sciences, Vol

    Elena I. Bunina, Automorphisms of Chevalley groups of types B_2 and G_2 over local rings, Journal of Mathematical Sciences, Vol. 155, No. 6 (2008), 795--814

    2008

  14. [21]

    Bunina, Automorphisms of elementary adjoint Chevalley groups of types A_l, D_l, E_l over local rings with 1/2 , Algebra and Logic, Vol

    Elena I. Bunina, Automorphisms of elementary adjoint Chevalley groups of types A_l, D_l, E_l over local rings with 1/2 , Algebra and Logic, Vol. 48, No. 4 (2009), 250--267

    2009

  15. [22]

    Bunina, Automorphisms of Chevalley groups of types A_l, D_l, or E_l over local rings with 1/2 , Journal of Mathematical Sciences, Vol

    Elena I. Bunina, Automorphisms of Chevalley groups of types A_l, D_l, or E_l over local rings with 1/2 , Journal of Mathematical Sciences, Vol. 167, No. 6 (2010), 749--766

    2010

  16. [23]

    Bunina, Automorphisms of Chevalley groups of types A_l, D_l, E_l over local rings without 1/2 , Journal of Mathematical Sciences, Vol

    Elena I. Bunina, Automorphisms of Chevalley groups of types A_l, D_l, E_l over local rings without 1/2 , Journal of Mathematical Sciences, Vol. 169, No. 5 (2010), 589--613

    2010

  17. [24]

    Elena. I. Bunina, Automorphisms of Chevalley groups of type B_l over local rings with 1/2 , Journal of Mathematical Sciences, Vol. 169, No. 5 (2010), 557--588

    2010

  18. [25]

    Bunina, Automorphisms of Chevalley groups of type F_4 over local rings with 1/2 , Journal of Algebra, Vol

    Elena I. Bunina, Automorphisms of Chevalley groups of type F_4 over local rings with 1/2 , Journal of Algebra, Vol. 323, No. 8 (2010), 2270--2289

    2010

  19. [26]

    Bunina and P

    Elena I. Bunina and P. A. Verëvkin, Normalizers of Chevalley groups of type G_2 over local rings without 1/2 , Journal of Mathematical Sciences, Vol. 201, No. 4 (2014), 446--449

    2014

  20. [27]

    Bunina and P

    Elena I. Bunina and P. A. Verëvkin, Automorphisms of Chevalley groups of type G_2 over local rings without 1/2 , Journal of Mathematical Sciences, Vol. 197, No. 4 (2014), 479--491

    2014

  21. [28]

    Bunina and M

    Elena I. Bunina and M. A. Vladykina, Automorphisms of Chevalley groups of type G_2 over a commutative ring R with 1/3 generated by the invertible elements and 2R , Journal of Mathematical Sciences, Vol. 284, No. 4 (2014), 431--441

    2014

  22. [29]

    Carter, Simple Groups of Lie Type, 2nd edition, Wiley, London (1989)

    Roger W. Carter, Simple Groups of Lie Type, 2nd edition, Wiley, London (1989)

    1989

  23. [31]

    Garge and Deep H

    Shripad M. Garge and Deep H. Makadiya, Normalizer of Twisted Chevalley Groups over Commutative Rings, arXiv:2503.16894 https://doi.org/10.48550/arXiv.2503.16894 (2025)

    2025 doi arXiv

  24. [32]

    Garge and Deep H

    Shripad M. Garge and Deep H. Makadiya, Triangular and Unitriangular Factorization of Twisted Chevalley Groups, arXiv.2505.20224 https://doi.org/10.48550/arXiv.2505.20224 (2025)

    2025 doi arXiv

  25. [33]

    Vavilov, K_1 of Chevalley groups are nilpotent , J

    Roozbeh Hazrat and Nikolai A. Vavilov, K_1 of Chevalley groups are nilpotent , J. Pure Appl. Algebra, Vol. 179 (2003), 99--116

    2003

  26. [34]

    Humphreys, Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics, Springer-Verlag, New York-Berlin (1972)

    James E. Humphreys, Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics, Springer-Verlag, New York-Berlin (1972)

    1972

  27. [35]

    Humphreys, Linear Algebraic Groups, Graduate Texts in Mathematics, Springer-Verlag, New York-Heidelberg (1975)

    James E. Humphreys, Linear Algebraic Groups, Graduate Texts in Mathematics, Springer-Verlag, New York-Heidelberg (1975)

    1975

  28. [36]

    Humphreys, Reflection groups and Coxeter groups, Cambridge University Press, Cambridge (1990)

    James E. Humphreys, Reflection groups and Coxeter groups, Cambridge University Press, Cambridge (1990)

    1990

  29. [37]

    Klyachko, Automorphisms and isomorphisms of C hevalley groups and algebras , J

    Anton A. Klyachko, Automorphisms and isomorphisms of C hevalley groups and algebras , J. Algebra, Vol. 324 (2010), 2608--2619

    2010

  30. [38]

    V. I. Kope i ko, The stabilization of symplectic groups over a polynomial ring, Math. U.S.S.R., Sbornik, Vol. 34 (1978), 655--669

    1978

  31. [39]

    Ramji Lal, Algebra 4--Lie Algebras, Chevalley Groups, and their Representations, Infosys Science Foundation Series, Springer, Singapore (2021)

    2021

  32. [40]

    A. L. Onishchik and \`E. B. Vinberg, Lie groups and algebraic groups, Springer Series in Soviet Mathematics, Springer-Verlag, Berlin (1990)

    1990

  33. [41]

    V. A. Petrov and A. K. Stavrova, Elementary subgroups in isotropic reductive groups, St. Petersburg Math. J., Vol. 20 (2009), no. 4, 625--644

    2009

  34. [42]

    Vavilov, Chevalley groups over commutative rings

    Eugene Plotkin and Nikolai A. Vavilov, Chevalley groups over commutative rings. 1 . E lementary calculations , Acta Appl. Math., Vol. 45 (1996), 73--113

    1996

  35. [43]

    Eugene Plotkin, Surjective stabilization of the K_1 -functor for some exceptional C hevalley groups , Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov., Vol. 198 (1991), 65--88

    1991

  36. [44]

    Surveys, Vol

    Eugene Plotkin, Surjective stability of the K_1 -functor for C hevalley groups of normal and twisted types , Russian Math. Surveys, Vol. 44 (1989), 239--240

    1989

  37. [45]

    48 (2020), No

    Raimund Preusser, The E -normal structure of P etrov's odd unitary groups over commutative rings , Communications in Algebra, Vol. 48 (2020), No. 3, 1114--1131

    2020

  38. [46]

    21 (2018), No

    Raimund Preusser, Sandwich classification for GL _n(R) , O _ 2n (R) and U _ 2n (R, ) revisited , Journal of Group Theory, Vol. 21 (2018), No. 1, 21--44

    2018

  39. [47]

    21 (2018), No

    Raimund Preusser, Sandwich classification for O _ 2n+1 (R) and U_ 2n+1 (R, ) revisited , Journal of Group Theory, Vol. 21 (2018), No. 4, 539--571

    2018

  40. [48]

    24 (2017), No

    Raimund Preusser, Structure of hyperbolic unitary groups II : C lassification of E -normal subgroups , Algebra Colloquium, Vol. 24 (2017), No. 2, 195--232

    2017

  41. [49]

    Springer, Linear algebraic groups, 2nd edition, Birkh\"auser Boston, Inc., Boston, MA (1998)

    Tonny A. Springer, Linear algebraic groups, 2nd edition, Birkh\"auser Boston, Inc., Boston, MA (1998)

    1998

  42. [50]

    656 (2024), 486--515

    Anastasia Stavrova and Alexei Stepanov, Normal structure of isotropic reductive groups over rings, Journal of Algebra, Vol. 656 (2024), 486--515

    2024

  43. [51]

    Stein, Stability theorems for K 1 , K 2 \ and related functors modeled on C hevalley groups , Japan

    Michael R. Stein, Stability theorems for K 1 , K 2 \ and related functors modeled on C hevalley groups , Japan. J. Math., Vol. 4 (1978), 77--108

    1978

  44. [52]

    Robert Steinberg, Lectures on Chevalley Groups, Yale University Press (1968)

    1968

  45. [53]

    Math., Vol

    Robert Steinberg, Variations on a Theme of Chevalley, Pacific J. Math., Vol. 9 (1959), 875--891

    1959

  46. [54]

    Suslin, On the structure of the general linear group over polynomial rings, Soviet Math

    Andrei A. Suslin, On the structure of the general linear group over polynomial rings, Soviet Math. Izv., Vol. 41 (1977), 503--516

    1977

  47. [55]

    Suslin and V

    Andrei A. Suslin and V. I. Kope iko, Quadratic modules and the orthogonal group over polynomial rings, Zap. Nau cn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), Vol. 71 (1977), 216--250, 287

    1977

  48. [56]

    Kazuo Suzuki, On Normal Subgroups of Twisted Chevalley Groups over Local Rings, Sci. Rep. Tokyo Kyoiku Daigaku Sect. A, Vol. 13 (1977), 238--249

    1977

  49. [57]

    Algebra, Vol

    Kazuo Suzuki, Normality of the Elementary Subgroups of Twisted Chevalley Groups over Commutative Rings, J. Algebra, Vol. 175 (1995), 526--536

    1995

  50. [58]

    Math., Vol

    Kazuo Suzuki, Centers of Twisted Chevalley Groups over Commutative Rings, Kumamoto J. Math., Vol. 6 (1993), 1--9

    1993

  51. [59]

    Giovanni Taddei, Normalit\' e des groupes \' e l\' e mentaires dans les groupes de C hevalley sur un anneau , Contemp. Math. (2), Vol. 55 (1986), 693--710

    1986

  52. [60]

    Giovanni Taddei, Invariance du sous-groupe symplectique \'el\'ementaire dans le groupe symplectique sur un anneau, C. R. Acad. Sci. Paris S\'er. I Math., Vol. 295 (1982), 313--329

    1982

  53. [61]

    Jacques Tits, Algebraic and abstract simple groups, Ann. of Math. (2), Vol. 80 (1964), 313–-329

    1964

  54. [62]

    Vaserstein, On normal subgroups of Chevalley groups over commutative rings, Tohoku Math

    Leonid N. Vaserstein, On normal subgroups of Chevalley groups over commutative rings, Tohoku Math. J. (2), Vol. 38 (1986), 219--230

    1986

  55. [63]

    Vaserstein, On the normal subgroups of GL n \ over a ring , Algebraic K -theory, E vanston 1980 ( P roc

    Leonid N. Vaserstein, On the normal subgroups of GL n \ over a ring , Algebraic K -theory, E vanston 1980 ( P roc. C onf., N orthwestern U niv., E vanston, I ll., 1980), Vol. 854 (1981), 456--465

    1981

  56. [64]

    Vaserstein, Normal subgroups of orthogonal groups over commutative rings, Amer

    Leonid N. Vaserstein, Normal subgroups of orthogonal groups over commutative rings, Amer. J. Math., Vol. 110 (1988), 955--973

    1988

  57. [65]

    Vaserstein, Normal subgroups of symplectic groups over rings, K -Theory, Vol

    Leonid N. Vaserstein, Normal subgroups of symplectic groups over rings, K -Theory, Vol. 2 (1989), 647--673

    1989

  58. [66]

    Vavilov, Structure of Chevalley groups over commutative rings, Nonassociative algebras and related topics (Hiroshima, 1990), World Sci

    Nikolai A. Vavilov, Structure of Chevalley groups over commutative rings, Nonassociative algebras and related topics (Hiroshima, 1990), World Sci. Publ., River Edge, NJ (1991), 219--335

    1991

  59. [67]

    Vavilov, A third look at weight diagrams, Rend

    Nikolai A. Vavilov, A third look at weight diagrams, Rend. Sem. Mat. Univ. Padova, Vol. 104 (2000), 201--250

    2000

  60. [68]

    Vavilov, Intermediate subgroups in Chevalley groups, London Math

    Nikolai A. Vavilov, Intermediate subgroups in Chevalley groups, London Math. Soc. Lecture Note Ser., Vol. 207 (1995), 233--280

    1995

  61. [69]

    Vavilov, On subgroups of the split classical groups, Trudy Mat

    Nikolai A. Vavilov, On subgroups of the split classical groups, Trudy Mat. Inst. Steklov, Vol. 183 (1990), 29--41

    1990

  62. [70]

    Vavilov, The structure of split classical groups over a commutative ring, Dokl

    Nikolai A. Vavilov, The structure of split classical groups over a commutative ring, Dokl. Akad. Nauk SSSR, Vol. 299 (1988), 1300--1303

    1988

  63. [71]

    Vavilov, On the problem of normality of the elementary subgroup in a Chevalley group, Algebraic and discrete systems, Ivanovo Univ

    Nikolai A. Vavilov, On the problem of normality of the elementary subgroup in a Chevalley group, Algebraic and discrete systems, Ivanovo Univ. (1988), 7--25

    1988

Pith tools

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