This paper concerns a relationship between soft sets and n-ary polygroups. We consider the notion of an n-ary polygroup as a generalization of a polygroup and apply the notion of soft sets to n-ary polygroups. Some related notions are defined and several basic properties are discussed by using the soft set theory. Furthermore, we propose the homomorphism of n-ary polygroups and investigate the ...

A Lie algebra gQ over Q is said to be R-universal if every homomorphism from gQ to gl(n,R) is conjugate to a homomorphism into gl(n,Q) (for every n). By using Galois cohomology, we provide a short proof of the known fact that every real semisimple Lie algebra has an R-universal Q-form. We also provide a classification of the R-universal Lie algebras that are semisimple.

We define the Homomorphism Extension (HomExt) problem: given a group G, a subgroup M ≤ G and a homomorphism φ : M → H , decide whether or not there exists a homomorphism φ̃ : G → H extending φ, i.e., φ̃|M = φ. This problem arose in the context of list-decoding homomorphism codes but is also of independent interest, both as a problem in computational group theory and as a new and natural problem i...

A brief comment about items (3) and (4). If H is a subgroup of G the inclusion map is an injective homomorphism from H to G . On the other hand, the image of an injective homomorphism α : H −→ G is a subgroup that is isomorphic to H . So the study of injective homomorphisms is (up to isomorphism) the study of subgroups. After studying subgroups, we defined normal subgroup and showed several equ...

Classically, an abelian group $G$ is said to be slender if every homomorphism from the countable product $\mathbb Z^{\mathbb N}\mathbb N$ factors through projection some finite Z^n$. Various authors have proposed ge

Let $R$ be a ring and $M$ a right $R$-module. We call $M$, coretractable relative to $overline{Z}(M)$ (for short, $overline{Z}(M)$-coretractable) provided that, for every proper submodule $N$ of $M$ containing $overline{Z}(M)$, there is a nonzero homomorphism $f:dfrac{M}{N}rightarrow M$. We investigate some conditions under which the two concepts coretractable and $overline{Z}(M)$-coretractable...

let $mathcal {a} $ and $mathcal {b} $ be c$^*$-algebras. assume that $mathcal {a}$ is of real rank zero and unital with unit $i$ and $k>0$ is a real number. it is shown that if $phi:mathcal{a} tomathcal{b}$ is an additive map preserving $|cdot|^k$ for all normal elements; that is, $phi(|a|^k)=|phi(a)|^k $ for all normal elements $ainmathcal a$, $phi(i)$ is a projection, and there exists a posit...

Given a homomorphism of commutative noetherian rings R → S and an S–module N , it is proved that the Gorenstein flat dimension of N over R, when finite, may be computed locally over S. When, in addition, the homomorphism is local and N is finitely generated over S, the Gorenstein flat dimension equals sup {m ∈ Z | TorRm(E,N) 6= 0}, where E is the injective hull of the residue field of R. This r...

We consider homomorphism properties of a random graph G(n, p), where p is a function of n. A core H is great if for all e ∈ E(H), there is some homomorphism from H−e to H that is not onto. Great cores arise in the study of uniquely H-colourable graphs, where two inequivalent definitions arise for general cores H. For a large range of p, we prove that with probability tending to 1 as n → ∞, G ∈ ...

A graph homomorphism is an edge preserving vertex mapping between two graphs. Locally constrained homomorphisms are those that behave well on the neighborhoods of vertices — if the neighborhood of any vertex of the source graph is mapped bijectively (injectively, surjectively) to the neighborhood of its image in the target graph, the homomorphism is called locally bijective (injective, surjecti...