Related papers: Isomorphism Invariants for Linear Quasigroups

This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…

We investigate the question which Q-valued characters and characters of Q-representations of finite groups are Z-linear combinations of permutation characters. This question is known to reduce to that for quasi-elementary groups, and we…

We construct invariant quasimorphisms for groups acting on the circle. Furthermore, we provide a criterion for the non-extendablity of the resulting quasimorphisms and an explicit formula which relates the values of our quasimorphisms to…

The isotopic invariance or universality of types and varieties of quasigroups and loops described by one or more equivalent identities has been of interest to researchers in loop theory in the recent past. A variety of quasigroups(loops)…

For quasifields, the concept of parastrophy is slightly weaker than isotopy. Parastrophic quasifields yield isomorphic translation planes but not conversely. We investigate the right multiplication groups of finite quasifields. We classify…

The Subgroup Isomorphism Problem for Integral Group Rings asks for which finite groups U it is true that if U is isomorphic to a subgroup of V(ZG), the group of normalized units of the integral group ring of the finite group G, it must be…

For any rank-one Riemannian symmetric space S of non-compact type and any discrete, cofinite, non-cocompact, torsion-free group $\Gamma$ of orientation-preserving Riemannian isometries on S, we develop a cohomological interpretation for the…

Let $G=A \ast B$ be a free product of freely indecomposable groups. We explicitly construct quasimorphisms on $G$ which are invariant with respect to all automorphisms of $G$. We also prove that the space of such quasimorphisms is…

Let R be a complete discrete valuation ring, S=R[[u]] and n a positive integer. The aim of this paper is to explain how to compute efficiently usual operations such as sum and intersection of sub-S-modules of S^d. As S is not principal, it…

In this paper, we investigate the computational complexity of isomorphism testing for finite groups and quasigroups, given by their multiplication tables. We crucially take advantage of their various decompositions to show the following: -…

We consider compact matrix quantum groups whose $N$-dimensional fundamental representation decomposes into an $(N-1)$-dimensional and a one-dimensional subrepresentation. Even if we know that the compact matrix quantum group associated to…

The class of all quasigroups is covered by six classes: the class of all asymmetric quasigroups and five varieties of quasigroups (commutative, left symmetric, right symmetric, semi-symmetric and totally symmetric). Each of these classes is…

We investigate the properties of binary linear codes of even length whose permutation automorphism group is a cyclic group generated by an involution. Up to dimension or co-dimension $4$, we show that there is no quasi group code whose…

We study automorphisms and representations of quasi polynomial algebras (QPAs) and quasi Laurent polynomial algebras (QLPAs). For any QLPA defined by an arbitrary skew symmetric integral matrix, we explicitly describe its automorphism…

The Exel-Loring formula asserts that two topological invariants associated to a pair of almost commuting unitary matrices coincide. Such a pair can be viewed as a quasi-representation of $\mathbb{Z}^2$. We give a generalization of this…

We introduce an algebraic structure which encodes a collection of countable graphs through a set of states, generators and relations. These structures, which we call blueprints, can capture standard algebraic objects such as groups, monoids…

Semi-direct products of finite groups have permutation representations that are constructed from the permutation representations of their constituents. One can envision these in a metaphoric sense in which a rope is made from a bundle of…

Given any quasi-countable, in particular any countable inverse semigroup $S$, we introduce a way to equip $S$ with a proper and right subinvariant extended metric. This generalizes the notion of proper, right invariant metrics for discrete…

A (non-commutative) Ulam quasimorphism is a map $q$ from a group $\Gamma$ to a topological group $G$ such that $q(xy)q(y)^{-1}q(x)^{-1}$ belongs to a fixed compact subset of $G$. Generalizing the construction of Barge and Ghys, we build a…

The Eichler-Shimura isomorphism realizes the automorphic representation generated by an automorphic newform in certain cohomology of an arithmetic group. In this short note, we give a cohomological interpretation of the Eichler-Shimura…