FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100236156> ?p ?o ?g. }

• W3100236156 endingPage "936" @default.
• W3100236156 startingPage "917" @default.
• W3100236156 abstract "About a decade ago, it was realised that the satisfaction of a given identity (or equation) of the form f ( x 1 , … , x n ) ≈ f ( y 1 , … , y n ) in an algebra is equivalent to the algebra forcing a loop into any graph on which it acts and which contains a certain finite subgraph associated with the identity. Such identities have since also been called loop conditions, and this characterisation has produced spectacular results in universal algebra, such as the satisfaction of a Siggers identity s ( x , y , z , x ) ≈ s ( y , x , y , z ) in any arbitrary non-trivial finite idempotent algebra. We initiate, from this viewpoint, the systematic study of sets of identities of the form f ( x 1 , 1 , … , x 1 , n ) ≈ ⋯ ≈ f ( x m , 1 , … , x m , n ) , which we call loop conditions of width m. We show that their satisfaction in an algebra is equivalent to any action of the algebra on a certain type of relation forcing a constant tuple into the relation. Proving that for each fixed width m there is a weakest loop condition (that is, one entailed by all others), we obtain a new and short proof of the recent celebrated result stating that there exists a concrete loop condition of width 3 which is entailed in any non-trivial idempotent, possibly infinite, algebra. The framework of classical (width 2) loop conditions is insufficient for such proof. We then consider pseudo-loop conditions of finite width, a generalisation suitable for non-idempotent algebras; they are of the form u 1 ∘ f ( x 1 , 1 , … , x 1 , n ) ≈ ⋯ ≈ u m ∘ f ( x m , 1 , … , x m , n ) , and of central importance for the structure of algebras associated with ω-categorical structures. We show that for the latter, satisfaction of a pseudo-loop condition is characterised by pseudo-loops, that is, loops modulo the action of the automorphism group, and that a weakest pseudo-loop condition exists (for ω-categorical cores). This way we obtain a new and short proof of the theorem that the satisfaction of any non-trivial identities of height 1 in such algebras implies the satisfaction of a fixed single identity." @default.
• W3100236156 created "2020-11-23" @default.
• W3100236156 creator A5031507416 @default.
• W3100236156 creator A5070658141 @default.
• W3100236156 creator A5087983381 @default.
• W3100236156 date "2019-09-12" @default.
• W3100236156 modified "2023-09-27" @default.
• W3100236156 title "Pseudo‐loop conditions" @default.
• W3100236156 cites W1524176804 @default.
• W3100236156 cites W1984264511 @default.
• W3100236156 cites W1988961015 @default.
• W3100236156 cites W2009379153 @default.
• W3100236156 cites W2035932556 @default.
• W3100236156 cites W2042426573 @default.
• W3100236156 cites W2095206903 @default.
• W3100236156 cites W2099602798 @default.
• W3100236156 cites W2102459557 @default.
• W3100236156 cites W2158012017 @default.
• W3100236156 cites W2276690803 @default.
• W3100236156 cites W2318083694 @default.
• W3100236156 cites W2624141012 @default.
• W3100236156 cites W2796460935 @default.
• W3100236156 cites W2801800481 @default.
• W3100236156 cites W2963197653 @default.
• W3100236156 cites W2963629206 @default.
• W3100236156 cites W2963666051 @default.
• W3100236156 cites W2964345483 @default.
• W3100236156 cites W3007452340 @default.
• W3100236156 cites W3122541275 @default.
• W3100236156 cites W4242963547 @default.
• W3100236156 doi "https://doi.org/10.1112/blms.12286" @default.
• W3100236156 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/32051650" @default.
• W3100236156 hasPublicationYear "2019" @default.
• W3100236156 type Work @default.
• W3100236156 sameAs 3100236156 @default.
• W3100236156 citedByCount "7" @default.
• W3100236156 countsByYear W31002361562019 @default.
• W3100236156 countsByYear W31002361562020 @default.
• W3100236156 countsByYear W31002361562021 @default.
• W3100236156 countsByYear W31002361562022 @default.
• W3100236156 countsByYear W31002361562023 @default.
• W3100236156 crossrefType "journal-article" @default.
• W3100236156 hasAuthorship W3100236156A5031507416 @default.
• W3100236156 hasAuthorship W3100236156A5070658141 @default.
• W3100236156 hasAuthorship W3100236156A5087983381 @default.
• W3100236156 hasBestOaLocation W31002361561 @default.
• W3100236156 hasConcept C114614502 @default.
• W3100236156 hasConcept C118615104 @default.
• W3100236156 hasConcept C121332964 @default.
• W3100236156 hasConcept C136119220 @default.
• W3100236156 hasConcept C172252984 @default.
• W3100236156 hasConcept C184670325 @default.
• W3100236156 hasConcept C202444582 @default.
• W3100236156 hasConcept C24890656 @default.
• W3100236156 hasConcept C2778355321 @default.
• W3100236156 hasConcept C2781197150 @default.
• W3100236156 hasConcept C33923547 @default.
• W3100236156 hasConcept C81999800 @default.
• W3100236156 hasConceptScore W3100236156C114614502 @default.
• W3100236156 hasConceptScore W3100236156C118615104 @default.
• W3100236156 hasConceptScore W3100236156C121332964 @default.
• W3100236156 hasConceptScore W3100236156C136119220 @default.
• W3100236156 hasConceptScore W3100236156C172252984 @default.
• W3100236156 hasConceptScore W3100236156C184670325 @default.
• W3100236156 hasConceptScore W3100236156C202444582 @default.
• W3100236156 hasConceptScore W3100236156C24890656 @default.
• W3100236156 hasConceptScore W3100236156C2778355321 @default.
• W3100236156 hasConceptScore W3100236156C2781197150 @default.
• W3100236156 hasConceptScore W3100236156C33923547 @default.
• W3100236156 hasConceptScore W3100236156C81999800 @default.
• W3100236156 hasFunder F4320321006 @default.
• W3100236156 hasFunder F4320321181 @default.
• W3100236156 hasIssue "5" @default.
• W3100236156 hasLocation W31002361561 @default.
• W3100236156 hasLocation W31002361562 @default.
• W3100236156 hasLocation W31002361563 @default.
• W3100236156 hasLocation W31002361564 @default.
• W3100236156 hasLocation W31002361565 @default.
• W3100236156 hasLocation W31002361566 @default.
• W3100236156 hasOpenAccess W3100236156 @default.
• W3100236156 hasPrimaryLocation W31002361561 @default.
• W3100236156 hasRelatedWork W1966400502 @default.
• W3100236156 hasRelatedWork W2004188111 @default.
• W3100236156 hasRelatedWork W2015490803 @default.
• W3100236156 hasRelatedWork W2048282866 @default.
• W3100236156 hasRelatedWork W2088052049 @default.
• W3100236156 hasRelatedWork W2317706992 @default.
• W3100236156 hasRelatedWork W2357337190 @default.
• W3100236156 hasRelatedWork W2365141250 @default.
• W3100236156 hasRelatedWork W3106133691 @default.
• W3100236156 hasRelatedWork W4310910517 @default.
• W3100236156 hasVolume "51" @default.
• W3100236156 isParatext "false" @default.
• W3100236156 isRetracted "false" @default.
• W3100236156 magId "3100236156" @default.
• W3100236156 workType "article" @default.