Related papers: Isomorphic Subtypes in a Finite Generalized Ordere…

This paper presents a novel approach to constructing finite generating sets for infinitely generated ideals. By integrating algebraic and computational techniques, we provide a method to identify finite generators, demonstrated through…

We devise a fairly general sufficient condition ensuring that the endomorphism monoid of a countably infinite ultrahomogeneous structure (i.e. a Fra\"{\i}ss\'{e} limit) embeds all countable semigroups. This approach provides us not only…

A packing of subsets $\mathcal S_1,..., \mathcal S_n$ in a group $G$ is a sequence $(g_1,...,g_n)$ such that $g_1\mathcal S_1,...,g_n\mathcal S_n$ are disjoint subsets of $G$. We give a formula for the number of packings if the group $G$ is…

Let $\mathbb F$ be an algebraically closed field, $G$ be an abelian group, and let $A$ and $B$ be arbitrary finite-dimensional $G$-graded simple algebras over $\mathbb F$. We prove that $A$ and $B$ are isomorphic if, and only if, they…

Let $G$ be a finite group. We study the generalized character defined by $\Xi(g)=|G|o(g)$, for $g\in G$, which is closely related to a function that has been very studied recently from a group theoretical point of view.

We show that the category of log homotopy types is a full subcategory of a category of homotopy types with modulus.

We generalize the concept of the group determinant and prove a necessary and sufficient novel condition for a subset to be a subgroup. This development is based on the group determinant work by Edward Formanek, David Sibley, and Richard…

Let $\Lambda$ be an artin algebra. We are going to consider full subcategories of $\mod\Lambda$ closed under finite direct sums and under submodules with infinitely many isomorphism classes of indecomposable modules. The main result asserts…

In this article, we prove that every finite abelian group $G$ of odd order occurs as a subgroup of the class group of infinitely many real cyclotomic fields.

We classify, up to conjugacy, the finite (constant) subgroups G of adjoint absolutely simple algebraic groups of type $A_1$ over an arbitrary field $k$ of characteristic not 2.

In the paper, we describe all total orders $\succ$ compatible with addition on additive subsemigroup $S$ of finite dimensional spaces over rational numbers. We provide a necessary and sufficient condition under which a finitely generated…

First class type equalities, in the form of generalized algebraic data types (GADTs), are commonly found in functional programs. However, first-class representations of other relations between types, such as subtyping, are not yet directly…

In this note we give some new results concerning the subgroup commutativity degree of a finite group $G$. These are obtained by considering the minimum of subgroup commutativity degrees of all sections of $G$.

We classify all subterminal schemes by characterizing their point structure, stalks, and topologies. This extends our previous classification of subterminal affine schemes, which correspond to spectra of solid rings.

For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by…

We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification…

We give three programs on computer for finding the subgroupoids, wide subgroupoids and normal subgroupoids of a finite groupoid.

Suppose that $G$ is a finite group and $H$ is a subgroup of $G$. We say that $H$ is s-semipermutable in $G$ if $HG_p = G_pH$ for any Sylow $p$-subgroup $G_p$ of $G$ with $(p, |H|) = 1$. We investigate the influence of s-semipermutable…

We give an account on what is known on the subject of permutation matchings, which are bijections of a finite regular semigroup that map each element to one of its inverses. This includes partial solutions to some open questions, including…

We propose and develop a theory that allows to characterize epimorphisms of profinite groups in terms of indecomposable epimorphisms.