OFFSET
1,2
COMMENTS
Equivalently, a(n) is the number of nonisomorphic unitary rings whose rank is 2 when viewed as a free module over the ring (Z_n, +, *). - Jianing Song, Feb 23 2021
Every unitary ring with additive group (Z/nZ)^2 must be commutative, and is of the form Z_n[x]/(x^2 + b*x + c) for some b, c in Z_n, where (x^2 + b*x + c) stands for the ideal of Z_n[x] generated by x^2 + b*x + c. Proof: Let R be a unitary commutative ring with additive group (Z/nZ)^2. Suppose e is the identity element of R, x is an element such that {e, x} is a basis for R as a free module over Z_n (such a basis must exist, see my note in the link section), then every element can be written as the form u*x + v*e for 0 <= u, v <= n-1. If x^2 = -p*x - q*e, it turns out that R is isomorphic to Z_n[x]/(x^2 + [p]*x + [q]). - Jianing Song, Apr 23 2021
Equivalently, a(n) is the number of nonisomorphic rings of the form Z[x]/(n, x^2 + p*x + q), where (n, x^2 + p*x + q) is the ideal of Z[x] generated by n and x^2 + p*x + q. - Jianing Song, Feb 15 2021
Theorem. R_1 = Z_n[x]/(x^2 + b*x + c) and R_2 = Z_n[y]/(y^2 + b'*y + c') are isomorphic if and only if there exists some k in Z, t in Z_n such that gcd(k, n) = 1 and that b' == b*k + 2*t (mod n), c' == t^2 + b*k*t + c*k^2 (mod n).
Proof: "<=": Note that y^2 + (b*k + 2*t)*y + (t^2 + b*k*t + c*k^2) = (y + t)^2 + b*k*(y + t) + c*k^2, so a mapping from R_1 to R_2 is given by f(x) = (y + t)/k and f(r*x + s) = r*f(x) + s. Since gcd(k, n) = 1, f is an isomorphic mapping.
"=>": If R_1 and R_2 are isomorphic, there exists some isomorphic mapping from R_2 to R_1 such that f(y) = k*x - t. If gcd(k, n) > 1, since f(r*y + s) = r*f(y) + s = r*(k*x - t), there is no element in R_2 such that f(y) = x, a contradiction. So this isomorphic mapping sends x in R_1 to (y + t)/k, then (y + t)^2 + b*k*(y + t) + c*k^2 = 0. The corresponding coefficients must be equal modulo n, so b' == b*k + 2*t (mod n), c' == t^2 + b*k*t + c*k^2 (mod n).
Now note that without loss of generality we can suppose that b = 0 or -1, because we can always find some t such that b*k + 2*t == 0 or -1 (mod n). Furthermore, if n is an odd number, we can suppose that b = 0.
Case (i): n is an odd number, then a unitary ring with additive group (Z/nZ)^2 is of the form Z_n[x]/(x^2 - c). From the theorem above we can see that R_1 = Z_n[x]/(x^2 - c) and R_2 = Z_n[y]/(y^2 - c') are isomorphic if and only if there exists some k such that gcd(k, n) = 1 and that c*k^2 == c' (mod n). So the number of such rings is A092089(n).
Case (ii): n is an even number, then a unitary ring with additive group (Z/nZ)^2 is of the form Z_n[x]/(x^2 - c) or Z_n[x]/(x^2 - x - (c - 1)/4), c in Z_{4n}, c == 1 (mod 4). From the theorem above we can see that R_1 = Z_n[x]/(x^2 - c) and R_2 = Z_n[y]/(y^2 - c') are isomorphic if and only if there exists some k such that gcd(k, n) = 1 and that c*k^2 == c' (mod n) or c*k^2 + n^2/4 == c' (mod n) (with t = 0 and t = n/2 respectively); R_3 = Z_n[x]/(x^2 - x - (c - 1)/4)) and R_4 = Z_n[y]/(y^2 - y - (c' - 1)/4)) are isomorphic if and only if there exists some k such that gcd(k, 4*n) = 1 and that c*k^2 == c' (mod 4*n) or c*k^2 - n^2 + 2*n == c' (mod 4*n) (with t = (k - 1)/2 and t = (n + k - 1)/2 respectively).
(a) if n == 2 (mod 4), then the number of rings of the form is Z_n[x]/(x^2 - c) is A092089(n/2), and the number of rings of the form Z_n[x]/(x^2 - x - (c - 1)/4) is equal to the number of inequivalent residue classes modulo 4*n that are congruent to 1 modulo 4 where the equivalence relation is defined as [a] ~ [b] (mod 4*n) if and only if there exists some k such that gcd(k, 4*n) = 1 and that a*k^2 == b (mod 4*n). The number of the even inequivalent residue classes modulo 4*n is equal to the number of inequivalent residue classes modulo 2*n, and the number of inequivalent residue classes modulo 4*n that are congruent to 1 modulo 4 is equal to the number of those that are congruent to 3 modulo 4. So the total number if A092089(n/2) + (A092089(4*n) - A092089(2*n))/2.
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..10000
Christof Nöbauer, Numbers of rings on groups of prime power order.
Jianing Song, Note on A307000.
FORMULA
Multiplicative with a(p^e) = 2*e + 1, a(2) = 3 and a(2^e) = 4*e - 2 for e >= 2.
Dirichlet g.f.: zeta(s)^3/zeta(2s)*(1/(1+2^(-s))).
Sum_{k=1..n} a(k) ~ (2*n/Pi^2) * (log(n)^2 + c_1 * log(n) + c_2), where c_1 = 6 * gamma - 2 + 2*log(2)/3 - 4*zeta'(2)/zeta(2) = 4.2052360821..., gamma is Euler's constant (A001620), c_2 = 2 - 6*gamma + 6*gamma^2 - 2*log(2)/3 + 2*gamma*log(2) - log(2)^2/9 - 6*gamma_1 + 4*(1 - 3*gamma - log(2)/3)*zeta'(2)/zeta(2) + 8*(zeta'(2)/zeta(2))^2 - 4*zeta''(2)/zeta(2) = 1.2136692558..., and gamma_1 is the first Stieltjes constant (A082633). - Amiram Eldar, Dec 22 2023
EXAMPLE
The nonisomorphic unitary rings with additive group (Z/nZ)^2 (rings of the form Z_n[x]/(x^2 + b*x + c)) are given by Z_n[x]/(f(x)), where f(x) =
n = 1: x^2 (total number = 1);
n = 2: x^2, x^2 - x, x^2 - x - 1 (total number = 3);
n = 3: x^2, x^2 - 1, x^2 - 2 (total number = 3);
n = 4: x^2, x^2 - 1, x^2 - 2, x^2 - 3, x^2 - x, x^2 - x - 1 (total number = 6);
n = 5: x^2, x^2 - 1, x^2 - 2 (total number = 3);
n = 6: x^2, x^2 - 1, x^2 - 2, x^2 - x, x^2 - x - 1, x^2 - x - 2, x^2 - x - 3, x^2 - x - 4, x^2 - x - 5 (total number = 9);
n = 7: x^2, x^2 - 1, x^2 - 3 (total number = 3);
n = 8: x^2, x^2 - 1, x^2 - 2, x^2 - 3, x^2 - 4, x^2 - 5, x^2 - 6, x^2 - 7, x^2 - x, x^2 - x - 1 (total number = 10);
n = 9: x^2, x^2 - 1, x^2 - 2, x^2 - 3, x^2 - 6 (total number = 5);
n = 10: x^2, x^2 - 1, x^2 - 2, x^2 - x, x^2 - x - 1, x^2 - x - 3, x^2 - x - 4, x^2 - x - 5, x^2 - x - 6 (total number = 9).
See the link for rings of the form Z_n[x]/(x^2 + b*x + c) for n <= 100.
MATHEMATICA
f[2, e_] := If[e == 1, 3, 4*e - 2]; f[p_, e_] := 2*e+1; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, Sep 17 2020 *)
PROG
(PARI) a(n)=
{
my(r=1, f=factor(n));
for(j=1, #f[, 1], my(p=f[j, 1], e=f[j, 2]);
if(p>=3, r*=(2*e+1));
if(p==2&&e==1, r*=3);
if(p==2&&e>=2, r*=4*e-2);
);
return(r);
}
CROSSREFS
KEYWORD
nonn,easy,mult
AUTHOR
Jianing Song, Mar 24 2019
EXTENSIONS
New name from Jianing Song, Feb 15 2021
New name from Jianing Song, Apr 23 2021
STATUS
approved