Skip to content

Commit

Permalink
Wolfram Diestel: formuloj per am
Browse files Browse the repository at this point in the history
  • Loading branch information
revo committed Feb 14, 2020
1 parent c76494e commit 6da4082
Showing 1 changed file with 9 additions and 10 deletions.
19 changes: 9 additions & 10 deletions revo/grup.xml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<!DOCTYPE vortaro SYSTEM "../dtd/vokoxml.dtd">

<vortaro>
<art mrk="$Id: grup.xml,v 1.68 2020/02/13 16:10:15 revo Exp $">
<art mrk="$Id: grup.xml,v 1.69 2020/02/14 19:10:18 revo Exp $">
<kap>
<ofc>*</ofc>
<rad>grup</rad>/o
Expand Down Expand Up @@ -1108,14 +1108,13 @@
<ref cel="klas.nmodularesto0o">n-modulaj restoklasoj</ref>,
provizita
per la adicio
<frm am="(p+n bb Z)+(q+n bb Z) =
(p+q)+n bb Z">(p+n<g>Z</g>)+(q+n<g>Z</g>) =
(p+q)+n<g>Z</g></frm>:
<frm am="(p+n ZZ)+(q+n ZZ) = (p+q)+n ZZ"
>(p+n<g>Z</g>)+(q+n<g>Z</g>) = (p+q)+n<g>Z</g></frm>:
<ekz>
la <tld/>on de <frm am="n">n</frm>-modulaj restoklasoj oni
signas per
<frm am="bb Z_n"><g>Z</g><sub>n</sub></frm> a&ubreve;
<frm am="bb Z / (n bb Z)"><g>Z</g>/n<g>Z</g></frm>.
<frm am="ZZ_n"><g>Z</g><sub>n</sub></frm> a&ubreve;
<frm am="ZZ / (n ZZ)"><g>Z</g>/n<g>Z</g></frm>.
</ekz>
</dif>
<ref tip="vid" cel="cikl.0a.grupo">cikla.</ref>
Expand Down Expand Up @@ -1325,7 +1324,10 @@
</art>
<!--
$Log: grup.xml,v $
versio 1.68 2020/02/13 16:10:15
versio 1.69 2020/02/14 19:10:18
Wolfram Diestel: formuloj per am
Revision 1.68 2020/02/13 15:10:14 revo
Wolfram Diestel: formulo per atributo am
Revision 1.67 2020/02/11 20:10:24 revo
Expand All @@ -1343,8 +1345,5 @@ interlokita traduko
Revision 1.63 2015/07/04 08:37:35 revo
aldono de trd cs per skripto de M. von Laer
Revision 1.62 2015/06/29 16:29:39 revo
aldono de trd sk per skripto de M. von Laer
-->
</vortaro>

0 comments on commit 6da4082

Please sign in to comment.