We consider all the non-metabelian groups $G$ of order $144$ that have exponent either $36$ or $72$ and deduce the unit group $U\left({𝔽}_{q}G\right)$ of semisimple group algebra ${𝔽}_{q}G$. Here, $q$ denotes the power of a prime, i.e., $q=p^r$ for $p$ prime and a positive integer $r$. Up to isomorphism, there are $6$ groups of order $144$ that have exponent either $36$ or $72$. Additionally, we also discuss how to simply obtain the unit groups of the semisimple group algebras of those non-metabelian groups of order $144$ that are a direct product of two...

We study II${}_1$ factors $M$ and $N$ associated with good generalized Bernoulli actions of groups having an infinite almost normal subgroup with the relative property (T). We prove the following rigidity result : every finite index $M$-$N$-bimodule (in particular, every isomorphism between $M$ and $N$) is described by a commensurability of the groups involved and a commensurability of their actions. The fusion algebra of finite index $M$-$M$-bimodules is identified with an extended Hecke fusion algebra,...

The profinite topology on any abstract group $G$, is one such that the fundamental system of neighborhoods of the identity is given by all its subgroups of finite index. We say that a group $G$ has the Ribes-Zalesskii property of rank $k$, or is RZ${}_k$ with $k$ a natural number, if any product $H_1{H}_2\cdots H_k$ of finitely generated subgroups $H_1,H_2,\cdots ,H_k$ is closed in the profinite topology on $G$. And a group is said to have the Ribes-Zalesskii property or is RZ if it is RZ${}_k$ for any natural number $k$. In this paper we characterize...

Let $G$ be a group. If every nontrivial subgroup of $G$ has a proper supplement, then $G$ is called an $aS$-group. We study some properties of $aS$-groups. For instance, it is shown that a nilpotent group $G$ is an $aS$-group if and only if $G$ is a subdirect product of cyclic groups of prime orders. We prove that if $G$ is an $aS$-group which satisfies the descending chain condition on subgroups, then $G$ is finite. Among other results, we characterize all abelian groups for which every nontrivial quotient group...

It is shown that there exists a $\sigma$-compact topological group which cannot be represented as a continuous image of a Lindelöf $p$-group, see Example 2.8. This result is based on an inequality for the cardinality of continuous images of Lindelöf $p$-groups (Theorem 2.1). A closely related result is Corollary 4.4: if a space $Y$ is a continuous image of a Lindelöf $p$-group, then there exists a covering $\gamma$ of $Y$ by dyadic compacta such that $\left|\gamma \right|\le 2^{\omega }$. We also show that if a homogeneous compact space $Y$ is...

A group $G$ is said to be a $𝒞$-group if for every divisor $d$ of the order of $G$, there exists a subgroup $H$ of $G$ of order $d$ such that $H$ is normal or abnormal in $G$. We give a complete classification of those groups which are not $𝒞$-groups but all of whose proper subgroups are $𝒞$-groups.

In this note we study sets of normal generators of finitely presented residually $p$-finite groups. We show that if an infinite, finitely presented, residually $p$-finite group $G$ is normally generated by $g_1,\cdots ,g_k$ with order $n_1,\cdots ,n_k\in \{1,2,\cdots \}\cup \left\{\infty \right\}$, then $${\beta }_1^{\left(2\right)}\left(G\right)\le k-1-\sum _{i=1}^k\frac{1}{n_i},$$ where ${\beta }_1^{\left(2\right)}\left(G\right)$ denotes the first ${\ell }^2$-Betti number of $G$. We also show that any $k$-generated group with ${\beta }_1^{\left(2\right)}\left(G\right)\ge k-1-\epsilon$ must have girth greater than or equal $1/\epsilon$.

Let $G$ be a group and $m$ be an integer greater than or equal to $2$. $G$ is said to be $m$-permutable if every product of $m$ elements can be reordered at least in one way. We prove that, if $G$ has a centre of finite index $z$, then $G$ is $(1+[z/2])$-permutable. More bounds are given on the least $m$ such that $G$ is $m$-permutable.

Let X be a nice variety over a number field k. We characterise in pure “descent-type” terms some inequivalent obstruction sets refining the inclusion $X{{(}_k)}^{ét,Br}\subset X{{(}_k)}^{Br₁}$. In the first part, we apply ideas from the proof of $X{{(}_k)}^{ét,Br}=X{{(}_k)}^{{}_k}$ by Skorobogatov and Demarche to new cases, by proving a comparison theorem for obstruction sets. In the second part, we show that if $\subset {\subset }_k$ are such that $\subset Ext\left({,}_k\right)$, then $X{{(}_k)}^{}=X{{(}_k)}^{}$. This allows us to conclude, among other things, that $X{{(}_k)}^{ét,Br}=X{{(}_k)}^{{}_k}$ and $X{{(}_k)}^{Sol,Br₁}=X{{(}_k)}^{So{l}_k}$.

We consider the systems of hyperbolic equations ⎧$uₜₜ=\Delta \left(a(t,x)u\right)+\Delta \left(b(t,x)v\right)+{h(t,x)\left|v\right|}^p$, t > 0, $x\in {ℝ}^N$, (S1) ⎨ ⎩$vₜₜ=\Delta \left(c(t,x)v\right)+{k(t,x)\left|u\right|}^q$, t > 0, $x\in {ℝ}^N$ ⎧$uₜₜ=\Delta \left(a(t,x)u\right)+{h(t,x)\left|v\right|}^p$, t > 0, $x\in {ℝ}^N$, (S2) ⎨ ⎩$vₜₜ=\Delta \left(c(t,x)v\right)+{l(t,x)\left|v\right|}^m+k(t,x){\left|u\right|}^q$, t > 0, $x\in {ℝ}^N$, (S3) ⎧$uₜₜ=\Delta \left(a(t,x)u\right)+\Delta \left(b(t,x)v\right)+{h(t,x)\left|u\right|}^p$, t > 0, $x\in {ℝ}^N$, ⎨ ⎩$vₜₜ=\Delta \left(c(t,x)v\right)+{k(t,x)\left|v\right|}^q$, t > 0, $x\in {ℝ}^N$, in $(0,\infty )\times {ℝ}^N$ with u(0,x) = u₀(x), v(0,x) = v₀(x), uₜ(0,x) = u₁(x), vₜ(0,x) = v₁(x). We show that, in each case, there exists a bound B on N such that for 1 ≤ N ≤ B solutions to the systems blow up in finite time.

For a finite Coxeter group $W$ and a Coxeter element $c$ of $W$; the $c$-Cambrian fan is a coarsening of the fan defined by the reflecting hyperplanes of $W$. Its maximal cones are naturally indexed by the $c$-sortable elements of $W$. The main result of this paper is that the known bijection cl${}_c$ between $c$-sortable elements and $c$-clusters induces a combinatorial isomorphism of fans. In particular, the $c$-Cambrian fan is combinatorially isomorphic to the normal fan of the generalized associahedron for...

For a finite group $G$ denote by $N\left(G\right)$ the set of conjugacy class sizes of $G$. In 1980s, J. G. Thompson posed the following conjecture: If $L$ is a finite nonabelian simple group, $G$ is a finite group with trivial center and $N\left(G\right)=N\left(L\right)$, then $G\cong L$. We prove this conjecture for an infinite class of simple groups. Let $p$ be an odd prime. We show that every finite group $G$ with the property $Z\left(G\right)=1$ and $N\left(G\right)=N\left(A_i\right)$ is necessarily isomorphic to $A_i$, where $i\in \{2p,2p+1\}$.

Let $G$ be a finite group. The main supergraph $𝒮\left(G\right)$ is a graph with vertex set $G$ in which two vertices $x$ and $y$ are adjacent if and only if $o\left(x\right)\mid o\left(y\right)$ or $o\left(y\right)\mid o\left(x\right)$. In this paper, we will show that $G\cong Sz\left(q\right)$ if and only if $𝒮\left(G\right)\cong 𝒮\left(Sz\right(q\left)\right)$, where $q=2^{2m+1}\ge 8$.