Define Lagrange Theorem?
Answers
Lɑgrɑnge theorem is one of the centrɑl theorems of ɑbstrɑct ɑlgebrɑ. It stɑtes thɑt in group theory, for ɑny finite group sɑy G, the order of subgroup H of group G divides the order of G. The order of the group represents the number of elements. This theorem wɑs given by Joseph-Louis Lɑgrɑnge.
Hope it is helpful for you. !!
ʟᴀɢʀᴀɴɢᴇ ᴛʜᴇᴏʀᴇᴍ ɪs ᴏɴᴇ ᴏғ ᴛʜᴇ ᴄᴇɴᴛʀᴀʟ ᴛʜᴇᴏʀᴇᴍs ᴏғ ᴀʙsᴛʀᴀᴄᴛ ᴀʟɢᴇʙʀᴀ. ɪᴛ sᴛᴀᴛᴇs ᴛʜᴀᴛ ɪɴ ɢʀᴏᴜᴘ ᴛʜᴇᴏʀʏ, ғᴏʀ ᴀɴʏ ғɪɴɪᴛᴇ ɢʀᴏᴜᴘ sᴀʏ ɢ, ᴛʜᴇ ᴏʀᴅᴇʀ ᴏғ sᴜʙɢʀᴏᴜᴘ ʜ ᴏғ ɢʀᴏᴜᴘ ɢ ᴅɪᴠɪᴅᴇs ᴛʜᴇ ᴏʀᴅᴇʀ ᴏғ ɢ. ᴛʜᴇ ᴏʀᴅᴇʀ ᴏғ ᴛʜᴇ ɢʀᴏᴜᴘ ʀᴇᴘʀᴇsᴇɴᴛs ᴛʜᴇ ɴᴜᴍʙᴇʀ ᴏғ ᴇʟᴇᴍᴇɴᴛs. ᴛʜɪs ᴛʜᴇᴏʀᴇᴍ ᴡᴀs ɢɪᴠᴇɴ ʙʏ ᴊᴏsᴇᴘʜ-ʟᴏᴜɪs ʟᴀɢʀᴀɴɢᴇ. ɪɴ ᴛʜɪs ᴀʀᴛɪᴄʟᴇ, ʟᴇᴛ ᴜs ᴅɪsᴄᴜss ᴛʜᴇ sᴛᴀᴛᴇᴍᴇɴᴛ ᴀɴᴅ ᴘʀᴏᴏғ ᴏғ ʟᴀɢʀᴀɴɢᴇ ᴛʜᴇᴏʀᴇᴍ ɪɴ ɢʀᴏᴜᴘ ᴛʜᴇᴏʀʏ, ᴀɴᴅ ᴀʟsᴏ ʟᴇᴛ ᴜs ʜᴀᴠᴇ ᴀ ʟᴏᴏᴋ ᴀᴛ ᴛʜᴇ ᴛʜʀᴇᴇ ʟᴇᴍᴍᴀs ᴜsᴇᴅ ᴛᴏ ᴘʀᴏᴠᴇ ᴛʜɪs ᴛʜᴇᴏʀᴇᴍ ᴡɪᴛʜ ᴛʜᴇ ᴇxᴀᴍᴘʟᴇs. sᴇᴛ ᴛʜᴇᴏʀʏ sᴇᴛs ᴍᴀᴛʜs ғɪɴɪᴛᴇ ᴀɴᴅ ɪɴғɪɴɪᴛᴇ sᴇᴛs sᴜʙsᴇᴛ ᴀɴᴅ sᴜᴘᴇʀsᴇᴛ ʟᴀɢʀᴀɴɢᴇ ᴛʜᴇᴏʀᴇᴍ sᴛᴀᴛᴇᴍᴇɴᴛ ᴀs ᴘᴇʀ ᴛʜᴇ sᴛᴀᴛᴇᴍᴇɴᴛ, ᴛʜᴇ ᴏʀᴅᴇʀ ᴏғ ᴛʜᴇ sᴜʙɢʀᴏᴜᴘ ʜ ᴅɪᴠɪᴅᴇs ᴛʜᴇ ᴏʀᴅᴇʀ ᴏғ ᴛʜᴇ ɢʀᴏᴜᴘ ɢ. ᴛʜɪs ᴄᴀɴ ʙᴇ ʀᴇᴘʀᴇsᴇɴᴛᴇᴅ ᴀs; |ɢ| = |ʜ| ʙᴇғᴏʀᴇ ᴘʀᴏᴠɪɴɢ ᴛʜᴇ ʟᴀɢʀᴀɴɢᴇ ᴛʜᴇᴏʀᴇᴍ, ʟᴇᴛ ᴜs ᴅɪsᴄᴜss ᴛʜᴇ ɪᴍᴘᴏʀᴛᴀɴᴛ ᴛᴇʀᴍɪɴᴏʟᴏɢɪᴇs ᴀɴᴅ ᴛʜʀᴇᴇ ʟᴇᴍᴍᴀs ᴛʜᴀᴛ ʜᴇʟᴘ ᴛᴏ ᴘʀᴏᴠᴇ ᴛʜɪs ᴛʜᴇᴏʀᴇᴍ. ᴡʜᴀᴛ ɪs ᴄᴏsᴇᴛ? ɪɴ ɢʀᴏᴜᴘ ᴛʜᴇᴏʀʏ, ɪғ ɢ ɪs ᴀ ғɪɴɪᴛᴇ ɢʀᴏᴜᴘ, ᴀɴᴅ ʜ ɪs ᴀ sᴜʙɢʀᴏᴜᴘ ᴏғ ɢ, ᴀɴᴅ ɪғ ɢ ɪs ᴀɴ ᴇʟᴇᴍᴇɴᴛ ᴏғ ɢ, ᴛʜᴇɴ; ɢʜ = { ɢʜ: ʜ ᴀɴ ᴇʟᴇᴍᴇɴᴛ ᴏғ ʜ } ɪs ᴛʜᴇ ʟᴇғᴛ ᴄᴏsᴇᴛ ᴏғ ʜ ɪɴ ɢ ᴡɪᴛʜ ʀᴇsᴘᴇᴄᴛ ᴛᴏ ᴛʜᴇ ᴇʟᴇᴍᴇɴᴛ ᴏғ ɢ ᴀɴᴅ ʜɢ = { ʜɢ: ʜ ᴀɴ ᴇʟᴇᴍᴇɴᴛ ᴏғ ʜ } ɪs ᴛʜᴇ ʀɪɢʜᴛ ᴄᴏsᴇᴛ ᴏғ ʜ ɪɴ ɢ ᴡɪᴛʜ ʀᴇsᴘᴇᴄᴛ ᴛᴏ ᴛʜᴇ ᴇʟᴇᴍᴇɴᴛ ᴏғ ɢ. ɴᴏᴡ, ʟᴇᴛ ᴜs ʜᴀᴠᴇ ᴀ ᴅɪsᴄᴜssɪᴏɴ ᴀʙᴏᴜᴛ ᴛʜᴇ ʟᴇᴍᴍᴀs ᴛʜᴀᴛ ʜᴇʟᴘs ᴛᴏ ᴘʀᴏᴠᴇ ᴛʜᴇ ʟᴀɢʀᴀɴɢᴇ ᴛʜᴇᴏʀᴇᴍ. ʟᴇᴍᴍᴀ : ɪғ ɢ ɪs ᴀ ɢʀᴏᴜᴘ ᴡɪᴛʜ sᴜʙɢʀᴏᴜᴘ ʜ, ᴛʜᴇɴ ᴛʜᴇʀᴇ ɪs ᴀ ᴏɴᴇ ᴛᴏ ᴏɴᴇ ᴄᴏʀʀᴇsᴘᴏɴᴅᴇɴᴄᴇ ʙᴇᴛᴡᴇᴇɴ ʜ ᴀɴᴅ ᴀɴʏ ᴄᴏsᴇᴛ ᴏғ ʜ. ʟᴇᴍᴍᴀ : ɪғ ɢ ɪs ᴀ ɢʀᴏᴜᴘ ᴡɪᴛʜ sᴜʙɢʀᴏᴜᴘ ʜ, ᴛʜᴇɴ ᴛʜᴇ ʟᴇғᴛ ᴄᴏsᴇᴛ ʀᴇʟᴀᴛɪᴏɴ, ɢ ∼ ɢ ɪғ ᴀɴᴅ ᴏɴʟʏ ɪғ ɢ ∗ ʜ = ɢ ∗ ʜ ɪs ᴀɴ ᴇǫᴜɪᴠᴀʟᴇɴᴄᴇ ʀᴇʟᴀᴛɪᴏɴ. ʟᴇᴍᴍᴀ : ʟᴇᴛ s ʙᴇ ᴀ sᴇᴛ ᴀɴᴅ ∼ ʙᴇ ᴀɴ ᴇǫᴜɪᴠᴀʟᴇɴᴄᴇ ʀᴇʟᴀᴛɪᴏɴ ᴏɴ s. ɪғ ᴀ ᴀɴᴅ ʙ ᴀʀᴇ ᴛᴡᴏ ᴇǫᴜɪᴠᴀʟᴇɴᴄᴇ ᴄʟᴀssᴇs ᴡɪᴛʜ ᴀ ∩ ʙ = ∅, ᴛʜᴇɴ ᴀ = ʙ.
ʜᴏᴘᴇ ɪᴛ ʜᴇʟᴘs ᴜʜʜ✌️