相关论文: On the intersection of subgroups in free groups: e…

The undirected power graph (or simply power graph) of a group $G$, denoted by $P(G)$, is a graph whose vertices are the elements of the group $G$, in which two vertices $u$ and $v$ are connected by an edge between if and only if either…

A graph is "$H$-free" if it has no induced subgraph isomorphic to $H$. A conjecture of Conlon, Fox and Sudakov states that for every graph $H$, there exists $s>0$ such that in every $H$-free graph with $n>1$ vertices, either some vertex has…

In universal algebraic geometry the category of the finite generated free algebras of some fixed variety of algebras and the quotient group A/Y are very important. Here A is a group of all automorphisms of this category and Y is a group of…

Let $\Gamma_G$ denote a graph associated with a group $G$. A compelling question about finite groups asks whether or not a finite group $H$ must be nilpotent provided $\Gamma_H$ is isomorphic to $\Gamma_G$ for a finite nilpotent group $G$.…

A graph class $\mathcal{G}$ admits product structure if there exists a constant $k$ such that every $G \in \mathcal{G}$ is a subgraph of $H \boxtimes P$ for a path $P$ and some graph $H$ of treewidth $k$. Famously, the class of planar…

A graph is said to be $K_{1,r}$-free if it does not contain an induced subgraph isomorphic to $K_{1,r}$. An $\mathcal{F}$-factor is a spanning subgraph $H$ such that each connected component of $H$ is isomorphic to some graph in…

We study algebraic closure and its relation with definable closure in free groups and more generally in torsion-free hyperbolic groups. Given a torsion-free hyperbolic group G and a nonabelian subgroup A of G, we describe G as a…

For a compact surface $\Sigma$ (orientable or not, and with boundary or not) we show that the fixed subgroup, $\operatorname{Fix} B$, of any family $B$ of endomorphisms of $\pi_1(\Sigma)$ is compressed in $\pi_1(\Sigma)$ i.e.,…

We prove that if F is a finitely generated free group and f:F -> F is an automorphism with polynomial growth of degree d, then there exists a characteristic subgroup S < F of finite index such that the induced automorphism of the…

For a family $\mathcal{H}$ of graphs, a graph $G$ is said to be {\it $\mathcal{H}$-free} if $G$ contains no member of $\mathcal{H}$ as an induced subgraph. We let $\tilde{\mathcal{G}}_{3}(\mathcal{H})$ denote the family of connected…

Let $G$ be a group. The power graph of $G$ is a graph with vertex set $G$ in which two distinct elements $x,y$ are adjacent if one of them is a power of the other. We characterize all groups whose power graphs have finite independence…

The congruence subgroup problem for a finitely generated group $\Gamma$ asks whether $\widehat{Aut\left(\Gamma\right)}\to Aut(\hat{\Gamma})$ is injective, or more generally, what is its kernel $C\left(\Gamma\right)$? Here $\hat{X}$ denotes…

A countable graph is ultrahomogeneous if every isomorphism between finite induced subgraphs can be extended to an automorphism. Woodrow and Lachlan showed that there are essentially four types of such countably infinite graphs: the random…

We prove that a subgroup of a finitely generated free nilpotent group F is undistorted if and only if it is a retract of a subgroup of finite index in F.

Let A_1,...,A_k be a collection of families of subsets of an n-element set. We say that this collection is cross-intersecting if for any i,j in [k] with i not equal to j, A in A_i and B in A_j implies that the intersection of A and B is…

For any positive integer $n$, we exhibit a cofinite subgroup $\Gamma_n$ of the mapping class group of a surface of genus at most two such that $\Gamma_n$ admits an epimorphism onto a free group of rank $n$. We conclude that…

Let G be a finite group acting freely on a compact oriented surface S by homeomorphisms preserving the orientation. Then, there exists a G-invariant Lagrangian subspace in the first homology group of S.

Given a simple vertex algebra A and a reductive group G of automorphisms of A, the invariant subalgebra A^G is strongly finitely generated in most examples where its structure is known. This phenomenon is subtle, and is generally not true…

A quandle is an algebraic system originated in knot theory, and can be regarded as a generalization of symmetric spaces. The inner automorphism group of a quandle is defined as the group generated by the point symmetries (right…

For a finite connected graph $\mathcal{E}$ with set of edges $E$, a finite $E$-generated group $G$ is constructed such that the set of relations $p=1$ satisfied by $G$ (with $p$ a word over $E\cup E^{-1}$) is closed under deletion of…