Difference between revisions of "Centrally indecomposable group"

From Groupprops
Jump to: navigation, search
(Started the page)
 
(Definition)
Line 16: Line 16:
 
===Definition with symbols===
 
===Definition with symbols===
  
{{fillin}}
+
A [[group]] <math>G</math> is said to be a centrally indecomposable group if we cannot write:
  
===In terms of the simple group operator===
+
<math>G = H * K</math>
 +
 
 +
viz, a [[central product]] for nontrivial groups <math>H</math> and <math>K</math>.
 +
 
 +
==Formalisms==
 +
 
 +
{{obtainedbyapplyingthe|simple group operator|central factor}}
  
 
The [[group property]] of being centrally indecomposable is obtained by applying the [[simple group operator]] to the [[subgroup property]] of being a [[central factor]].
 
The [[group property]] of being centrally indecomposable is obtained by applying the [[simple group operator]] to the [[subgroup property]] of being a [[central factor]].

Revision as of 14:13, 25 May 2007

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions
This is a variation of simplicity|Find other variations of simplicity | Read a survey article on varying simplicity


This article is about a definition in group theory that is standard among the group theory community (or sub-community that dabbles in such things) but is not very basic or common for people outside.
VIEW: Definitions built on this | Facts about this: (facts closely related to Centrally indecomposable group, all facts related to Centrally indecomposable group) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a list of other standard non-basic definitions

Definition

Symbol-free definition

A group is said to be centrally indecomposable if it satisfies the following equivalent conditions:

  • It has no proper nontrivial central factor
  • It cannot be expressed as the central product of two proper subgroups, or equivalently, for any proper subgroup, the product with its centralizer is again proper.

Definition with symbols

A group G is said to be a centrally indecomposable group if we cannot write:

G = H * K

viz, a central product for nontrivial groups H and K.

Formalisms

In terms of the simple group operator

This property is obtained by applying the simple group operator to the property: central factor
View other properties obtained by applying the simple group operator

The group property of being centrally indecomposable is obtained by applying the simple group operator to the subgroup property of being a central factor.

Relation with other properties

Stronger properties

Weaker properties