Related papers: Solving the isomorphism problems for two families …

Let ${\cal M}_{g,n}$ and ${\cal H}_{g,n}$, for $2g-2+n>0$, be, respectively, the moduli stack of $n$-pointed, genus $g$ smooth curves and its closed substack consisting of hyperelliptic curves. Their topological fundamental groups can be…

Let G be a noncyclic group of order 4, and let K be the ring Z of rational integers, the localization of Z at the prime 2 and the ring of 2-adic integers, respectively. We describe, up to conjugacy, all of the indecomposable subgroups in…

If the holonomy representation of an $(n+2)$--dimensional simply-connected Lorentzian manifold $(M,h)$ admits a degenerate invariant subspace its holonomy group is contained in the parabolic group $(\mathbb{R} \times SO(n))\ltimes…

We deduce a simple representation and the invariant factor decompositions of the subgroups of the group $\Bbb{Z}_m \times \Bbb{Z}_n$, where $m$ and $n$ are arbitrary positive integers. We obtain formulas for the total number of subgroups…

Let $\Omega$ be a $m$-set, where $m>1$, is an integer. The Hamming graph $H(n,m)$, has $\Omega ^{n}$ as its vertex-set, with two vertices are adjacent if and only if they differ in exactly one coordinate. In this paper, we provide a proof…

Let G be a connected, complex reductive Lie group with maximal compact subgroup K, and let X denote the moduli space of G- or K-valued representations of a rank r free group. In this article, we develop methods for studying the…

We consider the following feasibility problem: given an integer $n \geq 1$ and an integer $m$ such that $0 \leq m \leq \binom{n}{2}$, does there exist a line graph $L = L(G)$ with exactly $n$ vertices and $m$ edges ? We say that a pair…

Let $m$ be a positive integer. A group $G$ is said to be an $m$-DCI-group or an $m$-CI-group if $G$ has the $k$-DCI property or $k$-CI property for all positive integers $k$ at most $m$, respectively. Let $G$ be a dihedral group of order…

For any positive integer $n$, $\mathcal{A}_n$ is the class of all groups $G$ such that, for $0\leq i\leq n$, $H^i(\hat{G},A)\cong H^i(G,A)$ for every finite discrete $\hat{G}$-module $A$. We describe certain types of free products with…

We consider the group isomorphism problem: given two finite groups G and H specified by their multiplication tables, decide if G and H are isomorphic. The n^(log n) barrier for group isomorphism has withstood all attacks --- even for the…

We give a short argument showing that if $m, n \in {1, 2, ...} \cup {\omega}$, then the groups mV and nV are not isomorphic. This answers a question of Brin.

Let $Q_m$ be the HNN extension of $\Z/m \times \Z/m$ where the stable letter conjugates the first factor to the second. We explore small presentations of the groups $\Gamma_{m,n}=Q_m \ast Q_n$. We show that for certain choices of (m,n), for…

The congruence subgroups $\Gamma_1(m,p)$ that we consider here are subgroups of $GL_m(\Z)$ that fix the vector $(0,\dots,0,1) \mod p$, where $p\geq 5$ is a prime. We present a method and many computations of homological Euler…

Let $G$ be a group, $m\geq2$ and $n\geq1$. We say that $G$ is an $\mathcal{T}(m,n)$-group if for every $m$ subsets $X_1, X_2, \dots, X_m$ of $G$ of cardinality $n$, there exists $i\neq j$ and $x_i \in X_i, x_j \in X_j$ such that…

An m-endomorphism of a free semigroup is an endomorphism that sends every generator to a word of length at most m. Two m-endomorphisms are combinatorially equivalent if they are conjugate under an automorphism of the semigroup. In this…

For any reductive group G and a parabolic subgroup P with its Levi subgroup L, the first author in [Ku2] introduced a ring homomorphism $ \xi^P_\lambda: Rep^\mathbb{C}_{\lambda-poly}(L) \to H^*(G/P, \mathbb{C})$, where $…

We study the free metabelian group $M(2,n)$ of prime power exponent $n$ on two generators by means of invariants $M(2,n)'\to \mathbb{Z}_n$ that we construct from colorings of the squares in the integer grid $\mathbb{R} \times \mathbb{Z}…

We classify gradings by arbitrary abelian groups on the classical simple Lie superalgebras $P(n)$, $n \geq 2$, and on the simple associative superalgebras $M(m,n)$, $m, n \geq 1$, over an algebraically closed field: fine gradings up to…

Suppose that $M$ is a connected orientable $n$-dimensional manifold and $m>2n$. If $H^i(M,\R)=0$ for $i>0$, it is proved that for each $m$ there is a monomorphism $H^m(W_n,\on{O}(n))\to H^m_{\on{cont}}(\on{Diff}M,\R)$. If $M$ is closed and…

We consider the isomorphism problem for hypergraphs taking as input two hypergraphs over the same set of vertices $V$ and a permutation group $\Gamma$ over domain $V$, and asking whether there is a permutation $\gamma \in \Gamma$ that…