{"id":362,"date":"2015-06-16T16:41:19","date_gmt":"2015-06-16T14:41:19","guid":{"rendered":"http:\/\/duch.mimuw.edu.pl\/~bojan\/podpunkt\/?page_id=362"},"modified":"2017-10-31T13:06:49","modified_gmt":"2017-10-31T12:06:49","slug":"generating-operations","status":"publish","type":"page","link":"https:\/\/www.mimuw.edu.pl\/~bojan\/20142015-2\/alg\/all-countable-chains-a-new-proof\/generating-operations","title":{"rendered":"Genarating operations"},"content":{"rendered":"

Let \"\alg\" be a \"\cchain\"-algebra, and let \"B\" be a subset of its universe. The subset of \"\alg\" generated by \"B\" is defined to be the least subset of the universe which contains \"B\" and is closed under the multiplication operation of the algebra. By associativity, this subset is the same thing as the image of the multiplication operation over the set \"\cchain B\". The following theorem shows that the elements generated by \"B\" can be generated by using only the basic operations that were already used in the characterisation theorem from the parent\u00a0page<\/a>.<\/p>\n

Theorem. <\/strong>Let \"\alg\" be a \"\cchain\"-algebra with finite universe. For every subset \"B\" of the universe, the subset generated by \"B\" is the least subset that contains \"B\" and is closed under binary product, shuffle, as well as the powers \"a^\omega\" and \u00a0\"a^{-\omega}\".<\/p>\n

The proof of this theorem is similar to the one in the parent page.<\/p>\n","protected":false},"excerpt":{"rendered":"

Let be a -algebra, and let be a subset of its universe. The subset of generated by is defined to be the least subset of the universe which contains and is closed under the multiplication operation of the algebra. By associativity, this subset is the same thing as the image of the multiplication operation over […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":1062,"menu_order":0,"comment_status":"open","ping_status":"closed","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-362","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/362"}],"collection":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/comments?post=362"}],"version-history":[{"count":5,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/362\/revisions"}],"predecessor-version":[{"id":1411,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/362\/revisions\/1411"}],"up":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1062"}],"wp:attachment":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/media?parent=362"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}