OFFSET
1,1
COMMENTS
This sequence, 2, 3, 3, 4, 5, 6, 7, ..., gives the stable range of the polynomial rings Z, Z[x_1], Z[x_1, x_2], Z[x_1, x_2, x_3], ...
A note on terminology: "stable range" and "stable rank" are the same thing. In the English-speaking world, people have always used the term "stable range", which was what Bass had invented in the early '60s. When Russian workers wrote on this theme, of course they used a Russian translation of the term "stable range". When the term was translated back into English, it became "stable rank"! - T. Y. Lam, Nov 07 2021
REFERENCES
T. Y. Lam, Excursions in Ring Theory, in preparation, 2021. See Section 24.
LINKS
F. Grunewald, J. Mennicke, and L. Vaserstein, On the groups SL_2(Z[x]) and SL_2(k[x, y]), Israel J. Math., 86(1-3):157-193, 1994.
Luc Guyot, The stable rank of Z[x] is 3, arXiv:2111.02965 [math.AC], November 2021.
MathOverFlow, Bass' stable range of 𝐙[𝑋]
L. N. Vaseršteĭn and Andrey Aleksandrovich Suslin, Serre's Problem on Projective Modules over Polynomial Rings, and Algebraic K-theory, Mathematics of the USSR-Izvestiya 10.5 (1976): 937 (Russian version).
Index entries for linear recurrences with constant coefficients, signature (2,-1).
FORMULA
a(n) = n for n >= 3.
From Chai Wah Wu, Aug 09 2022: (Start)
a(n) = 2*a(n-1) - a(n-2) for n > 4.
G.f.: x*(x^3 - x^2 - x + 2)/(x - 1)^2. (End)
PROG
(Python)
def A348776(n): return n+int(n<3) # Chai Wah Wu, Aug 09 2022
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
N. J. A. Sloane, Nov 07 2021, following a suggestion from L. Guyot and T. Y. Lam.
STATUS
approved