\(p\)-divisibility of the number of solutions of \(x^p=1\) in a symmetric group
type: Item
instance of: scholarly article
title: \(p\)-divisibility of the number of solutions of \(x^p=1\) in a symmetric group
zbMATH Open document ID: 1013.11009
DOI: 10.1007/PL00001300
author: Hideki Ishihara
author: Hiroyuki Ochiai
author: Yugen Takegahara
author: Tomoyuki Yoshida
published in: Annals of Combinatorics
publication date: 2002-06-16T00:00:00Z
review text: Let \(p\) be a prime number and let \(a(n)\) be the number of elements \(x\) of the symmetric group \(S_n\) that satisfy the equation \(x^p=1\). Let \(\text{ord}_p(a(n))\) denote the exponent of \(p\) in the decomposition of \(a(n)\) into prime factors. Put \(a(0)=1\) and define \( \gamma(n)=[\frac{n}{p}]-[\frac{n}{p^2}]\) for \( n=0,1,2,\cdots,\) where \([n]\) denotes the largest integer not exceeding a real number \(x\). In the paper under review, the authors give a lower bound for \(\text{ord}_p(a(n))\), in fact, they prove that \(\text{ord}_p(a(n)) \geq \gamma(n)\) and prove some theorems of which the following Theorem C is the main one: Theorem C. Let \(m\) be an arbitrary nonnegative integer and let \(r\) be an integer with \(p\leq r \leq p^2-1\). Assume that \(\text{ord}_p(a(r))=\gamma(r)+2\). Then \[ a(mp^2+r)\equiv (-1)^mp^{m(p-1)} \biggl(a(r)-a(r)m-\frac{a(p^2+r)}{p^{p-1}}m\biggr)\bmod p^{\gamma(mp^2+r)+3}. \] If \(a(p^2+r)\equiv -p^{p-1}a(r)\bmod p^{\gamma(p^2+r)+3}\), then \(\text{ord}_p(a(mp^2+r))=\gamma(mp^2+r)+2\); otherwise, there exists a \(p\)-adic integer \(b\) such that \(\text{ord}_p(a(mp^2+r))=\gamma(mp^2+r)+2+ \text{ord}_p(m-b)\). Theorem C has been generalized by \textit{K. Conrad} in an as yet unpublished preprint [\(p\)-adic properties of truncated Artin-Hasse coefficients].
reviewed by: A. Iranmanesh
Mathematics Subject Classification ID: 11B50
Mathematics Subject Classification ID: 20B30
zbMATH DE Number: 1756465
zbMATH Keywords: lower bound
zbMATH Keywords: symmetric group
MaRDI profile type: Publication
full work available at URL: pl00001300
OpenAlex ID: W2001923777
Recommended article: On the number of solutions of \(x_1\cdots x_{p^k}=g\) in a finite \(p\)-group
Recommended article: On the number of solutions of equation \(x^{p^ k}=1\) in a finite group
Recommended article: On the number of solutions of \(x^{p^ k}=a\) in a p-group
Recommended article: On the Number of Solutions of the Equation x p k = a in a Finite p-Group
Recommended article: Number of solutions of the equation \(x^ s=e\) in the symmetric group
Recommended article: The solutions of \(x^ d=1\) in finite groups
Recommended article: On the divisibility of character values of the symmetric group
Recommended article: Q3788013
Recommended article: Q3751761
Recommended article: \(p\)-divisibility of the number of linear representations of an abelian \(p\)-group
description: scientific article; zbMATH DE number 1756465