{"id":"https://openalex.org/W4388198683","doi":"https://doi.org/10.2478/forma-2023-0010","title":"Internal Direct Products and the Universal Property of Direct Product Groups","display_name":"Internal Direct Products and the Universal Property of Direct Product Groups","publication_year":2023,"publication_date":"2023-09-01","ids":{"openalex":"https://openalex.org/W4388198683","doi":"https://doi.org/10.2478/forma-2023-0010"},"language":"en","primary_location":{"id":"doi:10.2478/forma-2023-0010","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2023-0010","pdf_url":"https://sciendo.com/pdf/10.2478/forma-2023-0010","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://sciendo.com/pdf/10.2478/forma-2023-0010","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025105204","display_name":"Alexander M. Nelson","orcid":"https://orcid.org/0000-0002-3292-4035"},"institutions":[{"id":"https://openalex.org/I4210096972","display_name":"Los Angeles Medical Center","ror":"https://ror.org/00spys463","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I1343052199","https://openalex.org/I4210096972"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alexander M. Nelson","raw_affiliation_strings":["Los Angeles, California , United States of America"],"affiliations":[{"raw_affiliation_string":"Los Angeles, California , United States of America","institution_ids":["https://openalex.org/I4210096972"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5025105204"],"corresponding_institution_ids":["https://openalex.org/I4210096972"],"apc_list":null,"apc_paid":null,"fwci":2.0596,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.86535249,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"31","issue":"1","first_page":"101","last_page":"120"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10849","display_name":"Finite Group Theory Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10849","display_name":"Finite Group Theory Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10304","display_name":"Geometric and Algebraic Topology","score":0.9909999966621399,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9887999892234802,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.733970582485199},{"id":"https://openalex.org/keywords/commutator-subgroup","display_name":"Commutator subgroup","score":0.7181085348129272},{"id":"https://openalex.org/keywords/direct-product","display_name":"Direct product","score":0.5851325988769531},{"id":"https://openalex.org/keywords/commutator","display_name":"Commutator","score":0.5841134190559387},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5829696655273438},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.5165857076644897},{"id":"https://openalex.org/keywords/semidirect-product","display_name":"Semidirect product","score":0.4856399595737457},{"id":"https://openalex.org/keywords/wreath-product","display_name":"Wreath product","score":0.4399324953556061},{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.43895310163497925},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.41204118728637695},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3921170234680176},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.34828853607177734},{"id":"https://openalex.org/keywords/normal-subgroup","display_name":"Normal subgroup","score":0.29972177743911743},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.06448251008987427},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.06365376710891724}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.733970582485199},{"id":"https://openalex.org/C140865510","wikidata":"https://www.wikidata.org/wiki/Q522216","display_name":"Commutator subgroup","level":4,"score":0.7181085348129272},{"id":"https://openalex.org/C58193220","wikidata":"https://www.wikidata.org/wiki/Q1778193","display_name":"Direct product","level":2,"score":0.5851325988769531},{"id":"https://openalex.org/C145620117","wikidata":"https://www.wikidata.org/wiki/Q2989763","display_name":"Commutator","level":4,"score":0.5841134190559387},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5829696655273438},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.5165857076644897},{"id":"https://openalex.org/C75066664","wikidata":"https://www.wikidata.org/wiki/Q291126","display_name":"Semidirect product","level":3,"score":0.4856399595737457},{"id":"https://openalex.org/C95635736","wikidata":"https://www.wikidata.org/wiki/Q1786640","display_name":"Wreath product","level":3,"score":0.4399324953556061},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.43895310163497925},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.41204118728637695},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3921170234680176},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.34828853607177734},{"id":"https://openalex.org/C105515060","wikidata":"https://www.wikidata.org/wiki/Q743179","display_name":"Normal subgroup","level":3,"score":0.29972177743911743},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.06448251008987427},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.06365376710891724},{"id":"https://openalex.org/C73648015","wikidata":"https://www.wikidata.org/wiki/Q6543817","display_name":"Lie conformal algebra","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2478/forma-2023-0010","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2023-0010","pdf_url":"https://sciendo.com/pdf/10.2478/forma-2023-0010","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:repozytorium.uwb.edu.pl:11320/15427","is_oa":true,"landing_page_url":"http://hdl.handle.net/11320/15427","pdf_url":"https://repozytorium.uwb.edu.pl/jspui/bitstream/11320/15427/1/10.2478_forma-2023-0010.pdf","source":{"id":"https://openalex.org/S4306400933","display_name":"The Repository of University in Bialystok (University in Bialystok)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210094198","host_organization_name":"University Clinical Hospital In Bialystok","host_organization_lineage":["https://openalex.org/I4210094198"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.2478/forma-2023-0010","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2023-0010","pdf_url":"https://sciendo.com/pdf/10.2478/forma-2023-0010","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4388198683.pdf"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W936422256","https://openalex.org/W1127721947","https://openalex.org/W1501381924","https://openalex.org/W2295728669","https://openalex.org/W2526342011","https://openalex.org/W4239144142","https://openalex.org/W4254660365","https://openalex.org/W4312925067"],"related_works":["https://openalex.org/W2359887815","https://openalex.org/W2382795630","https://openalex.org/W2064983515","https://openalex.org/W2376197622","https://openalex.org/W2362902062","https://openalex.org/W2036936245","https://openalex.org/W1986807064","https://openalex.org/W2950445151","https://openalex.org/W4300672424","https://openalex.org/W3045724912"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"is":[2,135,158,166,176,194,258,266,323],"a":[3,18,57,80,91,132,145,148,195,209,259,267,317,330],"\u201cquality":[4],"of":[5,23,31,41,59,67,79,90,96,106,121,125,131,138,147,155,161,173,179,183,191,197,200,217,231,240,277,300,312,319,329,332],"life\u201d":[6],"article":[7,21],"concerning":[8,212],"product":[9,92,120,133,137,146,157,160,185,193,199,220,232,257,265,315,328],"groups,":[10,126,151,221],"using":[11],"the":[12,29,32,35,39,42,71,76,87,103,119,129,136,152,156,159,170,177,180,184,188,192,198,213,238,254,262,275,278,297,310,326],"Mizar":[13,251],"system":[14],"[2],":[15],"[4].":[16],"Like":[17],"Sonata,":[19],"this":[20,165,205],"consists":[22],"three":[24],"movements.":[25],"The":[26,99,234],"first":[27,72],"act,":[28],"slowest":[30],"three,":[33],"builds":[34],"infrastructure":[36],"necessary":[37],"for":[38,118,144],"rest":[40],"article.":[43],"We":[44,69,203,308],"prove":[45,128,143],"group":[46,93,134],"homomorphisms":[47],"map":[48],"arbitrary":[49,53,123],"finite":[50,54,149],"products":[51,107],"to":[52,316,325],"products,":[55],"introduce":[56],"notion":[58,239,311],"\u201cgroup":[60],"yielding\u201d":[61],"families,":[62],"as":[63,65,111,222,227,229],"well":[64,228],"families":[66],"homomorphisms.":[68],"close":[70],"act":[73,101,206,236],"with":[74,250],"defining":[75],"inclusion":[77],"morphism":[78,89],"subgroup":[81,154,178,182,190,196],"into":[82],"its":[83,97,109],"parent":[84],"group,":[85,186],"and":[86,108,187,215,285,290,304],"projection":[88],"onto":[94],"one":[95],"factors.":[98],"second":[100],"introduces":[102,237],"universal":[104],"property":[105],"consequences":[110],"found":[112,223],"in,":[113],"e.g.,":[114],"Kurosh":[115],"[7].":[116],"Specifically,":[117],"an":[122,241,313],"family":[124,150,331],"we":[127,142,273],"center":[130],"centers.":[139],"More":[140],"exciting,":[141],"commutator":[153,162,174,181,189],"subgroups,":[163,320],"but":[164,261],"because":[167],"in":[168,224,296],"general:":[169],"direct":[171,243,256,264],"sum":[172],"subgroups":[175,333],"derived":[201],"subgroups.":[202],"conclude":[204],"by":[207,283],"proving":[208,321],"few":[210],"theorems":[211],"image":[214],"kernel":[216],"morphisms":[218],"between":[219],"Hungerford":[225],"[5],":[226],"quotients":[230],"groups.":[233],"third":[235],"internal":[242,255,314,327],"product.":[244],"Isaacs":[245],"[6]":[246],"points":[247],"out":[248],"(paraphrasing":[249],"terminology)":[252],"that":[253],"predicate":[260],"external":[263],"[Mizar]":[268],"functor.":[269],"To":[270],"our":[271],"delight,":[272],"find":[274],"bulk":[276],"\u201crecognition":[279],"theorem\u201d":[280],"(as":[281],"stated":[282],"Dummit":[284],"Foote":[286],"[3],":[287],"Aschbacher":[288],"[1],":[289],"Robinson":[291],"[11])":[292],"are":[293],"already":[294],"formalized":[295],"heroic":[298],"work":[299],"Nakasho,":[301],"Okazaki,":[302],"Yamazaki,":[303],"Shimada":[305],"[9],":[306],"[8].":[307],"generalize":[309],"set":[318],"it":[322],"equivalent":[324],"[10].":[334]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}