Prosolvable group
   HOME

TheInfoList



Click Here for Items Related To - Prosolvable group
OR:
Prosolvable group on:   [Wikipedia]   [Google]   [Amazon]

In mathematics, more precisely in
algebra Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics. Elementary ...
, a prosolvable group (less common: prosoluble group) is a
group A group is a number of persons or things that are located, gathered, or classed together. Groups of people * Cultural group, a group whose members share the same cultural identity * Ethnic group, a group whose members share the same ethnic ide ...
that is isomorphic to the
inverse limit In mathematics, the inverse limit (also called the projective limit) is a construction that allows one to "glue together" several related objects, the precise gluing process being specified by morphisms between the objects. Thus, inverse limits can ...
of an inverse system of
solvable group In mathematics, more specifically in the field of group theory, a solvable group or soluble group is a group that can be constructed from abelian groups using extensions. Equivalently, a solvable group is a group whose derived series terminate ...
s. Equivalently, a group is called prosolvable, if, viewed as a
topological group In mathematics, topological groups are logically the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two st ...
, every
open neighborhood In topology and related areas of mathematics, a neighbourhood (or neighborhood) is one of the basic concepts in a topological space. It is closely related to the concepts of open set and interior. Intuitively speaking, a neighbourhood of a p ...
of the identity contains a normal subgroup whose corresponding quotient group is a solvable group.


Examples

* Let ''p'' be a
prime A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
, and denote the
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
of
p-adic numbers In mathematics, the -adic number system for any prime number  extends the ordinary arithmetic of the rational numbers in a different way from the extension of the rational number system to the real and complex number systems. The extensio ...
, as usual, by \mathbf_p. Then the
Galois group In mathematics, in the area of abstract algebra known as Galois theory, the Galois group of a certain type of field extension is a specific group associated with the field extension. The study of field extensions and their relationship to the po ...
\text(\overline_p/\mathbf_p), where \overline_p denotes the
algebraic closure In mathematics, particularly abstract algebra, an algebraic closure of a field ''K'' is an algebraic extension of ''K'' that is algebraically closed. It is one of many closures in mathematics. Using Zorn's lemmaMcCarthy (1991) p.21Kaplansky ( ...
of \mathbf_p, is prosolvable. This follows from the fact that, for any finite
Galois extension In mathematics, a Galois extension is an algebraic field extension ''E''/''F'' that is normal and separable; or equivalently, ''E''/''F'' is algebraic, and the field fixed by the automorphism group Aut(''E''/''F'') is precisely the base field ' ...
L of \mathbf_p, the Galois group \text(L/\mathbf_p) can be written as semidirect product \text(L/\mathbf_p)=(R \rtimes Q) \rtimes P, with P cyclic of order f for some f\in\mathbf, Q
cyclic Cycle, cycles, or cyclic may refer to: Anthropology and social sciences * Cyclic history, a theory of history * Cyclical theory, a theory of American political history associated with Arthur Schlesinger, Sr. * Social cycle, various cycles in s ...
of order dividing p^f-1, and R of p-power order. Therefore, \text(L/\mathbf_p) is solvable.


See also

*
Galois theory In mathematics, Galois theory, originally introduced by Évariste Galois, provides a connection between field theory and group theory. This connection, the fundamental theorem of Galois theory, allows reducing certain problems in field theory to ...


References

{{reflist Mathematical structures Algebra Number theory Topology Properties of groups Topological groups