2024-09-29

785: Simple Group

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of simple group

Topics


About: group

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of simple group

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
\(*G\): \(\in \{\text{ the groups }\}\)
//

Conditions:
\(\{\text{ the normal subgroups of } G\} = \{\{1\}, G\}\)
//


2: Natural Language Description


Any group, \(G\), whose normal subgroups are \(\{1\}\) and \(G\)


References


<The previous article in this series | The table of contents of this series | The next article in this series>