Abstract
In the paper, we develop further the properties of Schur rings over infinite groups, with particular emphasis on the virtually cyclic group \(\mathcal {Z}\times \mathcal {Z}_p\), where p is a prime. We provide structure theorems for primitive sets in these Schur rings. In the case of Fermat and safe primes, a complete classification theorem is proven, which states that all Schur rings over \(\mathcal {Z}\times \mathcal {Z}_p\) are traditional. We also draw analogs between Schur rings over \(\mathcal {Z}\times \mathcal {Z}_p\) and partitions of difference sets over \(\mathcal {Z}_p\).
Similar content being viewed by others
Notes
OEIS sequence A019434.
OEIS sequence A005385. Note that the associated prime q to the safe prime \(p=2q+1\) is called a Sophie Germain prime Safe primes received their name because of their historical usage in cryptography.
These omitted proofs can be found in [1].
We say that a Schur ring \(\mathfrak {S}\) is primitive if it has no nontrivial, proper \(\mathfrak {S}\)-subgroups (this definition, while equivalent, is not the definition originally used by Wielandt or Scott). The primitive Schur rings have been studied extensively, particularly because of their applications to permutation groups. In [6], Scott uses 13.8.2 and 13.8.3 to rule out the existence of primitive Schur rings over groups of small order in a way analogous to how Sylow theorems are used to show the non-existence of simple groups of small order.
A difference set D is a subset of a group G such that every non-identity element in G appears in \(DD^*\) with the same multiplicity. When G is finite, this is equivalent to \({\overline{D}}\,{\overline{D}}^* = n+\lambda {\overline{G}}\). Thus, difference sets guarantee the greatest equity among the multiplicities of group elements in the product \(DD^*\). As the multiplicity of any element in the product \(AB^*\) ranges between 0 and |A|, a set containing a tycoon represents the greatest possible inequity between multiplicities of group elements. If multiplicities are replaced by wealth for the sake of analogy, the curious name tycoon is then explained.
In the case that \([\mathcal {Z}:H]=\infty \), that is, \(H=1\), set \(K:=1\) and the above result and proof would remain valid.
Note that this argument does not require p to be prime and hence applies to all positive integers n.
If \(\mathfrak {S}=F[G]^\mathcal {H}\) and \(\tau \in \mathop {\textrm{Aut}}\limits (G)\), then \(\tau (\mathfrak {S}) = F[G]^{\tau \mathcal {H}\tau ^{-1}}\).
References
Bastian, N., Brewer, J., Humphries, S., Misseldine, A., Thompson, C.: On Schur rings over infinite groups. Algebr. Represent. Theory 23(3), 493–511 (2020)
Bosma, W., Cannon, J., Playoust, C.: The Magma algebra system. I. The user language. J. Symb. Comput. 24(3–4), 235–265 (1997)
Humphries, S.P.: Schur rings over infinite groups. II. J. Algebra 550, 309–332 (2020)
Leung, K.H., Man, S.H.: On Schur rings over cyclic groups. II. J. Algebra 183(2), 273–285 (1996)
Leung, K.H., Man, S.H.: On Schur rings over cyclic groups. Israel J. Math. 106, 251–267 (1998)
Scott, W.R.: Group Theory, 2nd edn. Dover Publications Inc, New York (1987)
Wielandt, H.: Zur Theorie der einfach transitiven Permutationsgruppen II. Math. Z. 52, 384–393 (1949)
Wielandt, H.: Finite Permutation Groups. Academic Press, New York-London (1964)
Acknowledgements
All calculations made in preparation of this paper were made using MAGMA [2]. The authors are grateful to Stephen Humphries for useful conversations and to the anonymous referees for their most helpful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Bastian, N., Misseldine, A. On Schur rings over infinite groups III. J Algebr Comb 58, 1261–1276 (2023). https://doi.org/10.1007/s10801-023-01273-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-023-01273-z