Related papers: Formal self duality
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…
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…
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…
The choice of an isomorphism, a duality, between a finite abelian group $A$ and its character group allows one to define dual codes of additive codes over $A$. Properties of dualities and dual codes are studied, continuing work of Delsarte…
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…
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…
Self-dual codes over finite fields and over some finite rings have been of interest and extensively studied due to their nice algebraic structures and wide applications. Recently, characterization and enumeration of Euclidean self-dual…
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…
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…
Abelian codes and complementary dual codes form important classes of linear codes that have been extensively studied due to their rich algebraic structures and wide applications. In this paper, a family of abelian codes with complementary…
We introduce a concept of formal local homology modules which is in some sense dual to P. Schenzel's concept of formal local cohomology modules. The dual theorem and the non-vanishing theorem of formal local homology modules will be shown.…
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,…
Abelian categories provide a self-dual axiomatic context for establishing homomorphism theorems (such as the isomorphism theorems and homological diagram lemmas) for abelian groups, and more generally, modules. In this paper we describe a…
Let $A=\frac{\mathbb{F}[x]}{\langle f(x)\rangle }$, where $f(x)$ is a monic polynomial over a finite field $\mathbb{F}$. In this paper, we study the relation between $A$-codes and their duals. In particular, we state a counterexample and a…
Split group codes are a class of group algebra codes over an abelian group. They were introduced in 2000 by Ding, Kohel and Ling as a generalization of the cyclic duadic codes. For a prime power q and an abelian group G of order n such that…
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…
In 1960 Fuchs posed the problem of characterizing the groups which are the groups of units of commutative rings. In the following years, some partial answers have been given to this question in particular cases. In this paper we address…
This paper dualizes the setting of affine spaces as originally introduced by Diers for application to algebraic geometry and expanded upon by various authors, to show that the fundamental groups of pointed topological spaces appear as the…
The classical duality theory associates to an abelian group a dual companion. Passing to a non-abelian group, a dual object can still be defined, but it is no longer a group. The search for a broader category which should include both the…
By an $\ell$-group $G$ we mean a lattice-ordered abelian group. This paper is concerned with the category $\FP$ of finitely presented {\it unital} $\ell$-groups, those $\ell$-groups having a distinguished order-unit $u$. Using the duality…