Difference between revisions of "Order (group theory)"
(new page) |
Mathcrazymj (talk | contribs) |
||
Line 1: | Line 1: | ||
In group theory, the term '''order''' has different meanings in different contexts. | In group theory, the term '''order''' has different meanings in different contexts. | ||
− | The order of a group <math>G</math>, sometimes denoted <math>\ord | + | The order of a group <math>G</math>, sometimes denoted <math>\ord{G}</math>, is the [[cardinality]] of its underlying [[set]]. |
The order of an element <math>x</math> of <math>G</math>, <math>\text{ord}(x)</math>, is the order of the [[subset]] generated by <math>x</math>. If <math>\text{ord}(x)</math> is finite, then it is also the least positive integer <math>n</math> for which <math>x^n=e</math>. | The order of an element <math>x</math> of <math>G</math>, <math>\text{ord}(x)</math>, is the order of the [[subset]] generated by <math>x</math>. If <math>\text{ord}(x)</math> is finite, then it is also the least positive integer <math>n</math> for which <math>x^n=e</math>. |
Revision as of 12:43, 27 October 2016
In group theory, the term order has different meanings in different contexts.
The order of a group , sometimes denoted $\ord{G}$ (Error compiling LaTeX. Unknown error_msg), is the cardinality of its underlying set.
The order of an element of
,
, is the order of the subset generated by
. If
is finite, then it is also the least positive integer
for which
.
In number theory, for relatively prime to
, the order of
(mod
) usually means the order of
in the multiplicative group of non-zero divisors in
.
By Lagrange's Theorem, , when
is finite. In a number theoretic context, this proves Fermat's Little Theorem and Euler's generalization.
This article is a stub. Help us out by expanding it.