A341202 -id:A341202 - cp's OEIS frontend

A127707 Number of commutative rings with 1 containing n elements.

1, 1, 1, 4, 1, 1, 1, 10, 4, 1, 1, 4, 1, 1, 1, 37, 1, 4, 1, 4, 1, 1, 1, 10, 4, 1, 11, 4, 1, 1, 1, 109, 1, 1, 1, 16, 1, 1, 1, 10, 1, 1, 1, 4, 4, 1, 1, 37, 4, 4, 1, 4, 1, 11, 1, 10, 1, 1, 1, 4, 1, 1, 4

Offset: 1

Hugues Randriam (randriam(AT)enst.fr), Jan 24 2007

Is this a multiplicative function?

Answer: yes! See the Eric M. Rains link for a proof for the result for all unital rings; restricting to commutative rings does not affect the essence of the proof. - Jianing Song, Feb 02 2020

C. Noebauer, Home page and Table of numbers of small rings [Archived copies from web.archive.org]
Eric M. Rains, The number of unital rings with n elements is a multiplicative function of n.

Cf. A037289, A037291, A127708, A027623, A307000, A341202.

a(n) = A037291(n) - A127708(n). - Bernard Schott, Apr 19 2022

Keyword 'mult' added by Jianing Song, Feb 02 2020
a(32)-a(63) using Nöbauer's data added by Andrey Zabolotskiy, Apr 18 2022
a(32) = 109 corrected by Bernard Schott, Apr 19 2022

A307000 Number of unitary rings with additive group (Z/nZ)^2. Equivalently, number of unitary commutative rings with additive group (Z/nZ)^2.

Original entry on oeis.org

1, 3, 3, 6, 3, 9, 3, 10, 5, 9, 3, 18, 3, 9, 9, 14, 3, 15, 3, 18, 9, 9, 3, 30, 5, 9, 7, 18, 3, 27, 3, 18, 9, 9, 9, 30, 3, 9, 9, 30, 3, 27, 3, 18, 15, 9, 3, 42, 5, 15, 9, 18, 3, 21, 9, 30, 9, 9, 3, 54, 3, 9, 15, 22, 9, 27, 3, 18, 9, 27, 3, 50, 3, 9, 15, 18, 9, 27

Offset: 1

Jianing Song, Mar 24 2019

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.
(b) if n == 0 (mod 4). Similarly, the number of rings of the form is Z_n[x]/(x^2 - c) is A092089(n), and the number of rings of the form Z_n[x]/(x^2 - x - (c - 1)/4) is (A092089(2*n) - A092089(n))/2.

			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.

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, List of rings of the form Z_n[x]/(x^2 + b*x + c) for n <= 100.
Jianing Song, Note on A307000.

Cf. A092089.
Cf. also A341547, A341548, A341201, A341202.
Cf. A001620, A082633, A201994, A306016.

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 *)

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);
}

a(n) = A092089(n) if n is odd; (A092089(n) + A092089(2*n))/2 if n is even.
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

New name from Jianing Song, Feb 15 2021

New name from Jianing Song, Apr 23 2021

A341201 Number of unitary rings with additive group (Z/nZ)^3.

Original entry on oeis.org

1, 7, 7, 27, 7, 49, 7

Offset: 1

José María Grau Ribas, Feb 07 2021

R. Gilmer and J. Mott, Associative rings of order_P^3, Proc. Jpn. Acad., 49, No. 10, (1973), 725-799.
Christof Nöbauer, Numbers of rings on groups of prime power order
Christof Nöbauer, Home page

Cf. A341202, A037234, A037291, A127708, A127707, A037289, A037290, A038036, A307000, A339948.

A341547 Number of rings with additive group (Z/nZ)^2.

Original entry on oeis.org

1, 8, 8, 66, 8, 64, 8, 301, 175, 64, 8, 528, 8, 64, 64

Offset: 1

José María Grau Ribas, Feb 14 2021

B. Fine, Classification of Finite Rings of Order p^2, Mathematics Magazine, 66(4) (1993), 248-252.
C. R. Fletcher, Rings of Small Order, The Mathematical Gazette, 64(427) (1980), 9-22.
Christof Nöbauer, Numbers of rings on groups of prime power order
Christof Nöbauer, Home page

Cf. A341548, A341201, A341202, A037234, A037291, A127708, A127707, A037289, A037290, A038036, A307000, A339948, A000005.

Clear[phi]; phi[1] = 1; phi[p_,1] := 8; phi[2,2] = 66;
phi[2,3] = 301; phi[3,2] = 175; phi[n_]:= Module[{aux = FactorInteger[n]}, Product[phi[aux[[i, 1]], aux[[i, 2]]], {i, Length[aux]}]];

A341548 Number of commutative rings with additive group (Z/nZ)^2.

Original entry on oeis.org

1, 6, 6, 28, 6, 36, 6, 79, 35, 36, 6, 168, 6, 36, 36

Offset: 1

José María Grau Ribas, Feb 14 2021

It appears that a(16)=230, but it is preferable to wait for someone to confirm it.

B. Fine, Classification of Finite Rings of Order p^2, Mathematics Magazine, 66(4) (1993), 248-252.
C. R. Fletcher, Rings of Small Order, The Mathematical Gazette, 64(427) (1980), 9-22.
Christof Nöbauer, Numbers of rings on groups of prime power order
Christof Nöbauer, Home page

Cf. A341547, A341201, A341202, A037234, A037291, A127708, A127707, A037289, A037290, A038036, A307000, A339948, A000005.

Clear[phi]; phi[p_, 1] := 6;  phi[2,2] = 28; phi[2,3] = 79;  phi[3,2] = 35; phi[n_]:= Module[{aux = FactorInteger[n]}, Product[phi[aux[[i, 1]], aux[[i, 2]]], {i, Length[aux]}]];

A342305 Number of nonisomorphic rings Z/nZ/(x^2 - A, y^2 - B, yx - a - bx - cy - dx*y) of order n^4.

Original entry on oeis.org

1, 3, 13, 97, 14, 39, 15, 624, 67, 42, 17, 1261, 18, 45, 182

Offset: 1

José María Grau Ribas, Mar 08 2021

			For n=2:
  Z/2Z<x,y>/(x^2, y^2, y*x),
  Z/2Z<x,y>/(x^2, y^2, y*x + x*y),
  Z/2Z<x,y>/(x^2, y^2, y*x + 1 + x*y),
so a(2)=3.
For n=3, a complete family of non-isomorphic cases {A,B,a,b,c,d} are:
  {0,0,0,0,0,0}, {0,0,0,0,0,1}, {0,0,0,0,0,2}, {0,0,1,0,0,2},
  {0,1,0,0,0,1}, {0,1,0,0,0,2}, {0,1,0,1,0,0}, {0,2,0,0,0,1}, {0,2,0,0,0,2},
  {1,0,0,0,1,0}, {1,1,0,0,0,1}, {1,1,1,1,2,0}, {1,2,0,0,0,1},
so a(3)=13.

José María Grau Ribas, A complete family of non-isomorphic rings of the type Zn(A,B,a,b,c,d)
José María Grau Ribas, Mathematica code
José María Grau Ribas, Antonio M. Oller-Marcén, and Steve Szabo, Minimal rings related to generalized quaternion rings, Int'l Electronic J. Algebra (2023).

Cf. A341548, A341547, A341201, A341202, A037234, A037291, A127708, A127707, A037289, A037290, A038036, A307000, A339948, A000005.

a[1]=1; a[p_,1]:= (12 + (p - 1)/2); a[2, 1]=3; a[2,2]= 97; a[2,3]=624; a[3, 2]=67; a[n_]:=Module[{aux=FactorInteger[n]},Product[a[aux[[i,1]], aux[[i,2]]], {i, Length[aux]}]]; Table[a[n], {n, 1, 15}]

cp's OEIS Frontend

A127707 Number of commutative rings with 1 containing n elements.

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

Extensions

A307000 Number of unitary rings with additive group (Z/nZ)^2. Equivalently, number of unitary commutative rings with additive group (Z/nZ)^2.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A341201 Number of unitary rings with additive group (Z/nZ)^3.

Views

Author

Keywords

Links

Crossrefs

A341547 Number of rings with additive group (Z/nZ)^2.

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

A341548 Number of commutative rings with additive group (Z/nZ)^2.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

A342305 Number of nonisomorphic rings Z/nZ/(x^2 - A, y^2 - B, y*x - a - b*x - c*y - d*x*y) of order n^4.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

A342305 Number of nonisomorphic rings Z/nZ/(x^2 - A, y^2 - B, yx - a - bx - cy - dx*y) of order n^4.