Related papers: The structure of idempotent translatable quasigrou…

We provide two new proofs of a theorem of Cooper, Long and Reid which asserts that, apart from an explicit finite list of exceptional manifolds, any compact orientable irreducible 3-manifold with non-empty boundary has large fundamental…

This paper concerns the enumeration of isomorphism classes of modules of a polynomial algebra in several variables over a finite field. This is the same as the classification of commuting tuples of matrices over a finite field up to…

A "biased expansion" of a graph is a kind of branched covering graph with additional structure related to combinatorial homotopy of circles. Some but not all biased expansions are constructed from groups ("group expansions"); these include…

Let T_n be the full transformation semigroup of all mappings from the set {1,...,n} to itself under composition. Let E = E(T_n) denote the set of idempotents of T_n and let e be an arbitrary idempotent satisfying |im(e)|=r < n-1. We prove…

By introducing a result that guarantees a given bialgebra to be a Hopf algebra under a natural condition, we show that the quantum automorphism group of the algebra k[x] of polynomials over a field k (of any characteristic) is the universal…

We investigate pairs $(G,Y)$, where $G$ is a reductive algebraic group and $Y$ a purely-odd $G$-superscheme, asking when a pair corresponds to a quasi-reductive algebraic supergroup $\mathbb{G}$, that is, $\mathbb{G}_{\text{ev}}$ is…

We study P-groupoids that arise from certain decompositions of complete graphs. We show that left distributive P-groupoids are distributive, quasigroups. We characterize P-groupoids when the corresponding decomposition is a Hamiltonian…

We introduce a new construction, the isotropy groupoid, to organize the orbit data for split $\Gamma$-spaces. We show that equivariant principal $G$-bundles over split $\Gamma$-CW complexes $X$ can be effectively classified by means of…

Given any countable group $G$, we construct uncountably many quasi-isometry classes of proper geodesic metric spaces with quasi-isometry group isomorphic to $G$. Moreover, if the group $G$ is a hyperbolic group, the spaces we construct are…

Suppose a and b are distinct isotopy classes of essential simple closed curves in an orientable surface S. Let T_a and T_b represent the respective Dehn twists along a and b. In this paper, we study the subgroups of Mod(S) generated by X…

We show that every word hyperbolic, surface-by-(noncyclic) free group Gamma is as rigid as possible: the quasi-isometry group of Gamma equals the abstract commensurator group Comm(Gamma), which in turn contains Gamma as a finite index…

The purpose of this paper is twofold. First we extend the notion of symplectic implosion to the category of quasi-Hamiltonian $K$-manifolds, where $K$ is a simply connected compact Lie group. The imploded cross-section of the double…

An irreducible norm closed semigroup of complex matrices is simultaneously similar to a semigroup of partial isometries if and only if (a) the norms of all nonzero members of it are uniformly bounded above and below, and (b) its idempotents…

Let $G$ be a finite group with the property that if $a,b$ are commutators of coprime orders, then $|ab|=|a||b|$. We show that $G'$ is nilpotent.

Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain…

It is a celebrated result of Mather that the group of $C^k$--diffeomorphisms of an $n$--manifold is simple, provided that a mild isotopy condition is satisfied, with the possible exception of $k=n+1$. The purpose of this article is mostly…

A quasigroup is a pair $(Q, *)$ where $Q$ is a non-empty set and $*$ is a binary operation on $Q$ such that for every $(a, b) \in Q^2$ there exists a unique $(x, y) \in Q^2$ such that $a*x=b=y*a$. Let $(Q, *)$ be a quasigroup. A pair $(x,…

In this paper we show that Weyl-invariant commutator blueprints of type $(4, 4, 4)$ are faithful. As a consequence we answer a question of Tits from the late $1980$s about twin buildings. Moreover, we obtain the first example of a…

We call an affine algebraic supergroup quasireductive if its underlying algebraic group is reductive. We obtain some results about the structure and representations of reductive supergroups.

Let $q$ be an odd prime power and suppose that $a,b\in\mathbb{F}_q$ are such that $ab$ and $(1{-}a)(1{-}b)$ are nonzero squares. Let $Q_{a,b} = (\mathbb{F}_q,*)$ be the quasigroup in which the operation is defined by $u*v=u+a(v{-}u)$ if…