Related papers: Half-isomorphisms of automorphic loops
Given two tuples of subspaces, can you tell whether the tuples are isomorphic? We develop theory and algorithms to address this fundamental question. We focus on isomorphisms in which the ambient vector space is acted on by either a unitary…
Every two seeds in a field of fractions $\mathcal{F}$ together with a symmetric group element gives rise to an automorphism of $\mathcal{F}$ called an exchange automorphism. For positive cluster algebras, we provide equivalent conditions…
Fenyves BCI-algebras are BCI-algebras that satisfy the Bol-Moufang identities. In this paper, the holomorphy of BCI-algebras are studied. It is shown that whenever a loop and its holomorph are BCI-algebras, the former is p-semisimple if and…
Code loops are Moufang loops constructed from doubly even binary codes. Then, given a code loop L, we ask which doubly even binary code V produces L. In this sense, V is called a representation of L. In this article we define and determine…
We investigate the possible structures imposed on a finite group by its possession of an automorphism sending a large fraction of the group elements to their cubes, the philosophy being that this should force the group to be, in some sense,…
We prove that for q\in\C* not a nontrivial root of unity the cohomology group defined by invariant 2-cocycles in a completion of Uq(g) is isomorphic to H^2(P/Q;\T), where P and Q are the weight and root lattices of g. This implies that the…
We determine the automorphism groups of Koras-Russell threefolds of the second kind. In particular we show that these groups are semi-direct products of two subgroups, one given by the multiplicative group and the other isomorphic to a…
Isomorphisms p between pattern classes A and B are considered. It is shown that, if p is not a symmetry of the entire set of permutations, then, to within symmetry, A is a subset of one a small set of pattern classes whose structure,…
If G is a group, a pseudocharacter f: G-->R is a function which is "almost" a homomorphism. If G admits a nontrivial pseudocharacter f, we define the space of ends of G relative to f and show that if the space of ends is complicated enough,…
We construct a structure of a ring with local units on a co-Frobenius coalgebra. We study a special class of co-Frobenius coalgebras whose objects we call symmetric coalgebras. We prove that any semiperfect coalgebra can be embedded in a…
A rigid automorphism of a linking system is an automorphism which restricts to the identity on the Sylow subgroup. A rigid inner automorphism is conjugation by an element in the center of the Sylow subgroup. At odd primes, it is known that…
In our previous paper math/0502157 we classified a large class of finite-dimensional pointed Hopf algebras up to isomorphism. However the following problem was left open for Hopf algebras of of type $A,D$ or $E_6$, that is whose Cartan…
We classify the cosemisimple Hopf algebras whose corepresentation semi-ring is isomorphic to that of GL(2). This leads us to define a new family of Hopf algebras which generalize the quantum similitude group of a non-degenerate bilinear…
Let g be a complex, semisimple Lie algebra. Drinfeld showed that the quantum loop algebra U_h(Lg) of g degenerates to the Yangian Y_h(g). We strengthen this result by constructing an explicit algebra homomorphism Phi defined over Q[[h]]…
Let $K$ be a field of characteristic $0$ and let $G$ and $H$ be connected commutative algebraic groups over $K$. Let $\text{Mor}_0(G,H)$ denote the set of morphisms of algebraic varieties $G \to H$ that map the neutral element to the…
We prove that the statement `For all Borel ideals I and J on $\omega$, every isomorphism between Boolean algebras $P(\omega)/I$ and $P(\omega)/J$ has a continuous representation' is relatively consistent with ZFC. In this model every…
Over 50 years ago, Lov\'{a}sz proved that two graphs are isomorphic if and only if they admit the same number of homomorphisms from any graph [Acta Math. Hungar. 18 (1967), pp. 321--328]. In this work we prove that two graphs are quantum…
We consider the problem of characterizing the class of those permutation groups that are the symmetry groups of Boolean functions. These are exactly the automorphism groups of hypergraphs. They are also called the relation groups. In this…
Let S and R be the rings of regular functions on affine algebraic varieties over a field of characteristic 0, R be embedded as a subring in S, and F : S --> S be an endomorphism such that F(R) subset R. Suppose that every ideal of height 1…
We prove that every $2$-local automorphism on a finite-dimensional semi-simple Lie algebra $\mathcal{L}$ over an algebraically closed field of characteristic zero is an automorphism. We also show that each finite-dimensional nilpotent Lie…