%0 Journal Article %T Some Properties of p-Groups and Commutative p-Groups %A Xiquan Liang %A Dailu Li %J Formalized Mathematics %@ 1898-9934 %D 2011 %I %R 10.2478/v10037-011-0002-9 %X This article describes some properties of p-groups and some properties of commutative p-groups. %U http://versita.metapress.com/content/k6471800l2435474/?p=25816f9e6d274cf5ab90abc2a2c39abd&pi=1