7.99 DirectProduct for Groups

GroupOps.DirectProduct( L )

Let L be a list of groups G_1, ..., G_n. Then a group element g of the direct product D is represented as record containing the following components.

element:

a list g_1 in G_1, ..., g_n in G_n describing g.

domain:

contains GroupElements.

isGroupElement:

contains true.

isDirectProductElement:

contains true.

operations:

contains the operations record DirectProductElementOps (see Domain).

Previous Up Top Next
Index