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 11: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.
