On the number of countable subdirect powers of unary algebras

Nik Ruskuc,Bill de Witt

2023-07-10

Abstract:A finite unary algebra $(A,F)$ has only countably many countable subdirect powers if and only if every operation $f\in F$ is either a permutation or a constant mapping.

Rings and Algebras

What problem does this paper attempt to address?

On the number of countable subdirect powers of finite commutative semigroups

Ashley Clayton,Nik Ruskuc

DOI: https://doi.org/10.48550/arXiv.2208.14854

2022-08-31

Abstract:In 1981/82, Hickin \& Plotkin and McKenzie both proved that a finite group has only countably many non-isomorphic subdirect powers if and only if it is abelian. In this paper, we prove that a finite commutative semigroup has only countably many non-isomorphic countable subdirect powers if and only if it is either a finite abelian group or a null semigroup.

Group Theory
Remarks on the Sequential Effect Algebras

Jun Shen,Junde Wu

DOI: https://doi.org/10.1016/s0034-4877(09)90015-5

IF: 0.808

2009-01-01

Reports on Mathematical Physics

Abstract:In this paper, first, we answer affirmatively an open problem which was presented in 2005 by professor Gudder on the sub-sequential effect algebras. That is, we prove that if (E, 0, 1, circle plus, o) is a sequential effect algebra and A is a commutative subset of E, then the sub-sequential effect algebra (A) over bar generated by A is also commutative. Next, we also study the following uniqueness problem: If na = nb = c for some positive integer n >= 2, then under what conditions a = b hold? We prove that if c is a sharp element of E and a vertical bar b, then a = b. We give also two examples to show that neither of the above two conditions can be discarded.
Many subalgebras of $\mathcal{P}(ω)/\mathit{fin}$

Klaas Pieter Hart

2024-08-30

Abstract:In answer to a question on Mathoverflow we show that the Boolean algebra $\mathcal{P}(\omega)/\mathit{fin}$ contains a family $\{\mathcal{B}_X:X\subseteq\mathfrak{c}\}$ of subalgebras with the property that $X\subseteq Y$ implies $\mathcal{B}_Y$ is a subalgebra of $\mathcal{B}_X$ and if $X\not\subseteq Y$ then $\mathcal{B}_Y$ is not embeddable into~$\mathcal{B}_X$. The proof proceeds by Stone duality and the construction of a suitable family of separable zero-dimensional compact spaces.

General Topology,Logic
Representing subalgebras as retracts of finite subdirect powers

Keith A. Kearnes,Alexander Rasstrigin

DOI: https://doi.org/10.48550/arXiv.2005.02461

2020-05-06

Abstract:We prove that if $\mathbb A$ is an algebra that is supernilpotent with respect to the $2$-term higher commutator, and $\mathbb B$ is a subalgebra of $\mathbb A$, then $\mathbb B$ is representable as a retract of a finite subdirect power of $\mathbb A$.

Group Theory,Logic,Rings and Algebras
On the enumeration of finite $L$-algebras

C. Dietzel,P. Menchón,L. Vendramin

DOI: https://doi.org/10.1090/mcom/3814

2023-07-03

Abstract:We use Constraint Satisfaction Methods to construct and enumerate finite $L$-algebras up to isomorphism. These objects were recently introduced by Rump and appear in Garside theory, algebraic logic, and the study of the combinatorial Yang-Baxter equation. There are 377322225 isomorphism classes of $L$-algebras of size eight. The database constructed suggest the existence of bijections between certain classes of $L$-algebras and well-known combinatorial objects. On the one hand, we prove that Bell numbers enumerate isomorphism classes of finite linear $L$-algebras. On the other hand, we also prove that finite regular $L$-algebras are in bijective correspondence with infinite-dimensional Young diagrams.

Logic,Combinatorics,Rings and Algebras
On power monoids and their automorphisms

Salvatore Tringali,Weihao Yan

2024-08-16

Abstract:Endowed with the binary operation of set addition, the family $\mathcal P_{{\rm fin},0}(\mathbb N)$ of all finite subsets of $\mathbb N$ containing $0$ forms a monoid, with the singleton $\{0\}$ as its neutral element. We show that the only non-trivial automorphism of $\mathcal P_{{\rm fin},0}(\mathbb N)$ is the involution $X \mapsto \max X - X$. The proof leverages ideas from additive number theory and proceeds through an unconventional induction on what we call the boxing dimension of a finite set of integers, that is, the smallest number of (discrete) intervals whose union is the set itself.

Combinatorics,Number Theory,Rings and Algebras
Quantifier Free Definability on Infinite Algebras

Bakh Khoussainov

DOI: https://doi.org/10.1145/2933575.2934572

2016-01-01

Abstract:An operation f: An → A on the domain A of an algebra A is definable if there exists a first order logic formula Φ(x, y) with parameters from A such that for all ā ∈ An and b ∈ A we have f (ā) = b iff A ⊨ Φ (ā, b). The goal of this paper is to study definability of operations by quantifier-free formulas on countable infinite algebras from computability and model-theoretic definability points of view.
A remark of the number of quasi-hereditary structures

Yuichiro Goto

DOI: https://doi.org/10.48550/arXiv.2302.00831

2023-02-02

Abstract:Dlab and Ringel showed that algebras being quasi-hereditary in all total orders for indices of primitive idempotents becomes hereditary. So, we are interested in for which orders a given quasi-hereditary algebra is again quasi-hereditary. As a matter of fact, we consider permutations of indices instead of total orders. If the standard modules defined by two permutations coincide, we say that the permutations are equivalent. Moreover if the algebra with permuted indices is quasi-hereditary, then this equivalence class of the permutation is called a quasi-hereditary structure. In this article, we give a method of counting the number of quasi-hereditary structures for certain algebras.

Representation Theory
Subcompletions of representable relation algebras

Roger D. Maddux

DOI: https://doi.org/10.1007/s00012-018-0493-0

2014-11-05

Abstract:Many finite symmetric integral non-representable relation algebras, including almost all Monk algebras, can be embedded in the completion of an atomic symmetric integral representable relation algebra whose finitely-generated subalgebras are finite.

Logic
Recursive Unary Algebras and Trees

B KHOUSSAINOV

DOI: https://doi.org/10.1016/0168-0072(94)90012-4

IF: 0.776

1994-01-01

Annals of Pure and Applied Logic

Abstract:A unary algebra is an algebraic system A = (A, ƒ0,…,ƒn), where ƒ0,…,ƒn are unary operations on A and n ∈ ω. In the paper we develop the theory of effective unary algebras. We investigate well-known questions of constructive (recursive) model theory with respect to the class of unary algebras. In the paper we construct unary algebras with a finite number of recursive isomorphism types. We give the notions of program, uniform, and algebraic dimensions of models, and then we investigate these notions on unary algebras. We find connections between algebraic and effective properties of r.e. representable unary algebras. We also deal with finitely generated r.e. (positive) unary algebras. We show the connections between trees and unary algebras. Our interests also concern recursive automorphisms groups, r.e. subalgebra and congruence lattices of effective unary algebras.
The subpower membership problem of 2-nilpotent algebras

Michael Kompatscher

2023-09-29

Abstract:The subpower membership problem SMP(A) of a finite algebraic structure A asks whether a given partial function from A^k to A can be interpolated by a term operation of A, or not. While this problem can be EXPTIME-complete in general, Willard asked whether it is always solvable in polynomial time if A is a Mal'tsev algebras. In particular, this includes many important structures studied in abstract algebra, such as groups, quasigroups, rings, Boolean algebras. In this paper we give an affirmative answer to Willard's question for a big class of 2-nilpotent Mal'tsev algebras. We furthermore develop tools that might be essential in answering the question for general nilpotent Mal'tsev algebras in the future.

Rings and Algebras,Computational Complexity
On algebraic properties of power monoids of numerical monoids

Pierre-Yves Bienvenu,Alfred Geroldinger

DOI: https://doi.org/10.1007/s11856-024-2683-0

2024-11-08

Israel Journal of Mathematics

Abstract:Let S ⊂ N 0 be a numerical monoid and let , resp. , denote the power monoid, resp. the restricted power monoid, of S , that is the set of all finite nonempty subsets of S , resp. the set of all finite nonempty subsets of S containing 0, with set addition as operation. The arithmetic of power monoids received some attention in recent literature. We complement these investigations by studying algebraic properties of power monoids, such as their prime spectrum. Moreover, we show that almost all elements of are irreducible (i.e., they are not proper sumsets).

mathematics
Coalgebraic methods for Ramsey degrees of unary algebras

Dragan Mašulović

2024-05-17

Abstract:In this paper we are interested in the existence of small and big Ramsey degrees of classes of finite unary algebras in arbitrary (not necessarily finite) algebraic language $\Omega$. We think of unary algebras as $M$-sets where $M = \Omega^*$ is the free monoid of words over the alphabet $\Omega$ and show that for an arbitrary monoid $M$ (finite or infinite) the class of all finite $M$-sets has finite small Ramsey degrees. This immediately implies that the class of all finite $G$-sets, where $G$ is an arbitrary group (finite or infinite), has finite small Ramsey degrees, and that the class of all finite unary algebras over an arbitrary (finite or infinite) algebraic language $\Omega$ has finite small Ramsey degrees. This generalizes some Ramsey-type results of M.\ Sokić concerning finite unary algebras over finite languages and finite $G$-sets for finite groups~$G$. To do so we develop a completely new strategy that relies on the fact that right adjoints preserve the Ramsey property. We then treat $M$-sets as Eilenberg-Moore coalgebras for "half a comonad" and using pre-adjunctions transport the Ramsey properties we are interested in from the category of finite or countably infinite chains of order type $\omega$. Moreover, we show that finite objects have finite big Ramsey degrees in the corresponding cofree structures over countably many generators.

Combinatorics,Category Theory
Non-finitely generated monoids corresponding to finitely generated homogeneous subalgebras

Akihiro Higashitani,Koichiro Tani

2024-04-02

Abstract:The goal of this paper is to study the possible monoids appearing as the associated monoids of the initial algebra of a finitely generated homogeneous $\Bbbk$-subalgebra of a polynomial ring $\Bbbk[x_1,\ldots,x_n]$. Clearly, any affine monoid can be realized since the initial algebra of the affine monoid $\Bbbk$-algebra is itself. On the other hand, the initial algebra of a finitely generated homogeneous $\Bbbk$-algebra is not necessarily finitely generated. In this paper, we provide a new family of non-finitely generated monoids which can be realized as the initial algebras of finitely generated homogeneous $\Bbbk$-algebras. Moreover, we also provide an example of a non-finitely generated monoid which cannot be realized as the initial algebra of any finitely generated homogeneous $\Bbbk$-algebra.

Commutative Algebra
Unary languages recognized by two-way one-counter automata

Marzio De Biasi,Abuzer Yakaryilmaz

DOI: https://doi.org/10.48550/arXiv.1311.0849

2014-07-09

Abstract:A two-way deterministic finite state automaton with one counter (2D1CA) is a fundamental computational model that has been examined in many different aspects since sixties, but we know little about its power in the case of unary languages. Up to our knowledge, the only known unary nonregular languages recognized by 2D1CAs are those formed by strings having exponential length, where the exponents form some trivial unary regular language. In this paper, we present some non-trivial subsets of these languages. By using the input head as a second counter, we present simulations of two-way deterministic finite automata with linearly bounded counters and linear--space Turing machines. We also show how a fixed-size quantum register can help to simplify some of these languages. Finally, we compare unary 2D1CAs with two--counter machines and provide some insights about the limits of their computational power.

Formal Languages and Automata Theory,Computational Complexity
Operator Algebras of Universal Quantum Homomorphisms

Pierre Fima,Malay Mandal,Issan Patri

2024-11-28

Abstract:Given two unital C*-algebras $A$ and $B$, we study, when it exists, the universal unital $C^*$-algebra $\mathcal{U}(A,B)$ generated by the coefficients of a unital $*$-homomorphism $\rho\,:\, A\rightarrow B\otimes\mathcal{U}(A,B)$. When $B$ is finite dimensional, it is well known that $\mathcal{U}(A,B)$ exists and we study in this case properties LP, RFD, primitiveness and the UCT as well as $K$-theory. We also construct a reduced version of $\mathcal{U}(A,B)$ for which we study exactness, nuclearity, simplicity, absence of non-trivial projection and $K$-theory. Then, we consider the von Neumann algebra generated by the reduced version and study factoriality, amenability, fullness, primeness, absence of Cartan, Connes' invariants, Haagerup property and Connes' embeddability. Next, we consider the case when $B$ is infinite dimensional: we show that for any non-trivial separable unital $C^*$-algebra $A$, $\mathcal{U}(A,B)$ exists if and only if $B$ is finite dimensional. Nevertheless, we show that there exists a unique unital locally $C^*$-algebra generated by the coefficients of a unital continuous $*$-homomorphism $\rho\,:\, A\rightarrow B\otimes\mathcal{U}(A,B)$. Finally, we study a natural quantum semigroup structure on $\mathcal{U}(A,A)$.

Operator Algebras,Functional Analysis
On various notions of distance between subalgebras of operator algebras

Ved Prakash Gupta,Sumit Kumar

2024-03-10

Abstract:Given any irreducible inclusion $\mB \subset \mA$ of unital $C^*$-algebras with a finite-index conditional expectation $E: \mA \to \mB$, we show that the set of $E$-compatible intermediate $C^*$-subalgebras is finite, thereby generalizing a finiteness result of Ino and Watatani (from \cite{IW}). A finiteness result for a certain collection of intermediate $C^*$-subalgebras of a non-irreducible inclusion of simple unital $C^*$-algebras is also obtained, which provides a $C^*$-version of a finiteness result of Khoshkam and Mashood (from \cite{KM}).

Operator Algebras
Remarks on countable subadditivity

Loukas Grafakos,Monica Visan

2023-04-17

Abstract:We discuss how countable subadditivity of operators can be derived from subadditivity under mild forms of continuity, and provide examples manifesting such circumstances.

Analysis of PDEs,Classical Analysis and ODEs
Characterizations of classes of countable Boolean inverse monoids

Mark V. Lawson,Philip Scott

2024-05-27

Abstract:countably infinite Boolean inverse monoid that can be written as an increasing union of finite Boolean inverse monoids (suitably embedded) is said to be of finite type. Borrowing terminology from $C^{\ast}$-algebra theory, we say that such a Boolean inverse monoid is AF (approximately finite) if the finite Boolean inverse monoids above are isomorphic to finite direct products of finite symmetric inverse monoids, and we say that it is UHF (uniformly hyperfinite) if the finite Boolean inverse monoids are in fact isomorphic to finite symmetric inverse monoids. We characterize abstractly the Boolean inverse monoids of finite type and those which are AF and, by using MV-algebras, we also characterize the UHF monoids.

Category Theory
Counting in Uncountably Categorical Pseudofinite Structures

Alexander Van Abel

DOI: https://doi.org/10.1017/jsl.2024.29

2024-04-18

Journal of Symbolic Logic

Abstract://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS002248122400029X/resource/name/firstPage-pdf-S002248122400029Xa.jpg

mathematics,logic

On the number of countable subdirect powers of unary algebras

On the number of countable subdirect powers of finite commutative semigroups

Remarks on the Sequential Effect Algebras

Many subalgebras of $\mathcal{P}(ω)/\mathit{fin}$

Representing subalgebras as retracts of finite subdirect powers

On the enumeration of finite $L$-algebras

On power monoids and their automorphisms

Quantifier Free Definability on Infinite Algebras

A remark of the number of quasi-hereditary structures

Subcompletions of representable relation algebras

Recursive Unary Algebras and Trees

The subpower membership problem of 2-nilpotent algebras

On algebraic properties of power monoids of numerical monoids

Coalgebraic methods for Ramsey degrees of unary algebras

Non-finitely generated monoids corresponding to finitely generated homogeneous subalgebras

Unary languages recognized by two-way one-counter automata

Operator Algebras of Universal Quantum Homomorphisms

On various notions of distance between subalgebras of operator algebras

Remarks on countable subadditivity

Characterizations of classes of countable Boolean inverse monoids

Counting in Uncountably Categorical Pseudofinite Structures