In this paper, first we study the semi maximal filters in linear $BL$-algebras and we prove that any semi maximal filter is a primary filter. Then, we investigate the radical of semi maximal filters in $BL$-algebras. Moreover, we determine the relationship between this filters and other types of filters in $BL$-algebras and G"{o} del algebra. Specially, we prove that in a G"{o}del algebra, any ...

Let k be a commutative ring and let R be a commutative k−algebra. Given a positive integer n and a R−algebra A one can consider three functors of points from the category CR of commutative R−algebras to the small category of sets. All these functors are representable, namely • RepA represents the functor induced by B → homR(A,Mn(B)), where Mn(B) are the n× n matrices over B, for all B ∈ CR. • t...

A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...

The notion of extended filter of a filter associated to a subset of Rl-monoids is defined and related properties are investigated. Rachunek and Salounova proved that positive implicative filters and Boolean filters in Rl-monoids coincide with a condition in Rachunek and Salounova (Acta Univ Palacki Olomuc Fac rer nat Math 48(1):93–107, 2009). In this paper, we prove that positive implicative fi...

Consider the abelian category Ck of commutative group schemes of finite type over a field k. By results of Serre and Oort, Ck has homological dimension 1 (resp. 2) if k is algebraically closed of characteristic 0 (resp. positive). In this article, we explore the abelian category of commutative algebraic groups up to isogeny, defined as the quotient of Ck by the full subcategory Fk of finite k-g...

a heyting algebra is a distributive lattice with implication and a dual $bck$-algebra is an algebraic system having as models logical systems equipped with implication. the aim of this paper is to investigate the relation of heyting algebras between dual $bck$-algebras. we define notions of $i$-invariant and $m$-invariant on dual $bck$-semilattices and prove that a heyting semilattice is equiva...

Molodtsov [8] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to the theory of BCK-algebras. The notions of positive implicative soft ideals and positive implicative idealistic soft BCK-algebras are intro...

Assume that n and k are positive integers with n ≥ 2k + 1. A non-hamiltonian graph G is hypo hamiltonian if G − v is hamiltonian for any v ∈ V (G). It is proved that the generalized Petersen graph P (n, k) is hypo hamiltonian if and only if k = 2 and n ≡ 5 (mod 6). Similarly, a hamiltonian graph G is hyper hamiltonian if G−v is hamiltonian for any v ∈ V (G). In this paper, we will give some nec...

In this paper we introduce the concepts of hyper P -semisimple Ialgebra and Abelian hyper I-algebra and we state and prove some related results. The hyper p-semi simple I-algebras is a generalization of p-semisimple BCI-algebras and a subclass of hyper I-algebras. Specially we show that every Abelian hyper I-algebra is a hyper psemisimple I-algebra and a commutative canonical hypergroup. In fol...

The main results: A ring R is CN if and only if for any x ∈ N(R) and y ∈ R, ((1+x)y)n+k = (1+x)n+kyn+k, where n is a fixed positive integer and k = 0, 1, 2; (2) Let R be a CN ring and n ≥ 1. If for any x, y ∈ R\N(R), (xy)n+k = xn+kyn+k, where k = 0, 1, 2, then R is commutative; (3) Let R be a ring and n ≥ 1. If for any x ∈ R\N(R) and y ∈ R, (xy)k = xkyk, k = n, n + 1, n + 2, then R is commutati...