Complement (group theory)

In mathematics, especially in the area of algebra known as group theory, a complement of a subgroup H in a group G is a subgroup K of G such that

Equivalently, every element of G has a unique expression as a product hk where h ∈ H and k ∈ K. This relation is symmetrical: if K is a complement of H, then H is a complement of K. Neither H nor K need be a normal subgroup of G.

Properties
  • Complements need not exist, and if they do they need not be unique. That is, H could have two distinct complements K1 and K2 in G.
  • If there are several complements of a normal subgroup, then they are necessarily isomorphic to each other and to the quotient group.
  • If K is a complement of H in G then K forms both a left and right transversal of H. That is, the elements of K form a complete set of representatives of both the left and right cosets of H.
  • The Schur–Zassenhaus theorem guarantees the existence of complements of normal Hall subgroups of finite groups.

Relation to other products

Complements generalize both the direct product (where the subgroups H and K are normal in G), and the semidirect product (where one of H or K is normal in G). The product corresponding to a general complement is called the internal Zappa–Szép product. When H and K are nontrivial, complement subgroups factor a group into smaller pieces.

Existence

As previously mentioned, complements need not exist.

A p-complement is a complement to a Sylow p-subgroup. Theorems of Frobenius and Thompson describe when a group has a normal p-complement. Philip Hall characterized finite soluble groups amongst finite groups as those with p-complements for every prime p; these p-complements are used to form what is called a Sylow system.

A Frobenius complement is a special type of complement in a Frobenius group.

A complemented group is one where every subgroup has a complement.

gollark: Notilluminati.
gollark: Not *everything* is illuminati.
gollark: Because he's the Illuminati. 3 sides on a triangle - this is elementary stuff.
gollark: From the Rust compiler.
gollark: int_set_to_infinityec_GFp_simple_group_initCONF_modules_load_fileX509v3_asid_add_id_or_rangeEC_POINT_set_compressed_coordinatestls_process_client_helloSSL_CONF_CTX_finishADMISSIONS_itRSA_OAEP_PARAMS_iti2d_DSAPrivateKeydtls1_buffer_messageOPENSSL_sk_reserveASN1_TIME_to_tmlzma_lzma_decoder_inittls13_export_keying_materialEVP_MD_CTX_test_flagstls_construct_key_updateclock_gettime@@GLIBC_2.2.5lzma_stream_flags_compareX509at_get_attrRSA_PSS_PARAMS_freeASN1_STRING_get0_dataGENERAL_NAME_cmpBN_freepolicy_node_matchSHA384_UpdateBN_mod_expOPENSSL_fork_childEVP_cast5_cbcsigaltstack@@GLIBC_2.2.5tls_parse_ctos_cookieossl_statem_check_finish_initreadv@@GLIBC_2.2.5ssl_undefined_void_functionCRYPTO_gcm128_tagpthread_mutex_unlock@@GLIBC_2.2.5X509_get_default_cert_dirossl_ctype_checkconf_modules_free_inti2d_SCT_LISTASN1_TYPE_getOPENSSL_LH_doall_argDES_ede3_cfb64_encryptrand_pool_entropy_neededtls_validate_all_contextsRC2_cfb64_encryptEVP_bf_ecbtls_parse_ctos_session_ticketEVP_sha1fcntl@@GLIBC_2.2.5ASN1_STRING_set0bn_group_4096OCSP_SINGLERESP_get1_ext_d2isetgroups

See also

References
  • David S. Dummit & Richard M. Foote (2003). Abstract Algebra. Wiley. ISBN 978-0-471-43334-7.
  • I. Martin Isaacs (2008). Finite Group Theory. American Mathematical Society. ISBN 978-0-8218-4344-4.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.