On groups satisfying .
Kaplan, Gil, Lev, Arieh (2006)
Beiträge zur Algebra und Geometrie
Similarity:
Kaplan, Gil, Lev, Arieh (2006)
Beiträge zur Algebra und Geometrie
Similarity:
Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama (2013)
Formalized Mathematics
Similarity:
We have been working on the formalization of groups. In [1], we encoded some theorems concerning the product of cyclic groups. In this article, we present the generalized formalization of [1]. First, we show that every finite commutative group which order is composite number is isomorphic to a direct product of finite commutative groups which orders are relatively prime. Next, we describe finite direct products of finite commutative groups
Lytkina, D.V., Kuznetsov, A.A. (2007)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Similarity:
Miao, Long, Guo, Wenbin (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Gill, Nick (2007)
Beiträge zur Algebra und Geometrie
Similarity:
Nguyêñ Quôć Thǎńg (2003)
Journal of Lie Theory
Similarity:
Ivko, M.N. (2006)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Similarity:
Bonciocat, N.C., Zaharescu, A. (2005)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
Iranzo, M.J., Pérez-Monasor, F., Medina, J. (2001)
Sibirskij Matematicheskij Zhurnal
Similarity:
Guo, Wenbin, Li, Baojun (2007)
Beiträge zur Algebra und Geometrie
Similarity:
Vdovin, E.P. (2000)
Siberian Mathematical Journal
Similarity:
Zyubin, S. A., Levchuk, V. M. (2003)
Sibirskij Matematicheskij Zhurnal
Similarity:
P. Zieschang (1993)
Colloquium Mathematicae
Similarity:
Russo, Francesco (2009)
Acta Universitatis Apulensis. Mathematics - Informatics
Similarity: