Order of a group: Difference between revisions
No edit summary |
|||
| Line 4: | Line 4: | ||
<section begin="main"/> | <section begin="main"/> | ||
==Definition== | ==Definition== | ||
{{quick phrase|size of a group, cardinality of a group, size of the underlying set, number of elements}} | |||
===Symbol-free definition=== | ===Symbol-free definition=== | ||
| Line 13: | Line 13: | ||
The '''order''' of a [[group]] <math>G</math> is the cardinality of <math>G</math> as a set. it is denoted as <math>\left| G \right|</math>. | The '''order''' of a [[group]] <math>G</math> is the cardinality of <math>G</math> as a set. it is denoted as <math>\left| G \right|</math>. | ||
<section end="main"/> | <section end="main"/> | ||
==Facts== | ==Facts== | ||
Revision as of 15:45, 1 July 2008
This article is about a basic definition in group theory. The article text may, however, contain advanced material.
VIEW: Definitions built on this | Facts about this: (facts closely related to Order of a group, all facts related to Order of a group) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |[SHOW MORE]
This article defines an arithmetic function on groups
View other such arithmetic functions
Definition
QUICK PHRASES: size of a group, cardinality of a group, size of the underlying set, number of elements
Symbol-free definition
The order of a group is the cardinality of its underlying set.
Definition with symbols
The order of a group is the cardinality of as a set. it is denoted as .
Facts
Subgroup
By Lagrange's theorem, the order of any subgroup divides the order of the group.
The converse is not always true, that is, there may exist numbers dividing the order of the group with no subgroups of those orders.
In particular, this also means that the order of an element in the group divides the order of the group. Hence, the exponent of a group divides its order.
Quotient
The order of any quotient of a group also divides the order of the group.
Computation
Template:GAP command for function
The GAP command to compute the order of a group is:
Order (group);
where
group</math> may either be an on-the-spot definition of a group or a name for something defined earlier.References
Textbook references
* Algebra by Michael Artin, ISBN 0130047635, 13-digit ISBN 978-0130047632, More info, Page 47, Point (2.10)