Searcharxiv⌕ Search

arXiv · 2610.33305

Congruence lattices of $2$-valued unary algebras

Abstract

We study congruence lattices of finite algebras whose basic operations are unary and have exactly two values. We prove that the class of finite lattices representable in this way is closed under taking filters, glued sums and ordinal sums, and direct products with finite distributive lattices, but it is not closed under taking ideals or arbitrary direct products. A classification of lattices with at most seven elements with respect to representability is also presented.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Miklós Dormán, Kamilla Kátai-Urbán, Eszter K. Horváth, Tamás Waldhauser. 2026-10-23. Congruence lattices of $2$-valued unary algebras. https://arxiv.org/abs/2610.33305

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Hyper-dual group inverse: existence, characterizations, and applications

Motivated by the recent work of Xiao and Zhong [AIMS Math. 9 (2024), 35125--35150: MR4840882], we propose a generalized inverse for a hyper-dual matrix called hyper-dual group generalized inverse (HDGGI). Firstly, we characterize the existence of the HDGGI of a hyper-dual matrix and we show that it is unique, whenever exists. The HDGGI is then used to solve a linear hyper-dual system. We discuss the minimal $P$-norm least-squares properties of hyper-dual group inverse. We also exploit some sufficient conditions under which the reverse and forward-order laws for a particular form of the HDGGI and hyper-dual Moore-Penrose generalized inverse (HDMPGI) hold. Using the definition of dual matrix of order $n$, we finally establish necessary and sufficient condition for the existence of the group inverse of a dual matrix of order $n$.

math.RA↗

Generating pairs in $\mathfrak g_2$ related by an involution

Let $\mathbb O$ be the real octonion division algebra, let $\mathfrak g_2=\operatorname{Der}(\mathbb O)$, and fix a quaternionic subalgebra $H\subset\mathbb O$. We ask when an element $Z$ preserving $H$ and its conjugate $TZT^{-1}$ generate $\mathfrak g_2$, where $T$ is a prescribed involutive octonion automorphism. We prove that such a $Z$ exists if and only if $T(H)\ne H$. Moreover, a fixed set of six derivations preserving $H$ contains a generating choice for every such $T$. For an arbitrary $Z\in\mathfrak g_2$, we construct a polynomial criterion with two factors: one detects reducibility on the imaginary octonions, and the other detects generated algebras of dimension at most three. An irreducible proper generated algebra must be a principal $\mathfrak{su}(2)$. We characterize the elements admitting this case by their rotation frequencies and parametrize all corresponding involutions. For one specified involution and quaternionic subalgebra $H$, we describe the nongenerating set by four geometric families and six irredundant systems of scalar equations, and prove that it has real dimension four.

math.RA↗

Classification of Finite-Dimensional Simple Novikov Algebras and Their Irreducible Bimodules in Positive Characteristic

We give a complete classification of finite-dimensional simple Novikov algebras over an algebraically closed field of characteristic $p>2$, including families missing from earlier classifications in \cite{Osborn1992, Xu1996}. We determine explicit normal forms and all isomorphisms between them, and classify all nontrivial irreducible bimodules over these algebras.

math.RA↗