Search Results for ""

If every component L of X/O_(p^')(X) satisfies the "Schreler property," then L_(p^')(Y)<=L_(p^')(X) for every p-local subgroup Y of X, where L_(p^') is the p-layer.

The p-layer of H, L_(p^')(H) is the unique minimal normal subgroup of H which maps onto E(H/O_(p^')(H)).

For a group G, consider a subgroup H with elements h_i and an element x of G not in H, then xh_i for i=1, 2, ... constitute the left coset of the subgroup H with respect to x.

The set of elements g of a group such that g^(-1)Hg=H, is said to be the normalizer N_G(H) with respect to a subset of group elements H. If H is a subgroup of G, N_G(H) is ...

Consider a countable subgroup H with elements h_i and an element x not in H, then h_ix for i=1, 2, ... constitute the right coset of the subgroup H with respect to x.

The most general form of Lagrange's group theorem, also known as Lagrange's lemma, states that for a group G, a subgroup H of G, and a subgroup K of H, (G:K)=(G:H)(H:K), ...

If a Sylow 2-subgroup T of G lies in a unique maximal 2-local P of G, then P is a "strongly embedded" subgroup of G, and G is known.

The strongly embedded theorem identifies all simple groups with a strongly 2-embedded subgroup. In particular, it asserts that no simple group has a strongly 2-embedded ...

If F is a group, then the extensions G of F of order o with G/phi(G)=F, where phi(G) is the Frattini subgroup, are called Frattini extensions.

A group given by G/phi(G), where phi(G) is the Frattini subgroup of a given group G.