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
Preview
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
Publication frequency: 1 issue per year
Keywords:
formalization of the commutative cyclic group,
prime power set
Related subjects:
Mathematics,
Logic and set theory,
Computer sciences,
Artificial intelligence

© 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)