Modula aritmetiko: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Neniu resumo de redakto
eNeniu resumo de redakto
Linio 12:
ĉar 38 − 14 = 24 kiu estas entjera obligo de 12.
 
Kongrueco estas [[ekvivalentrilato]]. [[Ekvivalentklaso]] de la entjero ''a'' estas signifita per [''a'']<sub>''n''</sub> = { ..., ''a'' &minus; 2''n'', ''a'' &minus; ''n'', ''a'', ''a'' + ''n'', ''a'' + 2''n'', ''a'' + 3''n'', ...}. Ĉi tiu aro de ĉiuj entjeroj kongruaj al ''a'' module ''n'' estas nomita kiel la '''kongrueca klaso''' aŭ '''n-modula restoklaso''' de ''a'' module ''n'', kaj estas ankaŭ signifis per <math>\hat{a}</math>.
 
Se
Linio 19:
:''a''<sub>2</sub> &equiv; ''b''<sub>2</sub> ('''mod''' ''n'')
tiam
:''a''<sub>1</sub> + ''a''<sub>2</sub> &equiv; (''b''<sub>1</sub> + ''b''<sub>2</sub>) ('''mod''' ''n'')
kaj
:''a''<sub>1</sub>''a''<sub>2</sub> &equiv; ''b''<sub>1</sub>''b''<sub>2</sub> ('''mod''' ''n'').