Идемпотентное полукольцо

Идемпотентное полукольцо - это полукольцо, которое также является идемпотентным, т.е. добавление значения к самому себе приводит к тому же значению.

Для полукольца с единицей должны соблюдаться все законы полукольца:

Замыкание сложения (closure): для \(\forall x, y \in S\) выполняется \(x + y \in S\).
Ассоциативность сложения (associativity): для \(\forall x, y, z \in S\) выполняется \((x + y) + z = x + (y + z)\).
Существование нулевого элемента: существует \(\exists 0 \in S\) такой, что для \(\forall x \in S\) выполняется \(0 + x = x + 0 = x\)
Коммутативность сложения (commutative): для \(\forall x, y \in S\) выполняется \(x + y = y + x\).
Замыкание умножения (closure): для \(\forall x, y \in S\) выполняется \(x * y \in S\).
Ассоциативность умножения (associativity): для \(\forall x, y, z \in S\) выполняется \((x * y) * z = x * (y * z)\).
Дистрибутивность (distributivus, распределительный закон): для \(\forall x, y, z \in S\) выполняется \(x * (y + z) = x * y + x * z\) и \((x + y) * z = x * z + y * z\).
Мультипликативное свойство нуля: \(a * 0 = 0 * a = 0\)

, а также закон идемпотентности сложения:

Идемпотентность (idempotency): для \(\forall x \in S\) выполняется \(x + x = x\).

Код

trait ISemiring[A] extends Semiring[A], IdempotentMonoid[A]

Законы

Законы полукольца
Идемпотентность формулируется так:
s.combine(x, x) должно быть равно x.
Это означает, что объединение элемента с самим собой не изменяет его.

Схема

classDiagram
    class Semigroup~A~{
        +combine(x: A, y: A) A
    }
    class IdempotentSemigroup~A~
    Semigroup <|-- IdempotentSemigroup    
    class Monoid~A~{
        +empty() A
    }
    Semigroup <|-- Monoid
    class CommutativeSemigroup~A~
    Semigroup <|-- CommutativeSemigroup  
    class IdempotentMonoid~A~
    IdempotentSemigroup <|-- IdempotentMonoid
    Monoid <|-- IdempotentMonoid
    class CommutativeMonoid~A~
    Monoid <|-- CommutativeMonoid
    CommutativeSemigroup <|-- CommutativeMonoid
    class Semiring~A~
    CommutativeMonoid <|-- Semiring
    class MultiplicativeSemigroup~A~{
        +times(x: A, y: A) A
    }
    MultiplicativeSemigroup <|-- Semiring
    Semigroup .. MultiplicativeSemigroup
    class IdempotentSemiring~A~
    IdempotentMonoid <|-- IdempotentSemiring
    Semiring <|-- IdempotentSemiring

Ссылки:

← Предыдущая Следующая →