Related papers: A random Hall-Paige conjecture
The notion of a \emph{$G$-completely reducible} subgroup is important in the study of algebraic groups and their subgroup structure. It generalizes the usual idea of complete reducibility from representation theory: a subgroup $H$ of a…
We provide a description of the fundamental group of the quotient of a product of topological spaces $X_i$, each admitting a universal cover, by a finite group $G$, provided that there is only a finite number of path-connected components in…
We prove that for any finitely generated group $G$ and any $k\geq1$, the space of $k$-colorings of $G$ does not admit a strict self-embedding. This settles the Gottschalk surjunctivity conjecture and, consequently, Kaplansky's direct…
We formulate and prove a new variant of the Segal Conjecture describing the group of homotopy classes of stable maps from the p-completed classifying space of a finite group G to the classifying space of a compact Lie group K as the p-adic…
We prove that a smooth and connected algebraic group $G$ is affine if and only if any invertible sheaf on any normal $G$-variety is $G$-invariant. For the proof, a key ingredient is the following result: if $G$ is a connected and smooth…
The concept of matchings originated in group theory to address a linear algebra problem related to canonical forms for symmetric tensors. In an abelian group $(G,+)$, a matching is a bijection $f: A \to B$ between two finite subsets $A$ and…
We study properties of a group, abelian group, ring, or monoid $B$ which (a) guarantee that every homomorphism from an infinite direct product $\prod_I A_i$ of objects of the same sort onto $B$ factors through the direct product of finitely…
A group element is called generalized torsion if a finite product of its conjugates is equal to the identity. We show that in a finitely generated abelian-by-finite group, an element is generalized torsion if and only if its image in the…
We formulate and prove matroid analogues of results concerning matchings in groups. A matching in an abelian group $(G,+)$ is a bijection $f:A\to B$ between two finite subsets $A,B$ of $G$ satisfying $a+f(a)\notin A$ for all $a\in A$. A…
Let $X$ be a curve over a field $k$ finitely generated over $\mathbb{Q}$ and $t$ an indeterminate. We prove that, if $s$ is a section of $\pi_{1}(X)\to\operatorname{Gal}(k)$ such that the base change $s_{k(t)}$ is birationally liftable,…
In 1979, Miller proved that for a group $G$ of odd order, two minimal group codes in $\mathbb{F}_2G$ are $G$-equivalent if and only they have identical weight distribution. In 2014, Ferraz-Guerreiro-Polcino Milies disprove Miller's result…
Let $G$ and $H$ be two simple graphs. A bijection $\phi:V(G)\rightarrow V(H)$ is called an isomorphism between $G$ and $H$ if $(\phi v_i)(\phi v_j)\in E(H)$ $\Leftrightarrow$ $v_i v_j\in E(G)$, $\forall v_i,v_j \in V(G)$. In the case that…
Let $\sigma =\{\sigma_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$, $G$ a finite group and $\sigma (G) =\{\sigma_{i} |\sigma_{i}\cap \pi (G)\ne \emptyset \}$. A set ${\cal H}$ of subgroups of $G$ is said to be a…
The notion of locally quasi-convex abelian group, introduce by Vilenkin, is extended to maximally almost-periodic non-necessarily abelian groups. For that purpose, we look at certain bornologies that can be defined on the set…
Let $\mathcal{C}$ be a class of finite groups closed for subgroups, quotients groups and extensions. Let $\Gamma$ be a finite simplicial graph and $G = G_{\Gamma}$ be the corresponding pro-$\mathcal C$ RAAG. We show that if $N$ is a…
We consider factorizations $G=XY$ where $G$ is a general group, $X$ and $Y$ are normal subsets of $G$ and any $g\in G$ has a unique representation $g=xy$ with $x\in X$ and $y\in Y$. This definition coincides with the customary and…
In 1968, John Thompson proved that a finite group $G$ is solvable if and only if every $2$-generator subgroup of $G$ is solvable. In this paper, we prove that solvability of a finite group $G$ is guaranteed by a seemingly weaker condition:…
We construct an embedding G of the category of graphs into the category of abelian groups such that for graphs X and Y we have Hom(GX,GY)=Z[Hom(X,Y)], the free abelian group whose basis is the set Hom(X,Y). The isomorphism is functorial in…
Let $H$ be a subgroup of a finite group $G$. We say that $H$ satisfies partial $\Pi$-property in $G$ if there exists a chief series $\mathit{\Gamma}_G:1=G_0<G_1<\cdots<G_n=G$ of $G$ such that for every $G$-chief factor $G_i/G_{i-1}$ ($1\leq…
The Bounded Height Conjecture of Bombieri, Masser, and Zannier states that for any sufficiently generic algebraic subvariety of a semiabelian $\overline{\mathbb{Q}}$-variety $G$ there is an upper bound on the Weil height of the points…