Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*

Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*

Bibliographic Details
Main Authors:	Okazaki Hiroyuki, Shidama Yasunari
Format:	Article
Language:	English
Published:	Sciendo 2008-01-01
Series:	Formalized Mathematics
Online Access:	https://doi.org/10.2478/v10037-008-0015-1

Similar Items

Z-modules
by: Futa Yuichi, et al.
Published: (2012-01-01)

Free ℤ-module
by: Futa Yuichi, et al.
Published: (2012-12-01)

Quotient Module of Z-module
by: Futa Yuichi, et al.
Published: (2012-12-01)

Matrix of ℤ-module1
by: Futa Yuichi, et al.
Published: (2015-03-01)

Submodule of free Z-module
by: Futa Yuichi, et al.
Published: (2013-12-01)

Torsion Part of ℤ-module
by: Futa Yuichi, et al.
Published: (2015-12-01)

Torsion Z-module and Torsion-free Z-module
by: Futa Yuichi, et al.
Published: (2014-12-01)

Gaussian Integers
by: Futa Yuichi, et al.
Published: (2013-06-01)

Analyse et comparaison d'itérations discrètes : la méthode de Newton dans (Z/pZ)n
by: El Bernoussi, Souad
Published: (1982)

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
by: Nakasho Kazuhisa, et al.
Published: (2014-09-01)

Divisible ℤ-modules
by: Futa Yuichi, et al.
Published: (2016-03-01)

Lattice of ℤ-module
by: Futa Yuichi, et al.
Published: (2016-03-01)

Dual Lattice of ℤ-module Lattice
by: Futa Yuichi, et al.
Published: (2017-07-01)

Normal Subgroup of Product of Groups
by: Okazaki Hiroyuki, et al.
Published: (2011-01-01)

Isomorphisms of Direct Products of Finite Cyclic Groups
by: Arai Kenichi, et al.
Published: (2012-12-01)

Isomorphisms of Direct Products of Finite Commutative Groups
by: Okazaki Hiroyuki, et al.
Published: (2013-01-01)

Integers representable by (x+y+z)3/xyz
by: Sharon A. Brueggeman
Published: (1998-01-01)

Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables
by: Okazaki Hiroyuki, et al.
Published: (2010-01-01)

Formalization of the Data Encryption Standard
by: Okazaki Hiroyuki, et al.
Published: (2012-12-01)

Probability on Finite Set and Real-Valued Random Variables
by: Okazaki Hiroyuki, et al.
Published: (2009-01-01)

Random Variables and Product of Probability Spaces
by: Okazaki Hiroyuki, et al.
Published: (2013-01-01)

Conservation Rules of Direct Sum Decomposition of Groups
by: Nakasho Kazuhisa, et al.
Published: (2016-03-01)

Equivalent Expressions of Direct Sum Decomposition of Groups1
by: Nakasho Kazuhisa, et al.
Published: (2015-03-01)

Definition and Properties of Direct Sum Decomposition of Groups1
by: Nakasho Kazuhisa, et al.
Published: (2015-03-01)

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
by: Yamazaki Hiroshi, et al.
Published: (2013-10-01)

Uniqueness of meromorphic solutions of the difference equation R1(z)f(z+1)+R2(z)f(z)=R3(z) $R_{1}(z)f(z+1)+R_{2}(z)f(z)=R_{3}(z)$
by: Sheng Li, et al.
Published: (2019-06-01)

Uniqueness of meromorphic solutions sharing values with a meromorphic function to w(z+1)w(z−1)=h(z)wm(z) $w(z + 1)w(z - 1) = h(z)w^{m}(z)$
by: BaoQin Chen, et al.
Published: (2019-09-01)

On Integers, Primes and UniqueFactorization in Quadratic Fields
by: Hedenlund, Alice
Published: (2013)

Polynomials all of whose derivatives have integer roots in Z and Fq[T]
by: Chen, Jun Ming, et al.
Published: (1995)

Factor Rings and their decompositions in the Eisenstein integers Ring ${\huge\mathbb{Z}}\left[ \omega \right]$
by: Manouchehr Misaghian
Published: (2013-07-01)

Factor Rings and their decompositions in the Eisenstein integers Ring ${\huge\mathbb{Z}}\left[ \omega \right]$
by: Manouchehr Misaghian
Published: (2013-07-01)

Factor Rings and their decompositions in the Eisenstein integers Ring ${\huge\mathbb{Z}}\left[ \omega \right]$
by: Manouchehr Misaghian
Published: (2013-07-01)

Studies on PZ, the pregnancy zone protein
by: Schoultz, Bo von
Published: (1974)

Kartowanie geomorfologiczne i badania procesów rzeźbotwórczych w służbie gospodarki (z badań Zakładu Geomorfologii i Hydrologii IGiPZ PAN w Krakowie)
by: Leszek Starkel
Published: (2014-10-01)

Grafisk profilering med praktisk tillämpning på PZ hair : Graphic profiling with a practical application on PZ hair
by: Bark, Ning
Published: (2005)

Hopf Extension Theorem of Measure
by: Endou Noboru, et al.
Published: (2009-01-01)

More on Continuous Functions on Normed Linear Spaces
by: Okazaki Hiroyuki, et al.
Published: (2011-01-01)

Higher-Order Partial Differentiation
by: Endou Noboru, et al.
Published: (2012-12-01)

Set of Points on Elliptic Curve in Projective Coordinates
by: Futa Yuichi, et al.
Published: (2011-01-01)

Functional Space C(ω), C0(ω)
by: Kanazashi Katuhiko, et al.
Published: (2012-01-01)