Related papers: Groupoids and Relative Internality
By extending type theory with a universe of definitionally associative and unital polynomial monads, we show how to arrive at a definition of opetopic type which is able to encode a number of fully coherent algebraic structures. In…
Model theoretic internality provides conditions under which the group of automorphisms of a model over a reduct is itself a definable group. In this paper we formulate a categorical analogue of the condition of internality, and prove an…
In a previous paper, the author and his collaborators studied the phenomenon of isotropy in the context of single-sorted equational theories, and showed that the isotropy group of the category of models of any such theory encodes a notion…
The description of the automorphism group of group $<a, b; [a^m,b^n]=1>$ ($m,n>1$) in terms of generators and defining relations is given. This result is applied to prove that any normal automorphism of every such group is inner.
We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant…
This paper investigates the isotropy groups of derivations on the Quantum Plane $\Bbbk_q[x, y]$, defined by the relation $yx = qxy$, where $q \in \Bbbk^*$, with $q^2\neq 1$. The main goal is to determine the automorphisms of the Quantum…
A Jet groupoid R_q over a manifold X is a special Lie groupoid consisting of q-jets of local diffeomorphisms from X to X. As a subbundle of the q-th order jet bundle of the trivial bundle X times X, a jet groupoid can be considered as a…
We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…
For a finite group G of Lie type and a prime p, we compare the automorphism groups of the fusion and linking systems of G at p with the automorphism group of G itself. When p is the defining characteristic of G, they are all isomorphic,…
For a homeomorphism $T \colon X \to X$ of a compact metric space $X$, the stabilized automorphism group $\text{Aut}^{(\infty)}(T)$ consists of all self-homeomorphisms of $X$ which commute with some power of $T$. Motivated by the study of…
Bergman has given the following abstract characterisation of the inner automorphisms of a group $G$: they are exactly those automorphisms of $G$ which can be extended functorially along any homomorphism $G \rightarrow H$ to an automorphism…
We define a relative property A for a countable group with respect to a finite family of subgroups. Many characterizations for relative property A are given. In particular a relative bounded cohomological characterization shows that if a…
A locally compact groupoid is said to be exact if its associated reduced crossed product functor is exact. In this paper, we establish some permanence properties of exactness, including generalizations of some known results for exact…
It has been proven by Schupp and Bergman that the inner automorphisms of groups can be characterized purely categorically as those group automorphisms that can be coherently extended along any outgoing homomorphism. One is thus motivated to…
We prove two conjectures on the automorphism group of a one-dimensional formal group law defined over a field of positive characteristic. The first is that if a series commutes with a nontorsion automorphism of the formal group law, then…
Groups definable in simple theories retain the chain conditions and decomposition properties known from stable groups, up to commensurability. In the small case, if a generic type of G is not foreign to some type q, there is a q-internal…
We prove that the fixed ring of the $q$-division ring $k_q(x,y)$ under any finite group of monomial automorphisms is isomorphic to $k_q(x,y)$ for the same $q$. In a similar manner, we also show that this phenomenon extends to an…
In this paper, we define a new structure analogous to group, called partial group. This structure concerns the partial stability by the composition inner law. We generalize the three isomorphism theorems for groups to partial groups.
We study sigma-derivations of the quantum plane and their isotropy groups under the conjugation action of automorphisms. For the case where q is different from plus or minus one, we classify all sigma-derivations for an arbitrary…
Algebraic structure of the group of pseudo-isotopy classes of diffeomorphisms of the trivial disk bundle over the standard sphere which restrict to the identity map on the boundary is determined.