show · group.nonsplit_product all knowls · up · search:

If $G$ is a group with normal subgroup $N$ and quotient $Q\cong G/N$, then $G$ is a extension of $Q$ by $N$, denoted $N.Q$. Equivalently there is a short exact sequence $$1 \to N \to G \to Q \to 1.$$

If $G$ has a subgroup $\tilde Q\leq G$ such that $\tilde Q\cap N=\langle e\rangle$, and $\tilde QN=G$, then $\tilde Q\cong Q$ and $G$ is a semidirect product of $N$ and $\tilde Q$. This is equivalent to the existence of a section of the quotient map $G \to Q$. In this case we say $G$ is a split extension of $Q$ by $N$.

If no such subgroup $\tilde Q$ exists, then $G$ is a non-split extension of $Q$ by $N$.

Authors:
Knowl status:
• Review status: beta
• Last edited by Jennifer Paulhus on 2022-07-18 18:25:47
Referred to by:
History: Differences
{"ft_lang_label":"__label__en","ft_lang_prob":0.81329215,"math_prob":0.9998783,"size":963,"snap":"2023-40-2023-50","text_gpt3_token_len":347,"char_repetition_ratio":0.12930135,"word_repetition_ratio":0.01183432,"special_character_ratio":0.3811007,"punctuation_ratio":0.12831858,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99996567,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-12-09T19:20:30Z\",\"WARC-Record-ID\":\"<urn:uuid:cbaa8cea-4a37-474a-9458-2c4e842bcf1c>\",\"Content-Length\":\"25736\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:88211c56-f888-40c7-b044-ef2016ad75ec>\",\"WARC-Concurrent-To\":\"<urn:uuid:a390ffe9-b4dd-4f83-ab09-dd29d8137b64>\",\"WARC-IP-Address\":\"35.241.19.59\",\"WARC-Target-URI\":\"https://www.lmfdb.org/knowledge/show/group.nonsplit_product\",\"WARC-Payload-Digest\":\"sha1:2U42SAGMNBTUTAWYMO4WBIYAMYYIMJUO\",\"WARC-Block-Digest\":\"sha1:QMC5S75NPAHAIQHKQEJFETQ4KHNE3BE6\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-50/CC-MAIN-2023-50_segments_1700679100942.92_warc_CC-MAIN-20231209170619-20231209200619-00468.warc.gz\"}"}