Palindromic squares for various number system bases
We describe a simple procedure to find Aurifeuillian factors of values of cyclotomic polynomials for integers and . Assuming a suitable Riemann Hypothesis, the algorithm runs in deterministic time , using space, where .
We describe a primality test for with an odd prime p and a positive integer n, which are a particular type of generalized Fermat numbers. We also present special primality criteria for all odd prime numbers p not exceeding 19. All these primality tests run in deterministic polynomial time in the input size log₂M. A special 2pth power reciprocity law is used to deduce our result.
Let be a number field defined by an irreducible polynomial and its ring of integers. For every prime integer , we give sufficient and necessary conditions on that guarantee the existence of exactly prime ideals of lying above , where factors into powers of monic irreducible polynomials in . The given result presents a weaker condition than that given by S. K. Khanduja and M. Kumar (2010), which guarantees the existence of exactly prime ideals of lying above . We further specify...
Let and are conjugate complex algebraic integers which generate Lucas or Lehmer sequences. We present an algorithm to search for elements of such sequences which have no primitive divisors. We use this algorithm to prove that for all and with h, the -th element of these sequences has a primitive divisor for . In the course of proving this result, we give an improvement of a result of Stewart concerning more general sequences.
Let d be a fixed positive integer. A Lucas d-pseudoprime is a Lucas pseudoprime N for which there exists a Lucas sequence U(P,Q) such that the rank of appearance of N in U(P,Q) is exactly (N-ε(N))/d, where the signature ε(N) = (D/N) is given by the Jacobi symbol with respect to the discriminant D of U. A Lucas d-pseudoprime N is a primitive Lucas d-pseudoprime if (N-ε(N))/d is the maximal rank of N among Lucas sequences U(P,Q) that exhibit N as a Lucas pseudoprime. We derive...
For any positive integer let denote the set of numbers with all partial quotients (except possibly the first) not exceeding . In this paper we characterize most products and quotients of sets of the form .