Displaying similar documents to “On the embedding of universal algebras in groupoids holding the law X Y * Z U * * = X Z * Y U * *

Antiassociative groupoids

Milton Braitt, David Hobby, Donald Silberger (2017)

Mathematica Bohemica

Similarity:

Given a groupoid G , , and k 3 , we say that G is antiassociative if an only if for all x 1 , x 2 , x 3 G , ( x 1 x 2 ) x 3 and x 1 ( x 2 x 3 ) are never equal. Generalizing this, G , is k -antiassociative if and only if for all x 1 , x 2 , ... , x k G , any two distinct expressions made by putting parentheses in x 1 x 2 x 3 x k are never equal. We prove that for every k 3 , there exist finite groupoids that are k -antiassociative. We then generalize this, investigating when other pairs of groupoid terms can be made never equal.

Universal lifting theorem and quasi-Poisson groupoids

David Inglesias-Ponte, Camille Laurent-Gengoux, Ping Xu (2012)

Journal of the European Mathematical Society

Similarity:

We prove the universal lifting theorem: for an α -simply connected and α -connected Lie groupoid Γ with Lie algebroid A , the graded Lie algebra of multi-differentials on A is isomorphic to that of multiplicative multi-vector fields on Γ . As a consequence, we obtain the integration theorem for a quasi-Lie bialgebroid, which generalizes various integration theorems in the literature in special cases. The second goal of the paper is the study of basic properties of quasi-Poisson groupoids....

Singularity categories of skewed-gentle algebras

Xinhong Chen, Ming Lu (2015)

Colloquium Mathematicae

Similarity:

Let K be an algebraically closed field. Let (Q,Sp,I) be a skewed-gentle triple, and let ( Q s g , I s g ) and ( Q g , I g ) be the corresponding skewed-gentle pair and the associated gentle pair, respectively. We prove that the skewed-gentle algebra K Q s g / I s g is singularity equivalent to KQ/⟨I⟩. Moreover, we use (Q,Sp,I) to describe the singularity category of K Q g / I g . As a corollary, we find that g l d i m K Q s g / I s g < if and only if g l d i m K Q / I < if and only if g l d i m K Q g / I g < .

Algebraic independence of the values at algebraic points of a class of functions considered by Mahler

N. Ch. Wass

Similarity:

This thesis is concerned with the problem of determining a measure of algebraic independence for a particular m-tuple θ₁,..., θ m of complex numbers. Specifically, let K be a number field and let f₁(z),..., f m ( z ) be elements of K[[z]] algebraically independent over K(z) satisfying equations of the form(*) f j ( z b ) = i = 1 m f i ( z ) a i j ( z ) + b j ( z ) (j = i,...,m)for b ≥ 2, a i j ( z ) , b j ( z ) in K(z). Suppose finally that α ∈ K is such that 0 < |α| < 1, the f j ( z ) converge at z = α and the a i j ( z ) , b j ( z ) are analytic at z = α , α b , α b ² , . . . Then the θ i = f i ( α ) are algebraically independent...

On the number of finite algebraic structures

Erhard Aichinger, Peter Mayr, R. McKenzie (2014)

Journal of the European Mathematical Society

Similarity:

We prove that every clone of operations on a finite set A , if it contains a Malcev operation, is finitely related – i.e., identical with the clone of all operations respecting R for some finitary relation R over A . It follows that for a fixed finite set A , the set of all such Malcev clones is countable. This completes the solution of a problem that was first formulated in 1980, or earlier: how many Malcev clones can finite sets support? More generally, we prove that every finite algebra...

Multiplicatively dependent triples of Tribonacci numbers

Carlos Alexis Ruiz Gómez, Florian Luca (2015)

Acta Arithmetica

Similarity:

We consider the Tribonacci sequence T : = T n n 0 given by T₀ = 0, T₁ = T₂ = 1 and T n + 3 = T n + 2 + T n + 1 + T n for all n ≥ 0, and we find all triples of Tribonacci numbers which are multiplicatively dependent.

A representation theorem for tense n × m -valued Łukasiewicz-Moisil algebras

Aldo Victorio Figallo, Gustavo Pelaitay (2015)

Mathematica Bohemica

Similarity:

In 2000, Figallo and Sanza introduced n × m -valued Łukasiewicz-Moisil algebras which are both particular cases of matrix Łukasiewicz algebras and a generalization of n -valued Łukasiewicz-Moisil algebras. Here we initiate an investigation into the class n × m of tense n × m -valued Łukasiewicz-Moisil algebras (or tense LM n × m -algebras), namely n × m -valued Łukasiewicz-Moisil algebras endowed with two unary operations called tense operators. These algebras constitute a generalization of tense...

A generalization of a formalized theory of fields of sets on non-classical logics

Helena Rasiowa

Similarity:

Contents Introduction.................................................................................................................................................. 3 § 1. System 𝒮 of a propositional calculus...................................................................... 4 § 2. System 𝒮 * ..................................................................................................................... 5 § 3. 𝒮 * -algebras.....................................................................................................................

A F -algebras and topology of mapping tori

Igor Nikolaev (2015)

Czechoslovak Mathematical Journal

Similarity:

The paper studies applications of C * -algebras in geometric topology. Namely, a covariant functor from the category of mapping tori to a category of A F -algebras is constructed; the functor takes continuous maps between such manifolds to stable homomorphisms between the corresponding A F -algebras. We use this functor to develop an obstruction theory for the torus bundles of dimension 2 , 3 and 4 . In conclusion, we consider two numerical examples illustrating our main results.

Trivialization of 𝒞 ( X ) -algebras with strongly self-absorbing fibres

Marius Dadarlat, Wilhelm Winter (2008)

Bulletin de la Société Mathématique de France

Similarity:

Suppose A is a separable unital 𝒞 ( X ) -algebra each fibre of which is isomorphic to the same strongly self-absorbing and K 1 -injective C * -algebra 𝒟 . We show that A and 𝒞 ( X ) 𝒟 are isomorphic as 𝒞 ( X ) -algebras provided the compact Hausdorff space X is finite-dimensional. This statement is known not to extend to the infinite-dimensional case.

Diagonalization and rationalization of algebraic Laurent series

Boris Adamczewski, Jason P. Bell (2013)

Annales scientifiques de l'École Normale Supérieure

Similarity:

We prove a quantitative version of a result of Furstenberg [20] and Deligne [14] stating that the diagonal of a multivariate algebraic power series with coefficients in a field of positive characteristic is algebraic. As a consequence, we obtain that for every prime p the reduction modulo p of the diagonal of a multivariate algebraic power series f with integer coefficients is an algebraic power series of degree at most p A and height at most A p A , where A is an effective constant that only...

The moduli space of commutative algebras of finite rank

Bjorn Poonen (2008)

Journal of the European Mathematical Society

Similarity:

The moduli space of rank- n commutative algebras equipped with an ordered basis is an affine scheme 𝔅 n of finite type over , with geometrically connected fibers. It is smooth if and only if n 3 . It is reducible if n 8 (and the converse holds, at least if we remove the fibers above 2 and 3 ). The relative dimension of 𝔅 n is 2 27 n 3 + O ( n 8 / 3 ) . The subscheme parameterizing étale algebras is isomorphic to GL n / S n , which is of dimension only n 2 . For n 8 , there exist algebras that are not limits of étale algebras. The dimension...

A Dichotomy Principle for Universal Series

V. Farmaki, V. Nestoridis (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Applying results of the infinitary Ramsey theory, namely the dichotomy principle of Galvin-Prikry, we show that for every sequence ( α j ) j = 1 of scalars, there exists a subsequence ( α k j ) j = 1 such that either every subsequence of ( α k j ) j = 1 defines a universal series, or no subsequence of ( α k j ) j = 1 defines a universal series. In particular examples we decide which of the two cases holds.