Related papers: Notes on the ordered set $A^A$. Part I. The classi…
We prove that if two path algebras with homogeneous relations are isomorphic as algebras, then they are isomorphic as graded path algebras. This extends a result by Bell and Zhang in the connected case.
It is shown that the isomorphism relation between continuous t-norms is Borel bireducible with the relation of order isomorphism between linear orders on the set of natural numbers, and therefore, it is a Borel complete equivalence…
Let $\mathbf D$ be the set of isomorphism types of finite double partially ordered sets, that is sets endowed with two partial orders. On $\BZ\mathbf D$ we define a product and a coproduct, together with an internal product, that is,…
The first result is the semicontinuity of automorphism groups for the collection of complex two-dimensional bounded pseudoconvex domains with smooth boundary of finite D'Angelo type. The method of proof is new so that it simplifies the…
O. Einstein (2008) proved Bollob\'as-type theorems on intersecting families of ordered sets of finite sets and subspaces. Unfortunately, we report that the proof of a theorem on ordered sets of subspaces had a mistake. We prove two weaker…
Let A, B, C, D be given finite sets of pairs of n-by-n complex matrices. We describe an algorithm to determine, with finitely many computations, whether there is a single unitary matrix U such that each pair of matrices in A is unitarily…
The dominant rational maps of finite degree from a fixed variety to varieties of general type, up to birational isomorphisms, form a finite set. This has been known as the Iitaka-Severi conjecture, and is nowdays an established result, in…
Harary and Palmer announced an enumeration problem of labelled self-complementary graphs at the end of their book (Graphical Enumeration, Academic Press, New York and London, 1973). This paper resolves this problem. A method for solving…
We prove that two infinite p-adic semi-algebraic sets are isomorphic (i.e. there exists a semi-algebraic bijection between them) if and only if they have the same dimension.
For affine symmetric groups we construct finite $W$-graphs corresponding to two-row shapes, and prove their uniqueness. This gives the first non-trivial family of examples of finite $W$-graphs in an affine type. We compare our construction…
Homeomorphisms allowing us to prove topological equivalences between one-parameter families of maps undergoing the same bifurcation are constructed in this paper. This provides a solution for a classical problem in bifurcation theory that…
We construct a class of finitely presented groups where the isomorphism problem is solvable but the commensurability problem is unsolvable. Conversely, we construct a class of finitely presented groups within which the commensurability…
In [U. Dempwolff: \textit{More Translation Planes and Semifields from Dembowski-Ostrom Polynomials}, Designs, Codes, Cryptogr. \textbf{68} (1-3) (2013), 81--103] three classes of rank two presemifields of order $q^{2n}$, with $q$ and $n$…
We advocate an account of dualities between physical theories: the basic idea is that dual theories are isomorphic representations of a common core. We defend and illustrate this account, which we call a Schema, in relation to symmetries.…
The Profinite Isomorphism Problem for a class of groups \mathcal{C} asks for an algorithm that decides for any two groups in \mathcal{C} whether they have isomorphic profinite completions. We present the positive solution to this problem…
The Modular Isomorphism Problem asks if an isomorphism of group algebras of two finite p-groups G and H over a field of characteristic p, implies an isomorhism of the groups G and H. We survey the history of the problem, explain strategies…
The choice of an isomorphism, a duality, between a finite abelian group $A$ and its character group allows one to define dual codes of additive codes over $A$. Properties of dualities and dual codes are studied, continuing work of Delsarte…
We study holomorphic maps between C$^*$-algebras $A$ and $B$. When $f:B_A (0,\varrho) \longrightarrow B$ is a holomorphic mapping whose Taylor series at zero is uniformly converging in some open unit ball $U=B_{A}(0,\delta)$ and we assume…
Let $G=\mathbf{Z}_{p} \oplus \mathbf{Z}_{p^2}$, where $p$ is a prime number. Suppose that $d$ is a divisor of the order of $G$. In this paper we find the number of automorphisms of $G$ fixing $d$ elements of $G$, and denote it by…
Noguchi proved that the set of dominant maps from a fixed variety to a fixed hyperbolic variety is finite. We extend this result to the setting of orbifold pairs, as introduced by Campana, under suitable assumptions. Certain compactness…