On groups satisfying .
Kaplan, Gil, Lev, Arieh (2006)
Beiträge zur Algebra und Geometrie
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: