Related papers: A class of group-like object

We obtain a complete classification of graph products of finite abelian groups whose Cayley graphs with respect to the standard presentations are planar.

We present a new proof of the celebrated quadratic reciprocity law. Our proof is based on group theory.

We define a 2-category structure (Pre-Orb) on the category of reduced complex orbifold atlases. We construct a 2-functor F from (Pre-Orb) to the 2-category (Grp) of proper \'etale effective groupoid objects over the complex manifolds. Both…

A valuated group with normal forms is a group with an integer-valued length function satisfying some Lyndon's axioms and an additional axiom considered by Hurley. We prove a subgroup theorem for valuated groups with normal forms analogous…

We prove a Cayley-Bacharach-type theorem for points in projective space $\mathbb{P}^n$ that lie on a complete intersection of $n$ hypersurfaces. This is made possible by new bounds on the growth of the Hilbert function of almost complete…

The infinitesimal counterpart of a Lie groupoid is its Lie algebroid. As a vector bundle, it is given by the source vertical tangent bundle restricted to the identity bisection. Its sections can be identified with the invariant vector…

In this paper, using some properties of fundamental groups and covering spaces of connected polyhedra and CW-complexes, we present topological proof for some famous theorems about finitely presented groups.

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

We prove a Universal Coefficient Theorem for objects in the bootstrap class in the equivariant Kasparov category for a finite cyclic group of square-free order.

Permutations on a set, endowed with function composition, build a group called a symmetric group. In addition to their algebraic structure, symmetric groups have two metrics that are of particular interest to us here: the Cayley distance…

Motivated by some alternatives to the classical logical model of boolean algebra, this paper deals with algebraic structures which extend skew lattices by locally invertible elements. Following the meme of the Ehresmann-Schein-Nambooripad…

We develop class field theory of curves over $p$-adic fields which extends the unramified theory of S. Saito. The class groups which approximate abelian \'etale fundamental groups of such curves are introduced in the terms of algebraic…

This is an exposition of the homological classification of actions of surface groups on the plane, in every degree of smoothness.

A categoricity theorem is established for patterns of resemblance of order 2 showing that the order in which patterns arise in a wide range of hierarchies is the same.

We approach Mackenzie's LA-groupoids from a supergeometric point of view by introducing Q-groupoids, which are groupoid objects in the category of Q-manifolds. There is a faithful functor from the category of LA-groupoids to the category of…

We prove an analogue of Clifford's inequality for tropical curves. Next we focus on the hyperelliptic case and we characterize divisors attaining equality. Finally we speculate whether inequality in tropical Clifford's Theorem does imply…

Let $X=GD$ be a group, where $G$ is a nonabelian simple group and $D$ is a dihedral group. These groups $X$ are closely related to regular Cayley maps. The main theorems of this paper describes $X$.

We prove that a connected, locally finite, quasi-transitive graph which is quasi-isometric to a planar graph is necessarily accessible. This leads to a complete classification of the finitely generated groups which are quasi-isometric to…

The Mikami-Weinstein theorem is a generalization of the classical Marsden-Weinstein-Meyer symplectic reduction theorem to the case of symplectic groupoid actions. In this paper, we introduce the notion of a cosymplectic groupoid action on a…

The study of Haeflier suggests that it is natural to regard a pseudogroup as an etale groupoid. We show that any etale groupoid corresponds to a pseudogroup sheaf, a new generalization of a pseudogroup. This correspondence is an analog of…