un'operazioni binaria genera un'opbin tra i sottoinsiemi
f:XxY→Z genera
F:P(X)xP(Y)→P(Z)
F(S,T) = f(SxT)
un'operazioni binaria interna genera un'opbin interna tra i sottoinsiemi
f:XxX→X genera
F: P(X)xP(X) → P(X)
F(S,T) = f(SxT)
S+T = {s+t ∈Z: s∈S⊆X, t∈T⊆Y}
S+T = {s+t ∈X: s∈S⊆X, t∈T⊆X}
Laterale di un insieme in un magma
In un magma: a elemento, S sottoinsieme.
aS laterale sinistro {x∈X: x=as, s∈S}
aS = fa(S) il laterale di S e' il suo traslato
la moltiplicazione di a per tutti gli elementi di s
l'insieme dei risultati della moltiplicazione di ognuno degli elementi di S per l'elemento a.
| aH | Ha |
|---|---|
| laterale sinistro | laterale destro |
| classe laterale sinistra | classe laterale destra |
| left coset | right coset |
| class à gauche | class à droite |
Analogo a: Ordine delle parti indotto dall'ordine degli elementi.