Related papers: $\mathbb{P}(q)$-Groupoids of Conway Type
Let $E$ be an elliptic curve defined over $\mathbb{Q}$. In this article, we classify all groups that can arise as $E(\mathbb{Q}(\zeta_p))_{\text{tors}}$ up to isomorphism for any prime $p$. When $p - 1$ is not divisible by small integers…
The group ring of the automorphism group of a p-group is studied using the automorphism groups of subgroups and quotient groups of P.
We study higher-degree generalizations of symplectic groupoids, referred to as {\em multisymplectic groupoids}. Recalling that Poisson structures may be viewed as infinitesimal counterparts of symplectic groupoids, we describe "higher''…
We discuss the basic properties of Lie groupoids, Lie algebroids and Lie pseudo-groups in view of applying these techniques to the analysis of Jordan-H\"older resolutions and, subsequently, to the integration of partial differential…
The q-field theories are constructed by substituting quantum groups for the usual Lie groups. In earlier papers this construction was carried out for the quantum group SU_q(2). Here the investigation is extended to SL_q(3). The resulting…
In this paper we study grouplike monoids, these are monoids that contain a group to which we add an ordered set of idempotents. We classify finite categories with two objects having grouplike endomorphism monoids, and we give a count of…
This paper is the second part of a two-part paper investigating the structure and properties of dyadic polygons. A dyadic polygon is the intersection of the dyadic subplane $D^2$ of the real plane $R^2$ and a real convex polygon with…
In this paper we contribute to the classification of Hopf algebras of dimension pq, where p,q are distinct prime numbers. More precisely, we prove that if p and q are odd primes with p<q<2p+3, then any complex Hopf algebra of dimension pq…
In this paper, we define indexed type theories which are related to indexed ($\infty$-)categories in the same way as (homotopy) type theories are related to ($\infty$-)categories. We define several standard constructions for such theories…
We construct a surface of general type with invariants \( \chi = K^2 = 1 \) and torsion group \( \Bbb{Z}/{2} \). We use a double plane construction by finding a plane curve with certain singularities, resolving these, and taking the double…
We define the Grothendieck group of an n-angulated category and show that for odd n its properties are as in the special case of n=3, i.e. the triangulated case. In particular, its subgroups classify the dense and complete n-angulated…
The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz \& Gabbay (1994) as `sequences or rewrites', computational paths are taken to be terms of the identity type of…
In this article we have constructed some examples of some classes of AG-groupoids
We define a new kind of algebroid which fulfills a Leibniz rule, a Jacobi identity twisted by a 3-form $H$ with values in the kernel of the anchor map, and the twist is closed under a naturally occurring exterior covariant derivative. We…
A pointed $p$-group is a pointed group $P_\gamma$ such that $P$ is a $p$-group. We parameterize the pointed $p$-groups on a group algebra or on a block algebra of a group algebra. The parameterization involves $p$-subgroups and irreducible…
Let $K$ be a non-cylotomic imaginary quadratic field of class number 1 and $E/K$ is an elliptic curve with $E(K)[2]\simeq \mathbb{Z}_1.$ We determine the odd-order torsion groups that can arise as $E(L)_{\text{tor}}$ where $L$ is a…
Quandles are certain algebraic structures showing up in different mathematical contexts. A group $G$ with the conjugation operation forms a quandle, $\operatorname{Conj}(G)$. In the opposite direction, one can construct a group…
The purpose of this note is to start the systematic analysis of cofinal types of topological groups.
There is a type of distance-regular graph, said to be $Q$-polynomial. In this paper we investigate a generalized $Q$-polynomial property involving a graph that is not necessarily distance-regular. We give a detailed description of an…
This paper introduces an expressive class of quotient-inductive types, called QW-types. We show that in dependent type theory with uniqueness of identity proofs, even the infinitary case of QW-types can be encoded using the combination of…