Related papers: Split Lemma and First Isomorphism Theorem for grou…

We characterize the normal extensions of inverse semigroups isomorphic to full restricted semidirect products, and present a Kalouznin-Krasner theorem which holds for a wider class of normal extensions of inverse semigroups than that in the…

In this work we present a new definition to the Partial Crossed Product by actions of inverse semigroups in a C^*-algebra, without using the covariant representations as Sieben did in [5]. Also we present an isomorphism between the partial…

We provide an exposition and proof of Renault's equivalence theorem for crossed products by locally Hausdorff, locally compact groupoids. Our approach stresses the bundle approach, concrete imprimitivity bimodules and is a preamble to a…

When the theory of Leavitt path algebras was already quite advanced, it was discovered that some of the more difficult questions were susceptible to a new approach using topological groupoids. The main result that makes this possible is…

We introduce the basic notions and present examples and results on Lie categories -- categories internal to the category of smooth manifolds. Demonstrating how the units of a Lie category $\mathcal C$ dictate the behavior of its invertible…

Let $(G,*)$ and $(G',\cdot)$ be groupoids. A bijection $f: G \rightarrow G'$ is called a half-isomorphism if $f(x*y)\in\{f(x)\cdot f(y),f(y)\cdot f(x)\}$, for any $ x, y \in G$. A half-isomorphism of a groupoid onto itself is a…

Consider the following generalization of the bicyclic monoid. Let $\kappa$ be any infinite cardinal and let $\mathcal{IP\!F}\left(\sigma{\mathbb{N}^\kappa}\right)$ be the semigroup of all order isomorphisms between principal filters of the…

Two groups are virtually isomorphic if they can be obtained one from the other via a finite number of steps, where each step consists in taking a finite extension or a finite index subgroup (or viceversa). Virtually isomorphic groups are…

We establish a Galois correspondence for finite quantum groupoid actions on II_1 factors and show that every finite index and finite depth subfactor is an intermediate subalgebra of a quantum groupoid crossed product. Moreover, any such a…

Any Lie group G acting on a Euclidean nonvoid open subset M can be seen as a subgroup of the smooth diffeomorphisms Diff^\infty(M,M) of M into itself. Thus actions by such Lie groups G correspond to smooth coordinate transforms on M which,…

Let $G$ be a finite group and $G'$ its commutator subgroup. By a sequence over $G$, we mean a finite unordered sequence of terms from $G$, where repetition is allowed, and we say that it is a product-one sequence if its terms can be ordered…

Semigroup theory is a branch of abstract algebra, and it provides mathematical tools for the theory of computation. Finite semigroups can describe state transition systems and thus they model physically realizable computers. Engineering…

We provide a new large class of countable icc groups $\mathcal A$ for which the product rigidity result from [CdSS15] holds: if $\Gamma_1,\dots,\Gamma_n\in\mathcal A$ and $\Lambda$ is any group such that…

C*-quantum groups with projection are the noncommutative analogues of semidirect products of groups. Radford's Theorem about Hopf algebras with projection suggests that any C*quantum group with projection decomposes uniquely into an…

Sabidussi's theorem [Duke Math. J. 28, 1961] gives necessary and sufficient conditions under which the automorphism group of a lexicographic product of two graphs is a wreath product of the respective automorphism groups. We prove a quantum…

We introduce a new notion of Morita equivalence for diffeological groupoids, generalising the original notion for Lie groupoids. For this we develop a theory of diffeological groupoid actions, -bundles and -bibundles. We define a notion of…

In this paper we introduce Morse Lie groupoid morphisms and study their main properties. We show that this notion is Morita invariant which gives rise to a well defined notion of Morse function on differentiable stacks. We show a groupoid…

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,…

We apply the One-Sided Action Theorem from the first paper in this series to prove that Rieffel's Morita equivalence between the reduced crossed product by a proper saturated action and the generalized fixed-point algebra is a quotient of a…

A subcategory $\textbf{C}$ of a groupoid $\mathbb{G}$ is a left order in $\mathbb{G}$, if every element of $\mathbb{G}$ can be written as $a^{-1}b$ where $a, b \in \textbf{C}$. A subsemigroupoid $\mathfrak{C}$ of a groupoid $\mathbb{G}$ is…