arXiv subjects
Publications and source records attributed to Jon Gonzalez-Sanchez.
For each prime $p$ we construct a family $\{G_i\}$ of finite $p$-groups such that $|\Aut (G_i)|/|G_i|$ goes to $0$, as $i$ goes to infinity. This disproves a well-known conjecture that $|G|$ divides $|\Aut(G)|$ for every non-abelian finite $p$-group $G$.
Lazard correspondence provides an isomorphism of categories between finitely generated nilpotent pro-$p$ groups of nilpotency class smaller than $p$ and finitely generated nilpotent $\mathbb{Z}_p$-Lie algebras of nilpotency class smaller than $p$. Denote by $H_{Gr}^i$ and $H_{Lie}^i$ the group cohomology functors and the Lie cohomology functors respectively. The aim of this paper is to show that for $i=0$, $1$ and $1$, and for a given category of modules the cohomology functors $H_{Gr}^i\circ \textbf{exp}$ and $H^i_{Lie}$ are naturally equivalent. A similar result is proven for $i=3$ and the relative cohomology groups.
Let G be a finite p-solvable group and P a Sylow p-subgroup of G. Suppose that $γ_{l(p-1)}(P)\subseteq γ_r(P)^{p^s}$ for $l(p-1)<r+s(p-1)$, then the p-length is bounded by a function depending on l.
In [10] Benjamin Klopsch and Ilir Snopce posted the conjecture that for $p\geq 3$ and $G$ a torsion-free pro-$p$ group $d(G)=\dim (G)$ is a sufficient and necessary condition for the pro-$p$ group $G$ to be uniform. They pointed out that this follows from the more general question of whether for a finite $p$-group $d(G)=\log_p(|Ω_1(G)|)$ is a sufficient and necessary condition for the group $G$ to be powerful. In this short note we will give a positive answer to this question for $p\geq 5$.
Let G by compact p-adic Lie group and suppose that G is FAb, i.e., that H/[H,H] is finite for every open subgroup H of G. The representation zeta function Z(G,s) encodes the distribution of continuous irreducible complex characters of G. Here s denotes a complex variable and Z(G,s) is defined as the Dirichlet generating function whose nth coefficient is equal to the number of irreducible characters of G of degree n. For p greater than 2 it is known that Z(G,s) defines a meromorphic function on the complex plane. Wedderburn's structure theorem for semisimple algebras implies that ZG,-2) = |G| for finite G. We complement this classic result by proving that Z(G,-2) = 0 for infinite G, assuming that p is greater than 2.
It is well known that every Del Pezzo surface of degree 5 defined over k is parametrizable over k. In this paper we give an efficient construction for parametrizing, as well as algorithms for constructing examples in every isomorphism class and for deciding equivalence.
Smooth real cubic surfaces are birationally trivial (over $\R$) if and only if their real locus is connected or, equivalently, if and only if they have two skew real lines or two skew complex conjugate lines. In such a case a parametrization over the reals can be given by cubic polynomials. In this short note we provide a simple geometric method to obtain such parametrization based in an algorithm by I. Polo-Blanco and J. Top \cite{Po-Top}.
Let $w = w(x_1,..., x_n)$ be a word, i.e. an element of the free group $F = $ on $n$ generators $x_1,..., x_n$. The verbal subgroup $w(G)$ of a group $G$ is the subgroup generated by the set $\{w (g_1,...,g_n)^{\pm 1} | g_i \in G, 1\leq i\leq n \}$ of all $w$-values in $G$. We say that a (finite) group $G$ is $w$-maximal if $|G:w(G)|> |H:w(H)|$ for all proper subgroups $H$ of $G$ and that $G$ is hereditarily $w$-maximal if every subgroup of $G$ is $w$-maximal. In this text we study $w$-maximal and hereditarily $w$-maximal (finite) groups.
A finite group $G$ is called {\it $p^i$-central of height $k$} if every element of order $p^i$ of $G$ is contained in the $k^{th}$-term $ζ_k(G)$ of the ascending central series of $G$. If $p$ is odd such a group has to be $p$-nilpotent (Thm. A). Finite $p$-central $p$-groups of height $p-2$ can be seen as the dual analogue of finite potent $p$-groups, i.e., for such a finite $p$-group $P$ the group $P/Ω_1(P)$ is also $p$-central of height $p-2$ (Thm. B). In such a group $P$ the index of $P^p$ is less or equal than the order of the subgroup $Ω_1(P)$ (Thm. C). If the Sylow $p$-subgroup $P$ of a finite group $G$ is $p$-central of height $p-1$, $p$ odd, and $N_G(P)$ is $p$-nilpotent, then $G$ is also $p$-nilpotent (Thm. D). Moreover, if $G$ is a $p$-soluble finite group, $p$ odd, and $P\in \text{Syl}_p(G)$ is $p$-central of height $p-2$, then $N_G(P)$ controls $p$-fusion in $G$ (Thm. E). It is well-known that the last two properties hold for Swan groups.
Let G be a finite group, p a fixed prime and P a Sylow p-subgroup of G. In this short note we prove that if p is odd, G is p-nilpotent if and only if P controls fusion of cyclic groups of order p. For the case p=2, we show that G is p-nilpotent if and only if P controls fusion of cyclic groups of order 2 and 4.