توسیع گروهی

در ریاضیات، توسیع گروهی الگو:انگلیسی (یا توسیع گروه)، روشی کلی برای توصیف یک گروه بر حسب زیرگروه نرمال و گروه خارج قسمتی به خصوصی است. اگر Q و N دو گروه باشند، آنگاه G توسیعی از Q توسط N است اگر وجود داشته باشد دنباله دقیقی به صورت زیر:

$1\to N\stackrel{\iota }{\to }G\stackrel{\pi }{\to }Q\to 1.$

اگر G توسیعی از Q توسط N باشد، آنگاه G گروه و $\iota (N)$ زیرگروه نرمالی از G خواهد بود به گونه ای که گروه خارج قسمتی $G/\iota (N)$ یک ریخت با گروه Q است. توسیعات گروهی در بستر مسئله توسیع ظهور پیدا می‌کند که در آن گروه‌های Q و N معلوم اند و خواص G را باید بدین طریق یافت. دقت شود که عبارت «G توسیعی از N توسط Q است» نیز توسط برخی مورد استفاده واقع شده‌است.

از آنجا که هر گروه متناهی چون G دارای زیرگروه نرمال ماکسیمالی چون N است، و ازین رو گروه خارج قسمتی $G/N$ نیز ساده خواهد بود. به همین ترتیب می‌توان برای ساخت تمام گروه‌های متناهی اقدام نمود. همین نکته انگیزشی در جهت تکمیل رده‌بندی گروه‌های ساده متناهی بوده‌است.

توسیع گروهی را یک توسیع مرکزی نامند اگر زیرگروه N در مرکز گروه G قرار داشته باشد.

ارجاعات

• الگو:یادکرد-ویکی

منابع

• الگو:Citation
• R.L. Taylor, Covering groups of non connected topological groups, Proceedings of the American Mathematical Society, vol. 5 (1954), 753–768.
• R. Brown and O. Mucuk, Covering groups of non-connected topological groups revisited, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 115 (1994), 97–110.