F - external direct products

F1 - definition
F2 - properties
F3 - groups of units modulo n