Have a personal or library account? Click to login
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order Cover

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order

Formalized Mathematics
Volume 21 (2013): Issue 3 (October 2013)
By:
Open Access
|Oct 2013

Authors

Hiroshi Yamazaki

Hiroyuki Okazaki

Kazuhisa Nakasho

Yasunari Shidama

DOI: https://doi.org/10.2478/forma-2013-0022 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 207 - 211
Published on: Oct 1, 2013
Published by: University of Bialystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 times per year
Keywords:
formalization of the commutative cyclic group,
prime power set
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2013 Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama, published by University of Bialystok
This work is licensed under the Creative Commons License.

Volume 21 (2013): Issue 3 (October 2013)