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...

For an algebraic number field $K$ with $3$-class group ${\mathrm{Cl}}_3\left(K\right)$ of type $(3,3)$, the structure of the $3$-class groups ${\mathrm{Cl}}_3\left(N_i\right)$ of the four unramified cyclic cubic extension fields $N_i$, $1\le i\le 4$, of $K$ is calculated with the aid of presentations for the metabelian Galois group ${\mathrm{G}}_3^2\left(K\right)=\mathrm{Gal}\left({\mathrm{F}}_3^2\left(K\right)\right|K)$ of the second Hilbert $3$-class field ${\mathrm{F}}_3^2\left(K\right)$ of $K$. In the case of a quadratic base field $K=\mathbb{Q}\left(\sqrt{D}\right)$ it is shown that the structure of the $3$-class groups of the four $S_3$-fields $N_1,...,N_4$ frequently determines the type of principalization of the $3$-class group of $K$ in $N_1,...,N_4$. This...

Suppose that $\mu$ is an absolutely continuous probability measure on ${}^R$n, for large $n$. Then $\mu$ has low-dimensional marginals that are approximately spherically-symmetric. More precisely, if $n\ge {(C/\epsilon )}^{Cd}$, then there exist $d$-dimensional marginals of $\mu$ that are $\epsilon$-far from being sphericallysymmetric, in an appropriate sense. Here $C>0$ is a universal constant.

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.

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...

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 finite group, and let $N\left(G\right)$ be the set of conjugacy class sizes of $G$. By Thompson’s conjecture, if $L$ is a finite non-abelian simple group, $G$ is a finite group with a trivial center, and $N\left(G\right)=N\left(L\right)$, then $L$ and $G$ are isomorphic. Recently, Chen et al. contributed interestingly to Thompson’s conjecture under a weak condition. They only used the group order and one or two special conjugacy class sizes of simple groups and characterized successfully sporadic simple groups (see Li’s PhD dissertation)....

Let $(X,d_X)$, $(\Omega ,d_{\Omega })$ be complete separable metric spaces. Denote by (X) the space of probability measures on X, by $W_p$ the p-Wasserstein metric with some p ∈ [1,∞), and by ${}_p\left(X\right)$ the space of probability measures on X with finite Wasserstein distance from any point measure. Let $f:\Omega {\to }_p\left(X\right)$, $\omega \mapsto f_{\omega }$, be a Borel map such that f is a contraction from $(\Omega ,d_{\Omega })$ into ${(}_p\left(X\right),W_p)$. Let ν₁,ν₂ be probability measures on Ω with $W_p(\nu ₁,\nu ₂)$ finite. On X we consider the subordinated measures ${\mu }_i={\int }_{\Omega }{f}_{\omega }d{\nu }_i\left(\omega \right)$. Then $W_p(\mu ₁,\mu ₂)\le W_p(\nu ₁,\nu ₂)$. As an application we show that the solution measures ${\varrho }_{\alpha }\left(t\right)$...

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}$.

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...