Related papers: Mathematical Structures Defined by Identities II

We investigate the spin-Brauer diagram algebra, denoted ${\bf SB}_n(\delta)$, that arises from studying an analogous form of Schur-Weyl duality for the action of the pin group on ${\bf V}^{\otimes n} \otimes \Delta$. Here ${\bf V}$ is the…

In this note, we find a combinatorial identity which is closely related to the multi-dimensional integral $\gamma_{m}$ in the study of divisor functions. As an application, we determine the finite dual of the group algebra of infinite…

We define a superalgebra S2(N/2) as a Z2 graded algebra of dimension 2N+3, where N is a positive, odd integer. The even component is a three-dimensional abelian subalgebra, while the odd component is made up of two N-dimensional, mutually…

We classify small binary bibraces, using the correspondence with alternating algebras over the field F2, up to dimension eight, also determining their isomorphism classes. These finite-dimensional algebras, defined by an alternating…

Avogadro's number is a count of a definite number of things and, therefore, must be an integer and not a floating point number. Arguments are given herein that this integer should be precisely 2E79 - that is, N_o = 2E79 = 6.04 462 909 107…

We provide a clarification of the classification of two-dimensional algebras over an arbitrary base field. Using this clarification, we determine the number of non-isomorphic two-dimensional algebras over a finite field.

In the present paper we classify all irreducible continuous representations of the simple linearly compact n-Lie superalgebra of type S. The classification is based on a bijective correspondence between the continuous representations of the…

We compute all fusion algebras with symmetric rational $S$-matrix up to dimension 12. Only two of them may be used as $S$-matrices in a modular datum: the $S$-matrices of the quantum doubles of $\mathbb{Z}/2\mathbb{Z}$ and $S_3$. Almost all…

Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We show that this also holds in the context of unary (and binary)…

We introduce system S^2_0E, a bounded arithmetic corresponding to Buss's S^2_0 with the predicate E which signifies the existence of the value. Then, we show that we can \Sigma^b_2-define truthness of S^2_0 E and therefore we can prove…

In this work, we consider a class of substitutions on infinite alphabets and show that they exhibit a growth behaviour which is impossible for substitutions on finite alphabets. While for both settings the leading term of the tile counting…

The operation of binary intermolecular recombination, originating in the theory of DNA computing, permits a natural generalization to n-ary operations which perform simultaneous recombination of n molecules. In the case n = 3, we use…

Fix a natural $\alpha$. Let $n\ge \alpha$ be an integer. Consider the symmetric group $S_{\alpha+n}$ and its subgroup $S_n$. We consider the group algebra of $S_{\alpha+n}$ and its subalgebra $\mathbb{O}[\alpha;n]$ consisting of…

We first establish the result that the Narayana polynomials can be represented as the integrals of the Legendre polynomials. Then we represent the Catalan numbers in terms of the Narayana polynomials by three different identities. We give…

For every fixed $d \in \mathbb{N}$, we design a data structure that represents a binary $n \times n$ matrix that is $d$-twin-ordered. The data structure occupies $O_d(n)$ bits, which is the least one could hope for, and can be queried for…

We investigate some classes of infinite series involving central binomial coefficients, particularly focusing on those arising from ratios such as $\binom{2n}{n}\binom{4n}{2n}^{-1}$,$\binom{4n}{2n}\binom{2n}{n}^{-1}$ and related…

The main result of this paper is to show that all binomial identities are orderable. This is a natural statement in the combinatorial theory of finite sets, which can also be applied in distributed computing to derive new strong bounds on…

The co-Lie structures compatible with the osp(2|2) Lie super algebra structure are investigated and found to be all of coboundary type. The corresponding classical r-matrices are classified into several disjoint families. The osp(1|2)+u(1)…

We give an explicit upper bound for the number of equivalence classes of binary forms with rational integral coefficients of given degree and given discriminant, and with given splitting field. Further, we give an explicit upper bound for…

We study and classify faithfully balanced modules for the algebra of lower triangular $n$ by $n$ matrices. The theory extends known results about tilting modules, which are classified by binary trees, and counted with the Catalan numbers.…