<?xml version="1.0" encoding="utf-8"?>
<!-- generator="FeedCreator 1.7.2-ppt DokuWiki" -->
<?xml-stylesheet href="http://wiki.borovicka.name/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="http://wiki.borovicka.name/feed.php">
        <title>wiki.borovicka.name school:fit:mimpi</title>
        <description></description>
        <link>http://wiki.borovicka.name/</link>
        <image rdf:resource="http://wiki.borovicka.name/lib/tpl/artic/images/favicon.ico" />
       <dc:date>2026-04-30T13:37:18+02:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="http://wiki.borovicka.name/school/fit/mimpi/du2?rev=1529603289&amp;do=diff"/>
                <rdf:li rdf:resource="http://wiki.borovicka.name/school/fit/mimpi/prednaska02?rev=1529603289&amp;do=diff"/>
                <rdf:li rdf:resource="http://wiki.borovicka.name/school/fit/mimpi/vypisky?rev=1529603289&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="http://wiki.borovicka.name/lib/tpl/artic/images/favicon.ico">
        <title>wiki.borovicka.name</title>
        <link>http://wiki.borovicka.name/</link>
        <url>http://wiki.borovicka.name/lib/tpl/artic/images/favicon.ico</url>
    </image>
    <item rdf:about="http://wiki.borovicka.name/school/fit/mimpi/du2?rev=1529603289&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-06-21T19:48:09+02:00</dc:date>
        <title>school:fit:mimpi:du2</title>
        <link>http://wiki.borovicka.name/school/fit/mimpi/du2?rev=1529603289&amp;do=diff</link>
        <description>Du 2 Borovicka, 104, L2

1.

&lt;m&gt;varphi :(Z,+) right (R,+), n varphi = 2n+1&lt;/m&gt; 


Pro homomorfismus plati:
&lt;m&gt;forall a,b in Z: varphi(a +_Z b) = varphi(a) +_R varphi(b)&lt;/m&gt; 

Zde neplati: 

&lt;m&gt;2(a+b)+1 &lt;&gt; 2a+1 + 2b+1&lt;/m&gt; 

&lt;m&gt;2a+2b+1 &lt;&gt; 2a+2b+2&lt;/m&gt;</description>
    </item>
    <item rdf:about="http://wiki.borovicka.name/school/fit/mimpi/prednaska02?rev=1529603289&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-06-21T19:48:09+02:00</dc:date>
        <title>school:fit:mimpi:prednaska02</title>
        <link>http://wiki.borovicka.name/school/fit/mimpi/prednaska02?rev=1529603289&amp;do=diff</link>
        <description>Prednaska 2

V kazde grupe existuje prave jeden neutralni prvek.

V kazde grupe existuje k jednomu prvku prave jeden inverzni prvek.

Veta o soudruznosti inverzniho prvku. (a*)*=a

V libovolne grupe (G,) plati
forall a,b in G (a □ b)* = b*□a* 

Definice grupy:</description>
    </item>
    <item rdf:about="http://wiki.borovicka.name/school/fit/mimpi/vypisky?rev=1529603289&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-06-21T19:48:09+02:00</dc:date>
        <title>school:fit:mimpi:vypisky</title>
        <link>http://wiki.borovicka.name/school/fit/mimpi/vypisky?rev=1529603289&amp;do=diff</link>
        <description>MI-MPI vypisky

Pojmy

Grupoid

	*  uzavreny na operaci

Pologrupa

	*  asociativita &lt;m&gt;a+(b+c) = (a+b)+c&lt;/m&gt;

Monoid

	*  obsahuje neutralni prvek

Grupa

	*  obsahuje inverzni prvek

Abelova grupa

	*  komutativita &lt;m&gt;a•b=b•a&lt;/m&gt;

Grupy

	*  V kazde grupe existuje prave jeden neutralni prvek.</description>
    </item>
</rdf:RDF>
