Related papers: On elementary abelian 2-hypergroups

Using the classification of finite simple groups we prove Alperin's weight conjecture and the character theoretic version of Broue's abelian defect group conjecture for 2-blocks of finite groups with an elementary abelian defect group of…

We define 2-gerbes bound by complexes of braided group-like stacks. We prove a classification result in terms of hypercohomology groups with values in abelian crossed squares and cones of morphisms of complexes of length 3. We give an…

Consider a pseudo-$H$-space $E$ endowed with a separately continuous biadditive associative multiplication which induces a grading on $E$ with respect to an abelian group $G$. We call such a space a graded pseudo-$H$-ring and we show that…

The authors investigate the structure of quasi-o-minimal groups. Among other results, they show that quasi-o-minimal groups are abelian, that quasi-o-minimal densely ordered archimedian groups are divisible, and that every divisible…

By a 2-group we mean a groupoid equipped with a weakened group structure. It is called split when it is equivalent to the semidirect product of a discrete 2-group and a one-object 2-group. By a permutation 2-group we mean the 2-group…

We classify abelian subgroups of two-dimensional Artin groups.

A near permutation of a set is a bijection between two cofinite subsets, modulo coincidence on smaller cofinite subsets. Near permutations of a set form its near symmetric group. In this monograph, we define near actions as homomorphisms…

In this paper we find a necessary and sufficient condition for a finite nilpotent group to have an abelian central automorphism group.

A module $M$ is called an automorphism-invariant module if every isomorphism between two essential submodules of $M$ extends to an automorphism of $M$. This paper introduces the notion of dual of such modules. We call a module $M$ to be a…

We show that every nilpotent group of class at most two may be embedded in a central extension of abelian groups with bilinear cocycle. The embedding is shown to depend only on the base group. Some refinements are obtained by considering…

In 1996, Gersten proved that finitely presented subgroups of a word hyperbolic group of integral cohomological dimension 2 are hyperbolic. We use isoperimetric inequalities over arbitrary rings to extend this result to any ring. In…

We introduce the notions of proto-complete, complete, complete* and strong-complete objects in pointed categories. We show under mild conditions on a pointed exact protomodular category that every proto-complete (respectively complete)…

In \cite{Oh22}, the second author defined a complex of groups decomposition of the fundamental group of a finitely generated 2-dimensional special group, called an \emph{intersection complex}, which is a quasi-isometry invariant. In this…

We show that any group $G$ is contained in some sharply 2-transitive group $\mathcal{G}$ without a non-trivial abelian normal subgroup. This answers a long-standing open question. The involutions in the groups $\mathcal{G}$ that we…

The 2-categories of strict 2-groups and crossed modules are introduced and their 2-equivalence is made explicit.

A binary operation on any set induces a binary operation on its subsets. We explore families of subsets of a group that become a group under the induced operation and refer to such families as power groups of the given group. Our results…

We initiate a study of the rings of invariants of modular representations of elementary abelian p-groups. With a few notable exceptions, the modular representation theory of an elementary abelian p-group is wild. However, for a given…

Let $A$ be an infinitely generated free abelian group. We prove that the automorphism group $\aut A$ first-order interprets the full second-order theory of the set $|A|$ with no structure. In particular, this implies that the automorphism…

Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…

A semiregular permutation group on a set $\Ome$ is called {\em bi-regular} if it has two orbits. A classification is given of quasiprimitive permutation groups with a biregular dihedral subgroup. This is then used to characterize the family…