Search Results for ""

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.

A function with k continuous derivatives is called a C^k function. In order to specify a C^k function on a domain X, the notation C^k(X) is used. The most common C^k space is ...

The socle of a group G is the subgroup generated by its minimal normal subgroups. For example, the symmetric group S_4 has two nontrivial normal subgroups: A_4 and ...

An invariant series of a group G is a normal series I=A_0<|A_1<|...<|A_r=G such that each A_i<|G, where H<|G means that H is a normal subgroup of G.

An algebra with no nontrivial nilpotent ideals. In the 1890s, Cartan, Frobenius, and Molien independently proved that any finite-dimensional semisimple algebra over the real ...