Order of extension group is product of order of normal subgroup and quotient group

From Groupprops
Revision as of 17:26, 30 October 2011 by Vipul (talk | contribs) (Created page with "{{arithmetic function group operation relation| arithmetic function = order of a group| group operation = group extension| numerical operation = product}} ==Statement== Supose ...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article gives an expression for the value of the arithmetic function order of a group of a group obtained by applying a group operation group extension in terms of the values for the input groups. It says that the value for the group obtained after performing the operation is the product of the values for the input groups.
View facts about order of a group: (facts closely related to order of a group, all facts related to order of a group)
View facts about group extension: (facts closely related to group extension, all facts related to group extension)
View facts about product: (facts closely related to product, all facts related to product)


Supose G is a group, N is a normal subgroup, and G/N is the corresponding quotient group. Then, we have the following relation between the orders of G,N,G/N:

|G| = |N||G/N|

In other words, the order of the extension group for a group extension is the product of the orders of the normal subgroup and the quotient group.

Related facts

Facts used

  1. Lagrange's theorem


The proof follows directly from Fact (1).