Marc Bavant: mod signon por operacio T; ~o MAT: +ref al algebra struk…

…turo
revuloj · Oct 21, 2002 · b83c836 · b83c836
1 parent 1cad025
commit b83c836
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 14 deletions.
diff --git a/revo/grup.xml b/revo/grup.xml
@@ -64,8 +64,8 @@
     <uzo tip="fak">MAT</uzo>
     <fnt><bib>MatTerm</bib><lok>p. 14</lok></fnt>
     <dif>
-      Tia <ref tip="super" cel="magm.0o.MAT">magmo</ref> (<em>E</em>,T),
-      ke &gcirc;ia <ref cel="operac.0o.MAT">operacio</ref> T estas
+      Tia <ref tip="super" cel="magm.0o.MAT">magmo</ref> (<em>E</em>,&#8224;),
+      ke &gcirc;ia <ref cel="operac.0o.MAT">operacio</ref> &#8224; estas
       <ref cel="asoci.0eca.MAT">asocieca</ref>,
       ke ekzistas <ref cel="neuxtr.0aelemento">ne&ubreve;tra elemento</ref>
       en <em>E</em>, kaj ke por &ccirc;iu elemento en <em>E</em> ekzistas
@@ -95,6 +95,7 @@
         <ref cel="neuxtr.0igebla.MAT">ne&ubreve;trigeblaj</ref>.
       </ekz>
     </dif>
+    <ref tip="super" cel="strukt.algebra0o">algebra strukturo;</ref>
     <refgrp tip="sub">
       Specifaj grupoj:
       <ref cel="grup.0o_de_nmodulaj_restoklasoj"><tld/>o de n-modulaj restoklasoj</ref>,
@@ -211,11 +212,11 @@
   <fnt><bib>MatVort</bib></fnt>
   <snc mrk="grup.sub0o.MAT">
     <dif>
-      <klr>(de <tld/>o (<em>E</em>,T))</klr>
+      <klr>(de <tld/>o (<em>E</em>,&#8224;))</klr>
       Tia <ref tip="super" cel="grup.0o.MAT"><tld/>o</ref>
-      (<em>A</em>,T<sub>A</sub>), ke
+      (<em>A</em>,&#8224;<sub>A</sub>), ke
       <em>A</em>&#8834;<em>E</em> kaj
-      xT<sub>A</sub>y=xTy
+      x&#8224;<sub>A</sub>y=x&#8224;y
       por &ccirc;iuj x, y&#8712;<em>A</em>:
       <ekz>
         nemalplena subaro estas sub<tld/>o nur, se al &gcirc;i apartenas
@@ -431,6 +432,8 @@
 </art>
 <!--
 $Log$
+Revision 1.27  2002/09/14 18:53:01  revo
+Marc Bavant: alterna, simetria ~o: +ekz
 Revision 1.26  2002/09/08 18:05:36  revo
 Marc Bavant: +drv kvocienta ~o, ~o de n-modulaj restoj; -drv arhximeda ~o; ~o MAT: +refgrp; snc MAT: +trd pl
 Revision 1.25 2002/07/09 17:34:29 revo
@@ -448,7 +451,5 @@ Marc Bavant: ~o MAT: mod fnt; galeza ~o: kor trd de; +drv simetria ~o, alterna ~
 Revision 1.19 2002/01/29 17:32:35 revo
 Paul Peeraerts: ald trd nl
 Revision 1.18 2002/01/13 17:31:15 revo
-Marc Bavant: +drv galeza ~o; sub~o: +fnt, +klr en dif
-Revision 1.17 2002/01/07 17:31:38 revo
 -->
 </vortaro>
diff --git a/revo/korp.xml b/revo/korp.xml
@@ -85,16 +85,17 @@
     <uzo tip="fak">MAT</uzo>
     <fnt><bib>EKV</bib><lok>&para;233</lok></fnt>
     <dif>
-      Tia <ref cel="unu.0hava">unuhava</ref>
-      <ref tip="super" cel="ring.0o.MAT">ringo</ref>
-      (<em>E</em>,T,&#xd7;), ke krom la
-      <ref cel="neuxtr.0aelemento">ne&ubreve;tra elemento</ref> de T &ccirc;iuj
-      aliaj elementoj estas
+      Tia <ref cel="unu.0hava">unuhava</ref> 
+      <ref tip="super" cel="ring.0o.MAT">ringo</ref> 
+      (<em>E</em>,&#8224;,&#xd7;), ke krom la
+      <ref cel="neuxtr.0aelemento">ne&ubreve;tra elemento</ref> de &#8224; 
+      &ccirc;iuj aliaj elementoj estas
       <ref cel="neuxtr.0igebla.MAT">ne&ubreve;trigeblaj</ref> rilate al &#xd7;:
       <ekz>
         la <tld/>o de racionalaj nombroj.
       </ekz>
     </dif>
+    <ref tip="super" cel="strukt.algebra0o">algebra strukturo.</ref>
     <rim>
       La&ubreve; kelkaj la komuteco de operacio &#xd7; estas deviga en la
       difino de <tld/>o. Aliaj preferas nomi <ctl>kampoj</ctl>
@@ -373,6 +374,8 @@
 </art>
 <!--
 $Log$
+Revision 1.24  2002/09/14 18:53:06  revo
+Marc Bavant: galeza ~o: kor ref cel al ~o
 Revision 1.23  2002/09/11 17:32:58  revo
 Marc Bavant: galeza super~o: kor ref cel al super~o (denove!)
 Revision 1.22  2002/09/09 19:52:03  revo
@@ -390,7 +393,5 @@ Marc Bavant: ~o (geom.): mod fnt, +trd
 Revision 1.16 2002/01/13 17:31:16 revo
 Marc Bavant: ~o MAT: +fnt; +drv super~o, galeza ~o, radika ~o; sub~o: mod mrk, mod dif
 Revision 1.15 2002/01/11 19:09:38 revo
-fontindiko PrV per programo de Jerome
-Revision 1.14 2001/11/04 19:18:14 revo
 -->
 </vortaro>