Skip to main content
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: ,  ,   and    
Open Access
|Oct 2013
Authors

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 Białystok
In partnership with: Paradigm Publishing Services
Keywords:
formalization of the commutative cyclic group,
prime power set
Related subjects:
Computer sciences,
Artificial intelligence,
Computer sciences, other,
Mathematics,
Logic and set theory,
General mathematics

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

Volume 21 (2013): Issue 3 (October 2013)
Previous article
Next article