Subdirectly irreducible group
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 standard (though not very rudimentary) definition in group theory. The article text may, however, contain more than just the basic definition
VIEW: Definitions built on this | Facts about this: (facts closely related to Subdirectly irreducible group, all facts related to Subdirectly irreducible 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 complete list of semi-basic definitions on this wiki
Definition
Symbol-free definition
A group is said to be subdirectly irreducible if:
- Any expression of the group as subdirect product has that the projection map to at least one of the factors is an isomorphism
- The trivial subgroup of the group cannot be expressed as an intersection of two nontrivial normal subgroups