‎given a finite non-cyclic group $g$‎, ‎call $sigma(g)$ the smallest number of proper subgroups of $g$ needed to cover $g$‎. ‎lucchini and detomi conjectured that if a nonabelian group $g$ is such that $sigma(g) < sigma(g/n)$ for every non-trivial normal subgroup $n$ of $g$ then $g$ is textit{monolithic}‎, ‎meaning that it admits a unique minimal normal subgroup‎. ‎in this paper we show how thi...

In this paper von Wright’s truth-logic T′′ is considered. It seems that it is a De Morgan four-valued logic DM4 (or Belnap’s four-valued logic) with endomorphism e2. In connection with this many other issues are discussed: twin truth operators, a truth-logic with endomorphism g (or logic Tr), the lattice of extensions of DM4, modal logic V2, Craig interpolation property, von Wright–Segerberg’s ...

We define a quantum operation as a special type of endomorphism between spaces of matrices. Representations of endomorphisms are considered and an isomorphism between higher dimensional matrices and endomorphisms is derived. We then employ this isomorphism to prove various results for endomorphisms and quantum operations. For example, an endomorphism is completely positive if and only if its co...

let $g$ be a simple graph with an orientation $sigma$‎, ‎which ‎assigns to each edge a direction so that $g^sigma$ becomes a‎ ‎directed graph‎. ‎$g$ is said to be the underlying graph of the‎ ‎directed graph $g^sigma$‎. ‎in this paper‎, ‎we define a weighted skew‎ ‎adjacency matrix with rand'c weight‎, ‎the skew randi'c matrix ${bf‎ ‎r_s}(g^sigma)$‎, ‎of $g^sigma$ as the real skew symmetric mat...

An isogeny graph is a graph whose vertices are principally polarized abelian varieties and whose edges are isogenies between these varieties. In his thesis, Kohel described the structure of isogeny graphs for elliptic curves and showed that one may compute the endomorphism ring of an elliptic curve defined over a finite field by using a depth first search algorithm in the graph. In dimension 2,...

Let $A$ be a Banach ternary algebra over a scalar field $Bbb R$ or $Bbb C$ and $X$ be a ternary Banach $A$--module. Let $sigma,tau$ and $xi$ be linear mappings on $A$, a linear mapping $D:(A,[~]_A)to (X,[~]_X)$ is called a Lie ternary $(sigma,tau,xi)$--derivation, if $$D([a,b,c])=[[D(a)bc]_X]_{(sigma,tau,xi)}-[[D(c)ba]_X]_{(sigma,tau,xi)}$$ for all $a,b,cin A$, where $[abc]_{(sigma,tau,xi)}=ata...

Recently, A.A. Kirillov introduced an interesting class of associative algebras connected with the adjoint representation of G [Ki]. In our paper, such algebras are called g-endomorphism algebras. Each g-endomorphism algebra is a module over the algebra of invariants k[g]; furthermore, it is a direct sum of modules of covariants. Hence it is a free graded finitely generated module over k[g]. Th...

As mentioned several times in class, the arithmetic of quaternionic Shimura varieties is strongly controlled by the behavior of the class of CM points (just as in the case of modular curves). Just as for elliptic curves, if o is an order in an imaginary quadratic field K, one has a notion of a QM-surface with o-CM. Namely, let ι : O ↪→ A be a QM structure on an abelian surface (we are still wor...

We say the endomorphism problem is solvable for an element W in a free group F if it can be decided effectively whether, given U in F , there is an endomorphism φ of F sending W to U . This work analyzes an approach due to C. Edmunds and improved by C. Sims. Here we prove that the approach provides an efficient algorithm for solving the endomorphism problem when W is a twogenerator word. We sho...