|
Grün's Lemma
In mathematics, more specifically in group theory, a Group (mathematics), group is said to be perfect if it equals its own commutator subgroup, or equivalently, if the group has no trivial group, non-trivial abelian group, abelian quotient group, quotients (equivalently, its abelianization, which is the universal abelian quotient, is trivial). In symbols, a perfect group is one such that ''G''(1) = ''G'' (the commutator subgroup equals the group), or equivalently one such that ''G''ab = (its abelianization is trivial). Examples The smallest (non-trivial) perfect group is the alternating group ''A''5. More generally, any non-abelian group, non-abelian simple group is perfect since the commutator subgroup is a normal subgroup with abelian quotient. Conversely, a perfect group need not be simple; for example, the special linear group over the field (mathematics), field with 5 elements, SL(2,5) (or the binary icosahedral group, which is group isomorphism, isomorphic to it) is perfect ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
