مرتبة في نظرية الزمر تعني إما مرتبة الزمرة نفسها، أي عدد عناصر المجموعة المؤلفة للزمرة، أو مرتبة عنصر a في الزمرة، وهي أصغر عدد صحيح موجب m بحيث a^m = e حيث e العنصر المحايد؛ ومبرهنة لاغرانج تقر أن مرتبة أي زمرة جزئية H من زمرة منتهية G تقسم مرتبة G، وبالتالي |a| يقسم |G|.