Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0110333

Mathematical Structures Defined by Identities

Constantin M. Petridi·P. B. Krikelis
View original source ↗Read source document ↗Export metadata ↓

Abstract

We propound the thesis that there is a limitation to the number of possible structures which are axiomatically endowed with identities involving operations. In the case of algebras with a binary operation satisfying a formally reducible (to be explained) identity between two n-iterates of the operation, it is established that the frequency of such algebras goes to zero as n tends to infinity. This is proved by a suitable ordering and labeling of the expressions (words) of the corresponding free algebra and the formation of a series of tableaux whose entries are the labels. The tableaux reveal surprising symmetry properties, stated in terms of the Catalan numbers and their partitions. As a result of the defining identity and the tableaux all iterates of order higher than n fall into equivalence classes of semantically equal ones. Classnumbers depending on the tableaux are calculated for all algebras of order n = 3 (and partially for n = 4). Certain classnumbers are invariants in the sense that for algebras of same order they are equal. Algebras with several operations of any arity are considered. A generalization of Catalan numbers depending on homorphisms of the structure is proposed and corresponding generating functions set up. As an example of this, a kind of skein polynomials are constructed characterizing the formal build-up of iterates. As no distinction is made between the various algebras, isomorphic or not, which are models of the identity the results can also be formulated in terms of varieties with signature the identity in question.

Explore related subjects

math.RAmath.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Constantin M. Petridi, P. B. Krikelis. 2001-10-31. Mathematical Structures Defined by Identities. https://arxiv.org/abs/math/0110333

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

KEEP EXPLORING

Related papers

arXiv2026

t-Product and t-STP of cubic matrices with an application to hyper-networked systems

Control systems with tensor-valued state transitions require a product that specifies both how coefficients act on each frontal slice and how different slices interact. This paper develops a t-semi-tensor product (t-STP) on cubic matrices that retains the circular coupling of the t-product while allowing rectangular coefficient slices to act on a fixed state space. The construction combines the dimension-keeping semi-tensor product (DK-STP) bridge with circular convolution, overcoming the absence of cross-slice coupling in a slice-wise DK-STP. It provides a compact coefficient description of a structured class of dynamical operators, with fewer stored entries when the coefficient slices have fewer columns than rows. For a fixed number of frontal slices, we establish associative algebra and module structures and describe the associated Lie algebra and Lie groups. These structures make coefficient composition and exponential evolution consistent, while equivalent classical matrix realizations connect the tensor formulation to control analysis of cubic matrix-based dynamics. A specified supply-network game illustrates how the construction organizes interacting chain flows, reproduces the classical trajectories, and supports a globally convergent payoff-gradient adjustment law with explicit damping. The example quantifies coefficient storage while clarifying that the state dimension is unchanged and that the same economy is available to a classical implementation retaining the factorization.

math.RA↗
arXiv2026

Maximal Subsemigroups of Infinite Symmetric Inverse Monoids

The symmetric inverse monoid $I_X$ on a set $X$ consists of all bijective functions whose domain and range are subsets of $X$ under the usual composition and inversion of partial functions. For an arbitrary infinite set $X$, we classify all maximal subsemigroups and maximal inverse subsemigroups of $I_X$ which contain the symmetric group Sym($X$) or any of the following subgroups of Sym($X$): the pointwise stabiliser of a finite subset of $X$, the stabiliser of an ultrafilter on $X$, or the stabiliser of a partition of $X$ into finitely many parts of equal cardinality.

math.RA↗
arXiv2026

Noncommutative resolutions of noncommutative isolated singularities

Noncommutative resolutions of AS-Gorenstein isolated singularities are investigated by Li--Shen--Wu. However, establishing their existence and constructing such resolutions are generally difficult, even when they exist. In this paper, we study conditions under which a commonly graded AS-regular algebra serves as a noncommutative resolution of an AS-Gorenstein isolated singularity. We investigate projective modules over a noetherian commonly graded AS-regular algebra whose endomorphism rings admit resolutions by the underlying regular algebra. This leads to a more general definition of noncommutative resolutions of balanced Cohen--Macaulay isolated singularities. We show that the existence of such resolutions is equivalent to the existence of cluster tilting modules over balanced CM isolated singularities. The corresponding noncommutative analogue of the Bondal-Orlov conjecture is established in dimensions $2$ and $3$. As an application, we study Hopf actions on commonly graded AS-Gorenstein algebras and investigate noncommutative resolutions of invariant rings. We present three examples of noncommutative resolutions, including one in which the noncommutative isolated singularity is not connected graded.

math.RA↗