Reduct

In universal algebra and in model theory, a reduct of an algebraic structure is obtained by omitting some of the operations and relations of that structure. The opposite of "reduct" is "expansion".

Definition

Let A be an algebraic structure (in the sense of universal algebra) or a structure in the sense of model theory, organized as a set X together with an indexed family of operations and relations φi on that set, with index set I. Then the reduct of A defined by a subset J of I is the structure consisting of the set X and J-indexed family of operations and relations whose j-th operation or relation for jJ is the j-th operation or relation of A. That is, this reduct is the structure A with the omission of those operations and relations φi for which i is not in J.

A structure A is an expansion of B just when B is a reduct of A. That is, reduct and expansion are mutual converses.

Examples

The monoid (Z, +, 0) of integers under addition is a reduct of the group (Z, +, −, 0) of integers under addition and negation, obtained by omitting negation. By contrast, the monoid (N, +, 0) of natural numbers under addition is not the reduct of any group.

Conversely the group (Z, +, −, 0) is the expansion of the monoid (Z, +, 0), expanding it with the operation of negation.

References

  • Burris, Stanley N.; H. P. Sankappanavar (1981). A Course in Universal Algebra. Springer. ISBN 3-540-90578-2.
  • Hodges, Wilfrid (1993). Model theory. Cambridge University Press. ISBN 0-521-30442-3.

Read other articles:

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Oktober 2022. Mini Cheer☆Bears (みにちあ☆ベアーズ) adalah sebuah grup idola Jepang di bawah kontrak Stardust Promotion yang aktif dari 2009[1] sampai 2014.[2][3] Grup tersebut juga terkadang disebut sebagai MiniCheer (みにちあ...

الإسلام في أوروبا.[1]   <1% (أرمينيا، بيلاروسيا، التشيك، إستونيا، فنلندا، المجر، أيسلندا، لاتفيا، ليتوانيا، مالطا، مولدوفا، موناكو، بولندا، البرتغال، رومانيا، سان مارينو، سلوفاكيا، أندورا)   %1-%2 (أوكرانيا، كرواتيا، أيرلندا)   %2-%4 (لوكسمبورغ، سلوفينيا، إس

Кунашацький район рос. Кунашакский район Герб Прапор Муніципальне утворення:муніципальний район місто Кунашак Країна  Росія Область Челябінська область Номерний знак 74, 174 Офіційна мова російська Населення  - повне 30 034 (2015)  - густота 9,16 Площа  - повна 3 280 км² �...

Untuk maskapai penerbangan dengan nama yang mirip, lihat Ryan Airlines. Ryanair IATA ICAO Kode panggil FR RYR RYANAIR Didirikan28 November 1984Mulai beroperasi8 Juli 1985Pusat operasi Daftar basis AlgheroAlicanteBarcelonaBariBillundBirminghamBolognaBournemouthBremenBrindisiBristolBrussels/CharleroiBudapestCagliariChania [dibuka 1 April 2013]CorkDublin (Headquarters)East MidlandsEdinburghEindhoven [dibuka 1 April 2013]FaroFez [dibuka 1 April 2013]GironaGlasgow-PrestwickGran CanariaHahnKarlsruh...

Martyrium des Hl. Matthäus Michelangelo Merisi da Caravaggio, 1599/1600 Öl auf Leinwand 323 × 343 cm San Luigi dei Francesi, Rom Vorlage:Infobox Gemälde/Wartung/Museum Das Martyrium des Hl. Matthäus ist ein Gemälde Michelangelo Merisi da Caravaggios. Es entstand 1599 in der Stilepoche des Frühbarock als kirchliche Auftragsarbeit und befindet sich bis heute in der Contarelli-Kapelle der Kirche San Luigi dei Francesi in Rom, für die es geschaffen wurde. Es zeigt, w...

ScoresTypeSubsidiary of Imvescor Inc.GenreRestaurantFounded1995; 28 years ago (1995)HeadquartersMontreal, Quebec, CanadaArea servedQuebec, Ontario, and New BrunswickKey peopleFrank Hennessey, CEOProductsChicken, ribs, brochettes, grills, steaks, sandwiches, fajitas, salad barWebsitescores.ca Scores, also known as Scores Rotisserie BBQ, is a chain of restaurants mainly in Quebec but also in Ontario. It was founded in Montreal in 1995. Their specialties are roasted chicken and...

Political Party in the Cook Islands Cook Islands United Party AbbreviationCIUPLeaderTeariki HeatherFoundersTeariki HeatherNandi GlassieFounded24 November 2018 (2018-11-24)Split fromCook Islands PartySloganFaith - Hope - LoveSeats in the Cook Islands Parliament3 / 24Websitecookislandsunitedparty.org.ckPolitics of the Cook IslandsPolitical partiesElections The Cook Islands United Party is a political party in the Cook Islands. The party was founded in October 2018 by former ...

John SnaggeOBEReading the news c. 1944BornJohn Derrick Mordaunt Snagge(1904-05-08)8 May 1904Chelsea, London, EnglandDied25 March 1996(1996-03-25) (aged 91)Slough, Berkshire, EnglandOccupation(s)Commentator and presenterSpouses Eileen Joscelyne ​ ​(m. 1936; died 1980)​ Joan Wilson ​ ​(m. 1982; died 1992)​ John Snagge (r) with Frits Thors during a conference in the Netherlands with Radio O...

Coordenadas: 43° 45' N 11° 10' E Scandicci    Comuna   Localização ScandicciLocalização de Scandicci na Itália Coordenadas 43° 45' N 11° 10' E Região Toscana Província Florença Características geográficas Área total 59,59 km² População total 49 842 hab. Densidade 836,3 hab./km² Outros dados Comunas limítrofes Campi Bisenzio, Florença, Impruneta, Lastra a Signa, Montespertoli, San Casciano in Val di Pesa, Signa Código IST...

5th episode of the 3rd season of The X-Files The ListThe X-Files episodeThe head of a death row prison guard named Fornier, found inside a paint can.Episode no.Season 3Episode 5Directed byChris CarterWritten byChris CarterProduction code3X05Original air dateOctober 20, 1995 (1995-10-20)Running time45 minutesGuest appearances Bokeem Woodbine as Sammon Roque Badja Djola as Napoleon Neech Manley John Toles-Bey as John Speranza Ken Foree as Vincent Parmelly April Grace as Dani...

Village in County Galway, Ireland This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Castleblakeney – news · newspapers · books · scholar · JSTOR (June 2020) (Learn how and when to remove this template message) Castleblakeney Castleblakeney, historically Gallagh (Irish: Gallach Uí Cheallaigh),[1] is a ...

Givenギヴン(Givun)GenreDrama, roman, yaoi[1] MangaPengarangNatsuki KizuPenerbitShinshokanPenerbit bahasa InggrisNA SuBLimeImprintDear+ ComicsMajalahCheri+DemografiJoseiTerbit30 April 2013 (2013-04-30) – sekarangVolume6 (Daftar volume) Drama audioProduserCrown WorksStudioDice EntertainmentTayang perdana25 Februari 2016 (2016-02-25) – sekarangEpisode5 (Daftar episode) Seri animeSutradaraHikaru YamaguchiSkenarioYuniko AyanaMusikMichiru (Score)Centimillimental (Songs)Stud...

Artikel ini bukan mengenai Dicksonia. Dickinsonia Periode Ediakara Akhir, 567–550 jtyl PreЄ Є O S D C P T J K Pg N Cetakan Dickinsonia costata dari AustraliaTaksonomiKerajaanAnimaliaFilumProarticulataKelasDipleurozoaFamiliDickinsoniidaeGenusDickinsonia Sprigg, 1947 Tipe taksonomi†Dickinsonia costataSprigg, 1947 Tata namaSinonim takson Sinonim genus Chondroplon? Wade, 1971[1] Papilionata Sprigg, 1947 Vendomia Keller, 1976[2] Sinonim spesies Dickinsonia brachina Wade,...

Medieval French legendary figure For other uses, see Robert the Devil (disambiguation). Robert commits one of his crimes (left) and is knighted (right); 15th-century illustration from the Chronique de Normandie Robert the Devil (Latin: Robertus Diabolus) is a legend of medieval origin about a Norman knight who discovers he is the son of Satan. His mother, despairing of heaven's aid in order to obtain a son, had asked for help from the devil. Robert's satanic instincts propel him into a violen...

Theory regarding recurring generational cycles in American history Not to be confused with Theory of generations. This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) A major contributor to this article appears to have a close connection with its subject. It may require cleanup to comply with Wikipedia's content policies, particularly neutral point of view. Please discuss further on the talk p...

Der Titel dieses Artikels ist mehrdeutig. Weitere Bedeutungen sind unter 1945 (Begriffsklärung) aufgeführt. Portal Geschichte | Portal Biografien | Aktuelle Ereignisse | Jahreskalender | Tagesartikel ◄ | 19. Jahrhundert | 20. Jahrhundert | 21. Jahrhundert ◄ | 1910er | 1920er | 1930er | 1940er | 1950er | 1960er | 1970er | ► ◄◄ | ◄ | 1941 | 1942 | 1943 | 1944 | 1945 | 1946 | 1947 | 1948 | 1949 | ► | ►► Staatsoberhäupter · Wahlen · ...

Paghimo ni bot Lsjbot. Sphaeronaema camarae Siyentipikinhong Pagklasipikar Kaginharian: Fungi Kabahig: incertae sedis Ka-ulo: Ascomycota Kahutong: incertae sedis Kahanay: incertae sedis Kabanay: incertae sedis Kahenera: 'Sphaeronaema' Espesye: ''Sphaeronaema camarae'' Siyentipikinhong Ngalan Sphaeronaema camaraeM. T. Lucas, 1956 Kaliwatan sa uhong ang Sphaeronaema camarae.[1] sakop sa ka-ulo nga Ascomycota, ug Una ning gihulagway ni Maria Teresa Lucas ni adtong 1956.[2] Ang Sp...

Gastrolobium bilobumHình minh họa từ Curtis's Botanical Magazine (1818).Phân loại khoa họcGiới (regnum)Plantae(không phân hạng)Angiospermae(không phân hạng)Eudicots(không phân hạng)RosidsBộ (ordo)FabalesHọ (familia)FabaceaeChi (genus)GastrolobiumLoài (species)G. bilobumDanh pháp hai phầnGastrolobium bilobumR.Br. Gastrolobium bilobum, là loài cây bản địa Tây Nam Tây Úc. Loài này thuộc họ Fabaceae và có lẽ là loài độc nhất trong chi Ga...

Starship Entertainment Création Mars 2008 Fondateurs Seo Hyun-joo et Kim Shi-dae Siège social Gangnam-gu, Séoul Corée du Sud Direction Lee Jin-sung (CEO),Lee Hoon-hee (CEO) Président Kim Shi-dae (président),Seo Hyun-joo (vice-présidente) Actionnaires Kakao Entertainment (58,2 %),Seo Hyun-joo (18,9 %),Lee Jin-sung (3,4 %),Autres (19,5 %) Activité Industrie musicale : production de musique, gestion des artistes, développement de nouveaux artistes, et publ...

Pfarrkirche St. Leonhard Die Pfarrkirche St. Leonhard ist die römisch-katholische Pfarrkirche in Wohlen im Schweizer Kanton Aargau. Sie befindet sich im Dorfzentrum am höchsten Punkt einer in die Ebene hineinragenden Moräne. Durch ihre exponierte Lage überragt sie viele Gebäude in der Umgebung und ist deshalb ein Wahrzeichen des Ortes. Die Pfarrkirche ist dem Heiligen Leonhard von Limoges geweiht und geht auf das 12. Jahrhundert zurück. 1488 wurde sie neu erbaut, ebenfalls 1532 nach ein...