相关论文: Formal-dual subsets of cyclic groups of prime powe…
The notion of formal duality in finite Abelian groups appeared recently in relation to spherical designs, tight sphere packings, and energy minimizing configurations in Euclidean spaces. For finite cyclic groups it is conjectured that there…
Inspired by an experimental study of energy-minimizing periodic configurations in Euclidean space, Cohn, Kumar and Sch\"urmann proposed the concept of formal duality between a pair of periodic configurations, which indicates an unexpected…
The concept of formal duality was proposed by Cohn, Kumar and Sch\"urmann, which reflects a remarkable symmetry among energy-minimizing periodic configurations. This formal duality was later on translated into a purely combinatorial…
We shortly present two small results regarding the study formal duality in finite abelian groups as introduced by Cohn, Kumar, Reiher and Sch\"urmann. In particular, we give a new example of a formally self dual set in…
The concept of formal duality was proposed by Cohn, Kumar and Sch\"urmann, which reflects a remarkable symmetry among energy-minimizing periodic configurations. This formal duality was later translated into a purely combinatorial property…
We study the notion of formal self duality in finite abelian groups. Formal duality in finite abelian groups has been proposed by Cohn, Kumar, Reiher and Sch\"urmann. In this paper we give a precise definition of formally self dual sets and…
We study the notion of formal duality introduced by Cohn, Kumar, and Sch\"urmann in their computational study of energy-minimizing particle configurations in Euclidean space. In particular, using the Poisson summation formula we reformulate…
We classify the finite primitive permutation groups which have a cyclic subgroup with two orbits. This extends classical topics in permutation group theory, and has arithmetic consequences. By a theorem of C. L. Siegel, affine algebraic…
We prove two theorems that confirm an observation of Lubin concerning families of $p$-adic power series that commute under composition: under certain conditions, there is a formal group such that the power series in the family are either…
The primitive finite permutation groups containing a cycle are classified. Of these, only the alternating and symmetric groups contain a cycle fixing at least three points. The contributions of Jordan and Marggraff to this topic are briefly…
The concept of cyclic tridiagonal pairs is introduced, and explicit examples are given. For a fairly general class of cyclic tridiagonal pairs with cyclicity N, we associate a pair of `divided polynomials'. The properties of this pair…
Let $G$ be a transitive permutation group acting on a finite set $\Omega$ with $|\Omega|\geqslant 2$. An element of $G$ is said to be a derangement if it has no fixed points on $\Omega$, and by a theorem of Jordan from 1872, $G$ always…
Suppose $C(G)$ denotes the set of all cyclic subgroups of a finite group $G$, and $\mathcal{O}_{2}(G)$ denotes the number of elements of order $2$ in $G$. In [Marius T., Finite groups with a certain number of cyclic subgroups. The American…
Two chiral aspects of the SL(2,R) WZW model in an operator formalism are investigated. First, the meaning of duality, or conjugation, of primary fields is clarified. On a class of modules obtained from the discrete series it is shown, by…
It is shown that in the units of augmentation one of an integral group ring $\mathbb{Z} G$ of a finite group $G$, a noncyclic subgroup of order $p^{2}$, for some odd prime $p$, exists only if such a subgroup exists in $G$. The corresponding…
The object of study in this paper is the finite groups whose integral group rings have only trivial central units. Prime-power groups and metacyclic groups with this property are characterized. Metacyclic groups are classified according to…
Extending earlier work of Guralnick and of Cai and Zhang, we classify the almost simple groups which have transitive permutation representations of prime power degree $p^k$, and those which have $p$-complements (stabilisers of order coprime…
We prove that for n>2 there exists a quandle of cyclic type of size n if and only if n is a power of a prime number. This establishes a conjecture of S. Kamada, H. Tamaru and K. Wada. As a corollary, every finite quandle of cyclic type is…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
Which groups can be the group of units in a ring? This open question, posed by L\'{a}szl\'{o} Fuchs in 1960, has been studied by the authors and others with a variety of restrictions on either the class of groups or the class of rings under…