On Rough Subgroup of a Group

• Autorzy: Xiquan Liang , Dailu Li
• Języki publikacji: EN

Abstrakty

EN

This article describes a rough subgroup with respect to a normal subgroup of a group, and some properties of the lower and the upper approximations in a group.

• Wydawca: De Gruyter Open
• Czasopismo: Formalized Mathematics
• Rocznik: 2009
• Tom: 17
• Numer: 3
• Strony: 213-217

Daty

wydano

2009-01-01

online

2010-07-08

Twórcy

autor

Xiquan Liang

• Qingdao University of Science and Technology, China

autor

Dailu Li

• Qingdao University of Science and Technology, China

Bibliografia

• [1] Wojciech A. Trybulec. Classes of conjugation. Normal subgroups. Formalized Mathematics, 1(5):955-962, 1990.
• [2] Wojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821-827, 1990.
• [3] Wojciech A. Trybulec. Subgroup and cosets of subgroups. Formalized Mathematics, 1(5):855-864, 1990.
• [4] Wojciech A. Trybulec. Lattice of subgroups of a group. Frattini subgroup. Formalized Mathematics, 2(1):41-47, 1991.
• [5] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.

Identyfikatory

DOI

10.2478/v10037-009-0026-6