For a finite group G, we introduce the complete suboperad Q G of the categorical G-Barratt-Eccles operad P G . We prove that P G is not finitely generated, but Q G is finitely generated and is a genuine E∞ G-operad (i.e., it is N∞ and includes all norms). For G cyclic of order 2 or 3, we determine presentations of the object operad of Q G and conclude with a discussion of algebras over Q G , which we call biased permutative equivariant categories.BANGS, BINEGAR, KIM, ORMSBY, OSORNO, TAMAS-PARRIS, AND XU a finite group G. This operad, P G , has the property that its classifying space is a genuine E ∞ G-operad, and thus, its algebras give rise to genuine equivariant infinite loop spaces. Because of this, Guillou and May define permutative G-categories as algebras over P G .Following [GMMO18], one may ask if there is a biased definition of permutative G-categories, as there is for permutative categories. One of the main results of this paper, Theorem 2.15 is that in the strictest sense, the answer is no for nontrivial groups G. Indeed, we prove that the object part of P G is not finitely generated, meaning that one needs to specify infinitely many operations to give an algebra over it.Using the work of Rubin [Rub17, Rub18], we construct suboperads Q G of P G that are still E ∞ , yet are finitely generated. The key insight from Rubin, which is inspired by the work on N ∞ operads of Blumberg and Hill [BH15], is that the full suboperad generated by a collection of norms will be E ∞ , as long as one includes all the norms for orbits as generators.Finally, in Theorems 3.5 and 3.7 we give explicit presentations for the operads Q G in the cases where G = C 2 and G = C 3 . Although the statements of the proofs look very similar, the proofs that the relations given are sufficient are strikingly different. We use these results together with Rubin's coherence theorem for normed symmetric monoidal categories [Rub18] to give a biased definition of Q G -algebras.Organization. In Section 1, we recall necessary preliminary notions regarding permutations, operads in general, and the categorical G-Barratt-Eccles operad P G and its operad of objects P G . In Section 2, we prove that P G is not finitely generated for nontrivial G (Theorem 2.15). In Section 3, we introduce the finitely generated E ∞ G-operads Q G and determine presentations of the operad of objects when G = C 2 or C 3 . Finally, in Section 4, we define the notion of a biased permutative G-category for G = C 2 or C 3 and prove that these are in one-to-one correspondence with Q G -algebras.Acknowledgements. The authors express their deep gratitude to Jonathan Rubin, who very generously explained the results of [Rub18] in detail.
For a finite group G, we introduce the complete suboperad Q G of the categorical G-Barratt-Eccles operad P G . We prove that P G is not finitely generated, but Q G is finitely generated and is a genuine E ∞ G-operad (i.e., it is N ∞ and includes all norms). For G cyclic of order 2 or 3, we determine presentations of the object operad of Q G and conclude with a discussion of algebras over Q G , which we call biased permutative equivariant categories.
The Fermat numbers have many notable properties, including order universality, coprimality, and definition by a recurrence relation. We use arbitrary elliptic curves and rational points of infinite order to generate sequences that are analogous to the Fermat numbers. We demonstrate that these sequences have many of the same properties as the Fermat numbers, and we discuss results about the prime factors of sequences generated by specific curves and points.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2025 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.