Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Permutation-pattern algebras. - MaRDI portal

Permutation-pattern algebras. (Q1771851)

From MaRDI portal





scientific article; zbMATH DE number 2158725
Language Label Description Also known as
English
Permutation-pattern algebras.
scientific article; zbMATH DE number 2158725

    Statements

    Permutation-pattern algebras. (English)
    0 references
    19 April 2005
    0 references
    Given a \(k\)-ary relation \(\rho \) on a set \(A\), two \(n\)-tuples \((x_1,\dots , x_n), (y_1,\dots ,y_n)\) of elements of \(A\) are said to be of the same pattern with respect to \(\rho \) if for all \(i_1,\dots ,i_k\in \{ 1,\dots , n\}, \, (x_{i_1},\dots ,x_{i_k})\in \rho \) iff \((y_{i_1},\dots , y_{i_k})\in \rho \). An \(n\)-ary operation \(f\) on \(A\) is a \(\rho \)-pattern function if \(f(x_1,\dots ,x_n)\) is always equal to some \(x_i\), where \(i\) depends only on the \(\rho \)-pattern of \((x_1,\dots ,x_n)\). The author examines functional completeness of algebras with \(\rho \)-pattern fundamental operations in the case when \(\rho \) is the graph of some permutation of \(A\). The paper is a continuation of the author's research on functional completeness of finite \(\rho \)-pattern algebras.
    0 references
    0 references
    functional completeness
    0 references
    pattern function
    0 references
    conservative operation
    0 references
    permutation
    0 references

    Identifiers