[go: up one dir, main page]

login
Search: a115075 -id:a115075
     Sort: relevance | references | number | modified | created      Format: long | short | data
a(n) = n^2 * phi(n).
+10
27
1, 4, 18, 32, 100, 72, 294, 256, 486, 400, 1210, 576, 2028, 1176, 1800, 2048, 4624, 1944, 6498, 3200, 5292, 4840, 11638, 4608, 12500, 8112, 13122, 9408, 23548, 7200, 28830, 16384, 21780, 18496, 29400, 15552, 49284, 25992, 36504, 25600, 67240
OFFSET
1,2
COMMENTS
Number of invertible 2 X 2 symmetric matrices over Z(n). - T. D. Noe, Jan 13 2006
Note that A115077 gives the number of 2 X 2 symmetric matrices having nonzero determinant. However, for composite n, a nonzero determinant is not sufficient for the matrix to be invertible; the determinant must also be relatively prime to n. - T. D. Noe, Jan 13 2006
Also Euler phi function of n^3.
For n^k, EulerPhi(n^k) = n^(k-1)*EulerPhi(n). The same holds if Phi is replaced by the cototient function.
Also, the sum of the degrees of the irreducible representations of the group GL(2,Z_n) (sequence A000252). - Sharon Sela (sharonsela(AT)hotmail.com), Feb 06 2002
LINKS
FORMULA
a(n) = n^2 * phi(n) = A000010(n^3).
Dirichlet g.f.: zeta(s-3)/zeta(s-2). - R. J. Mathar, Feb 09 2011
The n-th term of the Dirichlet inverse is n^2 * A023900(n) = (-1)^omega(n) * a(n) / A003557(n), where omega = A001221. - Álvar Ibeas, Nov 24 2017
Sum_{n>=1} 1/a(n) = Product_{p prime} (1 + p/(p^4 - p^3 - p + 1)) = 1.38097852211302096879... - Amiram Eldar, Dec 06 2020
EXAMPLE
n=5: n^3 = 125, EulerPhi(125) = 125 - 25 = 100.
MAPLE
with(numtheory):a:=n->phi(n^3): seq(a(n), n=1..41); # Zerinvary Lajos, Oct 07 2007
MATHEMATICA
Table[cnt=0; Do[m={{a, b}, {b, c}}; If[Det[m, Modulus->n]>0 && MatrixQ[Inverse[m, Modulus->n]], cnt++ ], {a, 0, n-1}, {b, 0, n-1}, {c, 0, n-1}]; cnt, {n, 2, 50}] (* T. D. Noe, Jan 13 2006 *)
Table[n^2*EulerPhi[n], {n, 1, 40}] (* Vladimir Joseph Stephan Orlovsky, Nov 10 2009 *)
PROG
(Sage) [n^2*euler_phi(n) for n in range(1, 42)] # Zerinvary Lajos, Jun 06 2009
(Magma) [ n^2*EulerPhi(n) : n in [1..100] ]; // Vincenzo Librandi, Apr 21 2011
(PARI) a(n) = n^2*eulerphi(n); \\ Michel Marcus, Oct 31 2017
CROSSREFS
Cf. A000252 (number of invertible 2 X 2 matrices over Z(n)), A115075, A115076, A115077.
KEYWORD
nonn,mult
AUTHOR
Labos Elemer, Mar 02 2000
EXTENSIONS
Edited by N. J. A. Sloane at the suggestion of Andrew S. Plewe, Jun 05 2007
STATUS
approved
Number of 2 X 2 symmetric matrices over Z(n) having nonzero determinant.
+10
2
0, 4, 18, 44, 100, 180, 294, 432, 630, 900, 1210, 1548, 2028, 2548, 3150, 3744, 4624, 5436, 6498, 7500, 8820, 10164, 11638, 13104, 14900, 16900, 18792, 20972, 23548, 26100, 28830, 31360, 34848, 38148, 41650, 44676, 49284, 53428, 57798, 62000
OFFSET
1,2
FORMULA
a(n) = n^3 - A115075(n).
For squarefree n, a(n) = (n-1)*n^2.
MATHEMATICA
Table[cnt=0; Do[m={{a, b}, {b, c}}; If[Det[m, Modulus->n]>0, cnt++ ], {a, 0, n-1}, {b, 0, n-1}, {c, 0, n-1}]; cnt, {n, 50}]
f[p_, e_] := p^e*(p^e + p^(e-1) - p^(Ceiling[e/2] - 1)); a[1] = 0; a[n_] := n^3 - Times @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, Oct 31 2023 *)
PROG
(PARI) a(n) = {my(f = factor(n), p, e); n^3 - prod(i = 1, #f~, p = f[i, 1]; e = f[i, 2]; p^e*(p^e + p^(e-1) - p^((e+1)\2 - 1))); } \\ Amiram Eldar, Oct 31 2023
CROSSREFS
Cf. A005353 (number of 2 X 2 matrices over Z(n) having nonzero determinant), A115075.
KEYWORD
nonn,easy
AUTHOR
T. D. Noe, Jan 12 2006
STATUS
approved

Search completed in 0.003 seconds