Carmichael numbers in number rings
type: Item
instance of: scholarly article
title: Carmichael numbers in number rings
zbMATH Open document ID: 1176.11049
author: G. Ander Steele
published in: Journal of Number Theory
publication date: 2008-12-05T00:00:00Z
review text: A Carmichael number is a composite integer \(n\) such that \(a^n\equiv a\pmod n\) for all integers \(a\). It is known that there are infinitely many of them. Korselt's criterion states that a composite integer \(n>1\) is Carmichael iff \(n\) is squarefree and \(p-1|n-1\) for all primes \(p|n\). The purpose of this paper is to characterise Carmichael ideals. Let \(K\) be an extension of \(\mathbb Q\), and let \(I\) be a composite ideal in \(O_K\), the ring of integers of \(K\). The ideal \(I\) is Carmichael in \(O_K\) if for all \(\alpha \in O_K\) we have \[ \alpha^{N(I)}\equiv \alpha \bmod I, \] where \(N(I)=\#O_K/I\). The author establishes a generalised Korselt's criterion. He also investigates when Carmichael numbers in the integers generate Carmichael ideals in the algebraic integers of an abelian field. Here he pays special attention to quadratic and cyclotomic fields. He also shows that if \(n\) is composite, then there exist infinitely many abelian number fields \(K\) such that \(\gcd(n, \text{Disc}(K))=1\) and \(n\) is not Carmichael in \(K\). There are further results that we cannot mention for reasons of space. The deepest ingredient in the proofs is a result due to \textit{Y. Bugeaud, P. Corvaja} and \textit{U. Zannier} [Math. Z. 243, No.1, 79--84 (2003; Zbl 1021.11001)] on an upper bound for the greatest common divisor of \(a^n-1\) and \(b^n-1\) and \textit{D. R. Heath-Brown}'s [Q. J. Math., Oxf. II. Ser. 37, 27--38 (1986; Zbl 0586.10025)] classical result that all primes, with the possible exception of at most two, are primitive roots for infinitely many primes \(p\).
reviewed by: Pieter Moree
Mathematics Subject Classification ID: 11R04
Mathematics Subject Classification ID: 11A07
Mathematics Subject Classification ID: 11A41
zbMATH DE Number: 5378835
zbMATH Keywords: Carmichael numbers
zbMATH Keywords: number field
zbMATH Keywords: Korselt's criterion
MaRDI profile type: Publication
full work available at URL: j.jnt.2007.08.009
OpenAlex ID: W2024831203
cites work: There are infinitely many Carmichael numbers
cites work: An upper bound for the g.c.d. of \(a^n-1\) and \(b^n -1\)
cites work: ARTIN'S CONJECTURE FOR PRIMITIVE ROOTS
cites work: Higher-order Carmichael numbers
cites work: The Number of Representations of an Integer as the Sum of a Prime and a k-Free Integer
DOI: 10.1016/J.JNT.2007.08.009
Recommended article: ON CARMICHAEL NUMBERS IN ARITHMETIC PROGRESSIONS
Recommended article: There are infinitely many Carmichael numbers
Recommended article: Korselt rational bases of prime powers
Recommended article: On the number of primitive λ-roots
Recommended article: On the Number of Carmichael Numbers up to x
Recommended article: On the finiteness of Carmichael numbers with Fermat factors and $L=2^{\alpha}P^2$
Recommended article: Counting Carmichael numbers with small seeds
Recommended article: Some Remarks on Artin's Conjecture
Recommended article: Q3754698
Recommended article: Sulle radici primitive per moduli (ideali) composti nei corpi algebrici.
description: scientific article; zbMATH DE number 5378835