Related papers: Dualities for finite abelian groups and applicatio…
This paper focuses on natural dualities for varieties of bilattice-based algebras.Such varieties have been widely studied as semantic models in situations where information is incomplete or inconsistent. The most popular tool for studying…
We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure…
The automorphism group of a code is the group of permutations that map a code to itself. Berman codes are a class of binary linear codes characterized by two integer parameters $n\geq 2$ and $m\geq 1$, and this class includes the…
We investigate relative CS-Baer objects in abelian categories in relationship with other relevant classes of objects such as relative Baer objects, extending objects, objects having certain summand intersection properties and relative…
Extensions of Stone-type dualities have a long history in algebraic logic and have also been instrumental in proving results in algebraic language theory. We show how to extend abstract categorical dualities via monoidal adjunctions,…
For any given finite abelian group, we give factorizations of the group determinant in the group algebra of any subgroup. The factorizations are an extension of Dedekind's theorem. The extension leads to a generalization of Dedekind's…
This thesis discusses various aspects of duality in quantum field theory and string theory. In the first part we consider duality in topological quantum field theories, concentrating on the Donaldson and Seiberg-Witten theories as (dual)…
Dualities are often supposed to be foundational, but they may come into conflict with background independence, because a hidden fixed structures is needed to define the duality transformation. This conflict can be eliminated by extending a…
The group isomorphism problem asks whether two finite groups given by their Cayley tables are isomorphic or not. Although there are polynomial-time algorithms for some specific group classes, the best known algorithm for testing isomorphism…
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,…
The aim of this paper is to study integer rounding properties of various systems of linear inequalities to gain insight about the algebraic properties of Rees algebras of monomial ideals and monomial subrings. We study the normality and…
The formal group law of an elliptic curve has seen recent applications to computational algebraic geometry in the work of Couveignes to compute the order of an elliptic curve over finite fields of small characteristic. The purpose of this…
We use the theory of Condensed Mathematics to build a condensed cohomology theory for the Weil group of a $p$-adic field. The cohomology groups are proved to be locally compact abelian groups of finite ranks in some special cases. This…
The present paper is devoted to the study of dimonoids, algebraic structures with two associative binary operations that satisfy a prescribed system of axioms. We investigate the properties of dual dimonoids. In the class of noncommutative…
In this paper the proofs are given of important properties of deformed Abelian differentials introduced earlier in connection with quantum integrable systems. The starting point of the construction is Baxter equation. In particular, we…
In this paper we begin the systematic study of group equations with abelian predicates in the main classes of groups where solving equations is possible. We extend the line of work on word equations with length constraints, and more…
We determine the dual modules of all irreducible modules of alternating groups over fields of characteristic 2.
A central and longstanding open problem in coding theory is the rate-versus-distance trade-off for binary error-correcting codes. In a seminal work, Delsarte introduced a family of linear programs establishing relaxations on the size of…
As an algebraic study of differential equations, differential algebras have been studied for a century and and become an important area of mathematics. In recent years the area has been expended to the noncommutative associative and Lie…
The distributive property can be studied through bilinear maps and various morphisms between these maps. The adjoint-morphisms between bilinear maps establish a complete abelian category with projectives and admits a duality. Thus the…