C-graphs - A Mixed Graphical Representation of Groups

Corresponding to each group Γ, a mixed graph G = (Γ,E,E′) called C-graph is assigned, such that the vertex set of G is the group itself. Two types of adjacency relations, that is, one way and two way communication is defined for vertices, to get a clear idea of the underlying group structure. An effort to answer the question, ‘Is there any relation between the order of an element in the group and degrees of the corresponding vertex in the C-graph’, by proposing a mathematical formula connecting them is made. Established an upper bound for the total number of edges in a C-graph G. For a vertex z in G, the concept Connector Edge CEz is defined, which convey some structural properties of the group Γ. The Connector Edge Set is defined for both a vertex z and the whole C-graph G, and is denoted as C E z and C E G respectively. Proposed the result, C E G = E if and only if |Γ| = 2n, n ∈ N. Finally, the properties of G, which the Connector Edge Set C E G carry out are discussed.

Quantum Factoring Algorithm: Resource Estimation and Survey of Experiments

It is known that Shor’s algorithm can break many cryptosystems such as RSA encryption, provided that large-scale quantum computers are realized. Thus far, several experiments for the factorization of the small composites such as 15 and 21 have been conducted using small-scale quantum computers. In this study, we investigate the details of quantum circuits used in several factoring experiments. We then indicate that some of the circuits have been constructed under the condition that the order of an element modulo a target composite is known in advance. Because the order must be unknown in the experiments, they are inappropriate for designing the quantum circuit of Shor’s factoring algorithm. We also indicate that the circuits used in the other experiments are constructed by relying considerably on the target composite number to be factorized.

Semi-Baer modules

In this paper, we introduce the concepts of semi-Baer, semi-quasi Baer, semi-p.q. Baer and semi-p.p. modules as a generalization of Baer, quasi Baer, p.q. Baer and p.p. modules respectively. To define these concepts, we introduce concepts of multiplicative order of an element and a multiplicatively finite element in rings. Further, we characterize these concepts in modules over reduced rings. Also, it is proved that semi-Baer and semi-quasi Baer properties are preserved by polynomial extensions and power series extensions of modules. It is proved that for a ring R and a monoid G, if the semi group ring RG is semi-Baer (semi-quasi Baer) then so is R.

Groups – Additive Notation

We translate the articles covering group theory already available in the Mizar Mathematical Library from multiplicative into additive notation. We adapt the works of Wojciech A. Trybulec [41, 42, 43] and Artur Korniłowicz [25]. In particular, these authors have defined the notions of group, abelian group, power of an element of a group, order of a group and order of an element, subgroup, coset of a subgroup, index of a subgroup, conjugation, normal subgroup, topological group, dense subset and basis of a topological group. Lagrange’s theorem and some other theorems concerning these notions [9, 24, 22] are presented. Note that “The term ℤ-module is simply another name for an additive abelian group” [27]. We take an approach different than that used by Futa et al. [21] to use in a future article the results obtained by Artur Korniłowicz [25]. Indeed, Hölzl et al. showed that it was possible to build “a generic theory of limits based on filters” in Isabelle/HOL [23, 10]. Our goal is to define the convergence of a sequence and the convergence of a series in an abelian topological group [11] using the notion of filters.

The Degree of the Splitting Field of a Random Polynomial over a Finite Field

The asymptotics of the order of a random permutation have been widely studied. P. Erdös and P. Turán proved that asymptotically the distribution of the logarithm of the order of an element in the symmetric group $S_{n}$ is normal with mean ${1\over2}(\log n)^{2}$ and variance ${1\over3}(\log n)^{3}$. More recently R. Stong has shown that the mean of the order is asymptotically $\exp(C\sqrt{n/\log n}+O(\sqrt{n}\log\log n/\log n))$ where $C=2.99047\ldots$. We prove similar results for the asymptotics of the degree of the splitting field of a random polynomial of degree $n$ over a finite field.