群论

We prove the levelwise finite generation of free polynomial $G$-Tambara functors in a collection of cases, most notably when $G$ is a finite Dedekind group or when $G \cong C_p \rtimes C_q$, $p > q$ primes. In the process, we establish the…

The action of $SL(2, {\bf Z})$ on the integer torus and its quotient by central symmetry and Artin's presentation of three strings braid group $B_{3}$, produces a presentation with parabolic generators $\pmatrix{1& -1\cr 0& 1\cr}$ and…

Permutative automorphisms of the Cuntz algebras $\mathcal{O}_n$ are in bijection with the stable permutations of $[n]^k$. They are also the elements of the restricted Weyl group of $Aut(\mathcal{O}_n)$. In this note, we characterize a class…

We prove that a quotient G/N of a subgroup G of Sym(n) by a nonabelian minimal normal subgroup N of G embeds into Sym(m) for some $m<n$. This result was proved previously by Robert Chamberlain, and we also prove that,if G is transitive,…

Let $G$ be a group. We denote by $\nu(G)$ a certain extension of the non-abelian tensor square $G \otimes G$ by $G \times G$. In this paper we prove that the derived subgroup $\nu(G)'$ is a central product of three normal subgroups of…

Let $G$ be a finite $p$-group. In this paper we obtain bounds for the exponent of the non-abelian tensor square $G \otimes G$ and of $\nu(G)$, which is a certain extension of $G \otimes G$ by $G \times G$. In particular, we bound…

Let $n$ be a positive integer and let $G$ be a group. We denote by $\nu(G)$ a certain extension of the non-abelian tensor square $G \otimes G$ by $G \times G$. Set $T_{\otimes}(G) = \{g \otimes h \mid g,h \in G\}$. We prove that if the size…

The word $w=[x_{i_1},x_{i_2},\dots,x_{i_k}]$ is a simple commutator word if $k\geq 2, i_1\neq i_2$ and $i_j\in \{1,\dots,m\}$, for some $m>1$. For a finite group $G$, we prove that if $i_{1} \neq i_j$ for every $j\neq 1$, then the verbal…

Let $G$ be a finite group and let $k \geq 2$. We prove that the coprime subgroup $\gamma_k^*(G)$ is nilpotent if and only if $|xy|=|x||y|$ for any $\gamma_k^*$-commutators $x,y \in G$ of coprime orders (Theorem A). Moreover, we show that…

The aim of this paper is to describe the definitions and main properties of three generalizations of the group concept, namely: groupoid, generalized group and almost groupoid. Some constructions of these algebraic structures and…

The study of verbal subgroups within a group is well-known for being an effective tool to obtain structural information about a group. Therefore, conditions that allow the classification of words in a free group are of paramount importance.…

In this work we discuss whether the non-commuting graph of a finite group can determine its nilpotency. More precisely, Abdollahi, Akbari and Maimani conjectured that if $G$ and $H$ are finite groups with isomorphic non-commuting graphs and…

The solubility graph $\Gamma_S(G)$ associated with a finite group $G$ is a simple graph whose vertices are the elements of $G$, and there is an edge between two distinct vertices if and only if they generate a soluble subgroup. In this…

Let $G$ be a finite group, let $p$ be a prime and let $w$ be a group-word. We say that $G$ satisfies $P(w,p)$ if the prime $p$ divides the order of $xy$ for every $w$-value $x$ in $G$ of $p'$-order and for every non-trivial $w$-value $y$ in…

We compute the asymptotic probability that a random pair of Sylow 2-subgroups in $S_n$ or $A_n$ intersects trivially. This calculation complements recent work of Diaconis, Giannelli, Guralnick, Law, Navarro, Sambale, and Spink (see…

In this note we prove that the affine Artin group of type $\widetilde B_n$ is virtually poly-free. The proof also gives another solution of the $K(\pi, 1)$ problem for $\widetilde B_n$.

The Kervaire conjecture asserts that adding a generator and then a relator to a nontrivial group always results in a nontrivial group. We introduce new methods from stable commutator length to study this type of problems about nontriviality…

Strongly regular graphs are regular graphs with a constant number of common neighbours between adjacent vertices, and a constant number of common neighbours between non-adjacent vertices. These graphs have been of great interest over the…

The power graph of a group $G$ is a graph with vertex set $G$, where two distinct vertices $a$ and $b$ are adjacent if one of $a$ and $b$ is a power of the other. Similarly, the enhanced power graph of $G$ is a graph with vertex set $G$,…

A complete classification of the flag-transitive point-imprimitive symmetric $2$-$(v,k,\lambda )$ designs with $v<100$ is provided. Apart from the known examples with $\lambda \leq 10$, the complementary design of $PG_{5}(2)$, and the…