The X-series of a p-group and complements of abelian subgroups

Abstract: Let

G

be a

p

-group. We denote by

m a t h c a l X_{i} (G)

the intersection of all subgroups of

G

having index

p^{i}

, for

i l e q l o g_{p} (| G |)

. In this paper, the newly introduced series

{m a t h c a l X_{i} (G)}_{i}

is investigated and a number of results concerning its behaviour are proved. As an application of these results, we show that if an abelian subgroup

A

of

G

intersects each one of the subgroups

m a t h c a l X_{i} (G)

at

m a t h c a l X_{i} (A)

, then

A

has a complement in

G

. Conversely if an arbitrary subgroup

H

of

G

has a normal complement, then

m a t h c a l X_{i} (H) = m a t h c a l X_{i} (G) c a p H

.

Review text

Let \(G\) be a finite \(p\)-group and let \(\mathcal{X}_{i}(G)\) be the intersection of all subgroups of \(G\) having index \(p^{i}\) in \(G\). In the paper under review, the authors study the series \(\{ \mathcal{X}_{i}(G) \}_{i}\) and prove a number of results concerning its behavior. As an application of these results, they show that if \(A\) is an abelian subgroup of \(G\) and \(A \cap \mathcal{X}_{i}(G)=\mathcal{X}_{i}(A)\), then \(A\) has a complement in \(G\). Conversely, if an arbitrary subgroup \(H\) of \(G\) has a normal complement, then \(\mathcal{X}_{i}(H) = H \cap \mathcal{X}_{i}(G)\).

Recommendations

Cites work

This page was built for publication: The \(\mathcal{X}\)-series of a \(p\)-group and complements of abelian subgroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6132675)