Powerful multiplicative groups do not force right nilpotence in finite braces
For every odd prime $p$, we construct a finite left brace $A_p$ of order $p^{2p+1}$ whose additive group is elementary abelian and whose multiplicative group $G_p$ is a powerful $p$-group, but such that $A_p$ is not right nilpotent. More precisely, $G_p'=G_p^p\cong C_p^2, \operatorname{cl}(G_p)=2, \exp(G_p)=p^2,$ and $\operatorname{Soc}(A_p)=0$. Thus powerfulness does not force right nilpotence even for multiplicative groups of class two with derived subgroup of order $p^2$. The obstruction is explicit: $A_p$ contains a three-dimensional trivial ideal $T$ satisfying $T*A_p=T$, whereas its…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.01884
curl -X POST /api/v1/records/arxiv/2608.01884/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.01884/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'