Search

Based on the minimal and simple representations, we introduce two Jacobson-type Hoehnke radicals, m-radical and s-radical, of a semiring $S$. Every minimal (simple) $S$-semimodule is a quotient of $S$ by a regular right congruence (maximal) $\mu$ on $S$ such that $[0]_\mu$ is a maximal $\mu$-saturated right ideal in $S$. Thus the m(s)-radical becomes an intersection of some regular congruences. Finally, every semisimple semiring is characterized as a subdirect product of primitive semirings; and every s-primitive semiring is represented as a 1-fold transitive subsemiring of the semiring of all endomorphisms on a semimodule over a division semiring.

In this paper, we introduce a graph structure called linear dependence graph of a finite dimensional vector space over a finite field. Some basic properties of the graph like connectedness, completeness, planarity, clique number, chromatic number etc. have been studied. It is shown that two vector spaces are isomorphic if and only if their corresponding linear dependence graphs are isomorphic. Also adjacency spectrum, Laplacian spectrum and distance spectrum of the linear dependence graph have been studied., 3 figures

A semiring $S$ which is a union of rings is called completely regular, if moreover, it is orthodox then $S$ is called an orthoring. Here we study the orthorings $S$ such that $E^+(S)$ is a band semiring. Every band semiring is a spined product of a left band semiring and a right band semiring with respect to a distributive lattice. A similar spined product decomposition for the band orthorings have been proved. The interval $[\mathbf{Ri}, \mathbf{BOR}]$ is lattice isomorphic to the lattice $\mathcal{L}(\mathbf{BI})$ of all varieties of band semirings, where $\mathbf{Ri}$ and $\mathbf{BOR}$ are the varieties of all rings and band orthorings, respectively.

Here we describe the least distributive lattice congruence $\eta$ on an idempotent semiring in general and characterize the varieties $D^\bullet, L^\bullet$ and $R^\bullet$ of all idempotent semirings such that $\eta=\mathcal{D}^\bullet, \mathcal{L}^\bullet$ and $\mathcal{R}^\bullet$, respectively. If $S \in D^\bullet [L^\bullet, R^\bullet]$, then the multiplicative reduct $(S, \cdot)$ is a [left, right] normal band. Every semiring $S \in D^\bullet$ is a spined product of a semiring in $L^\bullet$ and a semiring in $R^\bullet$ with respect to a distributive lattice., Comment: arXiv admin note: text overlap with arXiv:1706.02670

For a finite group $G$ with a normal subgroup $H$, the normal subgroup based power graph of $G$, denoted by $\Gamma_H(G)$ whose vertex set $V(\Gamma_H(G))=(G\setminus H)\bigcup \{e\}$ and two vertices $a$ and $b$ are edge connected if $aH=b^mH$ or $bH=a^nH$ for some $m, n \in \mathbb{N}$. In this paper we obtain some fundamental characterizations of the normal subgroup based power graph. We show some relation between the graph $\Gamma_H(G)$ and the power graph $\Gamma(\frac{G}{H})$. We show that $\Gamma_H(G)$ is complete if and only of $\frac{G}{H}$ is cyclic group of order $1$ or $p^m$, where $p$ is prime number and $m\in \mathbb{N}$. $\Gamma_H(G)$ is planar if and only if $|H|=2$ or $3$ and $\frac{G}{H}\cong \mathbb{Z}_2\times \mathbb{Z}_2 \times \cdots \times \mathbb{Z}_2$. Also $\Gamma_H(G)$ is Eulerian if and only if $|G|\equiv |H|$ mod$ 2$., Comment: 14 pages, 4 figures

Given a group $G$, the enhanced power graph of $G$ denoted by $\mathcal{G}_e(G)$, is the graph with vertex set $G$ and two distinct vertices $x, y$ are edge connected in $\mathcal{G}_e(G)$ if there exists $z\in G $ such that $x=z^m$ and $ y=z^n $, for some $m, n\in \mathbb{N}$. In this article, we characterize the enhanced power graph $\mathcal{G}_e(G)$ of $G$. The graph $\mathcal{G}_e(G)$ is complete if and only if $G$ is cyclic, and $\mathcal{G}_e(G)$ is Eulerian if and only if $|G|$ is odd. We classify all abelian groups and also all non-abelian $p-$groups $G$ for which $\mathcal{G}_e(G)$ satisfies the cone property., Comment: 10 pages

In 2013, Jemal Abawajy, Andrei Kelarev and Morshed Chowdhury [1] proposed a problem to characterize the finite groups whose power graphs are Cayley graphs of some groups. Here we give a complete answer to this question.