An Introduction to the Theory of Matrix Near-Rings

Matrix rings are prominent in abstract algebra. In this paper we give an overview of the theory of matrix near-rings. A near-ring differs from a ring in that it does not need to be abelian and one of the distributive laws does not hold in general. We introduce two ways in which matrix near-rings can be defined and discuss the structure of each. One is as given by Beildeman and the other is as defined by Meldrum. Beildeman defined his matrix near-rings as normal arrays under the operation of matrix multiplication and addition. He showed that we have a matrix near-ring over a near-ring if, and only if, it is a ring. In this case it is not possible to obtain a matrix near-ring from a proper near-ring. Later, in 1986, Meldrum and van der Walt defined matrix near-rings over a near-ring as mappings from the direct sum of n copies of the additive group of the near-ring to itself. In this case it can be shown that a proper near-ring is obtained. We prove several properties, introduce some special matrices and show that a matrix notation can be introduced to make calculations easier, provided that n is small.

Generalized fuzzy ideals of near-rings

The concept of（∈,∈∨q）-fuzzy subnear-rings（ideals） of a near-ring is introduced and some of its related properties are investigated.In particular,the relationships among ordinary fuzzy subnear-rings（ideals）,（∈,∈∨ q）-fuzzy subnear-rings（ideals） and（∈,∈∨q）-fuzzy subnear-rings（ideals） of near-rings are described.Finally,some characterization of [μ]t is given by means of（∈,∈∨ q）-fuzzy ideals.

Redefined generalized fuzzy ideals of near-rings

With a new idea, we redefine generalized fuzzy subnear-rings （ideals） of a near- ring and investigate some of its related properties. Some new characterizations are given. In particular, we introduce the concepts of strong prime （or semiprime） （∈, ∈∨ q）-fuzzy ideals of near-rings, and discuss the relationship between strong prime （or semiprime） （∈, ∈∨ q）-fuzzy ideals and prime （or semiprime） （∈, ∈∨ q）-fuzzy ideals of near-rings.

Commutativity of Near-rings with Derivations

In this paper we first prove that a near-ring admits a derivation if and only if it is zero-symmetric. Also, we prove some commutativity theorems for a non-necessarily 3-prime near-ring R with a suitably-constrained derivation d satisfying the condition that d（a） is not a left zero-divisor in R for some a ∈ R. As consequences, we generalize several commutativity theorems for 3-prime near-rings admitting derivations.

Authenticated Group Key Agreement Protocol Based on Twist Conjugacy Problem in Near-Rings

Nowadays some promising authenticated group key agreement protocols are constructed on braid groups, dynamic groups, pairings and bilinear pairings. Hence the non-abelian structure has attracted cryptographers to construct public-key cryptographic protocols. In this article, we propose a new authenticated group key agreement protocol which works in non-abelian near-rings. We have proved that our protocol meets the security attributes under the assumption that the twist conjugacy search problem（TCSP） is hard in near-ring.

A Note on the Commutativity of Prime Near-rings

Let N be a prime near-ring. We show two main results on the commutativity of N： （1） If there exist k, l ∈ N such that N admits a generalized derivation D satisfying either D（[x,y]） = xk[x,y]xl for all x,y ∈ N or D（[x,y]） = -xk[x,y]xI for all x,y ∈ N, then N is a commutative ring. （2） If there exist k, l ∈ N such that N admits a generalized derivation D satisfying either D（x o y） = xk（x o y）xl for all x, y ∈ N or D（x o y） = -xk（x o y）xl for all x, y ∈ N, then N is a commutative ring. Moreover, some interesting relations between the prime graph and zero-divisor graph of N are studied.

An Application of Linear Automata to Near Rings

In this paper , we have established an intimate connection between near-nings and linear automata,and obtain the following results: 1) For a near-ring N there exists a linear GSA S with N ≌ N(S) iff (a) (N, +) is abelian, (b) N has an identity 1, (c) There is some d ∈ Nd such that N0 is generated by {1,d};2) Let h: S → S’ be a GSA- epimorphism. Then there exists a near-ring epimorphism from N(S) to N(S’) with h(qn) = h(q)h(n) for all q ∈ Q and n ∈ N(S);3) Let A = (Q,A,B,F,G) be a GA. Then (a) Aa:=(Q(N(A)) =: Qa,A,B,F/Qa × A) is accessible, (b) Q = 0N(A), (c) A/~:= (Q/~,A,B,F~), Q~) with F^([q], a):= [F(q,a)] and G^([q], a):= G(q,a) is reduced, (d) Aa/~ is minimal.