Given a super-symmetric quiver gauge theory, string theorists can associate a corresponding toric variety (which is a cone over a Calabi-Yau 3-fold) as well as an associated combinatorial model known as a brane tiling. In combinatorial language, a brane tiling is a bipartite graph on a torus and its perfect matchings are of interest to both combinatorialists and physicists alike. A cluster alge...

In ?-tilting theory, it is often difficult to determine when a set of bricks forms 2-simple minded collection. The aim this paper contained in collection for finite algebra. We begin by extending the definition mutation from collections more general sets (which we call semibrick pairs). This gives us an algorithm check if pair then use show that gentle algebra (whose quiver contains no loops or...

We present some connections between the max-min general fuzzy automaton theory and the hyper structure theory. First, we introduce a hyper BCK-algebra induced by a max-min general fuzzy automaton. Then, we study the properties of this hyper BCK-algebra. Particularly, some theorems and results for hyper BCK-algebra are proved. For example, it is shown that this structure consists of different ty...

First we show that the cosets of a fuzzy ideal μ in a BCK-algebraX form another BCK-algebra  X/μ (called the fuzzy quotient BCK-algebra of X by μ). Also we show thatX/μ is a fuzzy partition of X and we prove several some isomorphism theorems. Moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition P of a commutative BCK-algebra iscompatible, then P is a fuzzy quo...

In this note first we define a BCK‐algebra on the states of a deterministic finite automaton. Then we show that it is a BCK‐algebra with condition (S) and also it is a positive implicative BCK‐algebra. Then we find some quotient BCK‐algebras of it. After that we introduce a hyper BCK‐algebra on the set of all equivalence classes of an equivalence relation on the states of a deterministic finite...

Maximal green sequences are important objects in representation theory, cluster algebras, and string theory. The two fundamental questions about maximal whether a given algebra admits such and, if so, does it admit only finitely many. We study the case of algebras give sufficient conditions on that ensure an affirmative answer to these questions.

We study $f$-vectors, which are the maximal degree vectors of $F$-polynomials in cluster algebra theory. For a is finite type, we find that positive $f$-vectors correspond with $d$-vectors, exponent denominators variables. Furthermore, using this correspondence and properties prove variables uniquely determined by their when type or rank $2$.

In [3] and [13], the authors proved the cluster multiplication theorems for finite type and affine type. We generalize their results and prove the cluster multiplication theorem for arbitrary type by using the properties of 2–Calabi–Yau (Auslander–Reiten formula) and high order associativity. Introduction Cluster algebras were introduced by Fomin and Zelevinsky in [9]. By definition, the cluste...

In this paper, we introduce a notion of generalized states from an EQ-algebra E1 to another EQ-algebra E2, which is a generalization of internal states (or state operators) on an EQ-algebra E. Also we give a type of special generalized state from an EQ-algebra E1 to E1, called generalized internal states (or GI-state). Then we give some examples and basic properties of generalized (internal) st...

A C *-algebra A is called an ideal C * -algebra (or equally a dual algebra) if it is an ideal in its bidual A**. M.C.F. Berglund proved that subalgebras and quotients of ideal C*-algebras are also ideal C*-algebras, that a commutative C *-algebra A is an ideal C *-algebra if and only if it is isomorphicto C (Q) for some discrete space ?. We investigate ideal J*-algebras and show that the a...