Related papers: Formal duality in finite cyclic groups

We study the notion of formal-duality over finite cyclic groups of prime power order as introduced by Cohn, Kumar, Reiher and Sch\"urmann. We will prove that for any cyclic group of odd prime power order, as well as for any cyclic group of…

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…

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,…

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 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…

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…

We prove by using simple number-theoretic arguments formulae concerning the number of elements of a fixed order and the number of cyclic subgroups of a direct product of several finite cyclic groups. We point out that certain multiplicative…

Here we show that a finite nilpotent group is 2-closed if and only if it is either cyclic or a direct product of a generalized quaternion group with a cyclic group of odd order.

Presentations for the holomorphs of abelian groups of the form $C_{p^n} \times 1^{m}$ for $p$=2 or an odd prime are given. These presentations extend the results given in Burnside's well-known text on finite groups on the holomorphs for the…

In the study of factorizations of finite cyclic groups, a classical problem is to investigate the properties of factorization sets $A$ and $B$ in the direct sum decomposition $A \oplus B = \mathbb{Z}_{M}$ with $|A| = |B| =\sqrt{M}$, where…

The tile-spectral direction of the discrete Fuglede-conjecture is well-known for cyclic groups of square-free order, initiated by Laba and Meyerowitz, but the spectral-tile direction is far from being well-understood. The product of at most…

We obtain a classification of the finite two-generated cyclic-by-abelian groups of prime-power order. For that we associate to each such group $G$ a list $\inv(G)$ of numerical group invariants which determines the isomorphism type of $G$.…

In this companion article to [HKK24], we apply the theory of equivariant Poincar\'e duality developed there in the special case of cyclic groups $C_p$ of prime order to remove, in a special case, a technical condition given by Davis--L\"uck…

Consider a pseudogroup on (C,0) generated by two local diffeomorphisms having analytic conjugacy classes a priori fixed in Diff(C,0). We show that a generic pseudogroup as above is such that every point has (possibly trivial) cyclic…

We address two properties for Abelian topological groups: ``every closed subgroup is dually closed'' and ``every closed subgroup is dually embedded.'' We exhibit a pair of topological groups such that each has both of the properties and the…

Long ago, Arad and Herzog (AH) conjectured that, in finite simple groups, the product of two conjugacy classes of length greater than one is never a single conjugacy class. We discuss implications of this conjecture for non-abelian anyons…

We prove a topological version of abelian duality where the gauge groups are finite abelian. The theories are finite homotopy TFTs, topological analogues of the $p$-form $U(1)$ gauge theories. Using Brown-Comenetz duality, we extend the…

The main focus of this paper is the complete enumeration of self-dual abelian codes in non-principal ideal group algebras $\mathbb{F}_{2^k}[A\times \mathbb{Z}_2\times \mathbb{Z}_{2^s}]$ with respect to both the Euclidean and Hermitian inner…

For groups of diffeomorphisms of $\T^2$ containing an Anosov diffeomorphism, we give a complete classification for polycyclic Abelian-by-Cyclic group actions on $\T^2$ up to both topological conjugacy and smooth conjugacy under mild…

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…