2
votes
0answers
30 views

Is there a sort of “two-sided semidirect product”? [duplicate]

Let $G,H$ be groups. Suppose we have both an action of $G$ on $H$, and an action of $H$ on $G$, both non-trivial. Let "$\cdot$" define the former action, and $\circ$ define the latter. What can we ...
2
votes
0answers
80 views

Multiplicative group into ring operation

My question is simple, though it proves to be much more difficult than it sounds. Suppose I want to find a binary operation to add extra structure to a multiplicative group (so it becomes a ring). ...
2
votes
1answer
101 views

To What Extent Does the Cartesian Product for Algebraic Structures Generalize?

I admit this question is quite general. If we have a group (or perhaps some other algebraic structure) $G$, we can define the Cartesian product $G\times G$ of $G$ with itself. And then powers of $G$ ...
3
votes
2answers
106 views

Why is $V_{4}$ the semi direct product of $Z_{2}$× $Z_{2}$

I'm trying to understand what is a semi direct product , so by the definition semi-direct product of G , I'd need two groups , $N$ and $H$ , where : $H∩N$ = {e} $H \cdot N$ = $G$ If $H=N=Z_{2}$ ...
1
vote
1answer
92 views

faithful irreducible representation of $A_{4} \times Q_{8}$

Construct a faithful irreducible representation of the group $A_4 \times Q_8$ $A_{4}$ is the alternating group $Q_{8}$ is the quaternions
3
votes
2answers
145 views

Simple properties of a direct product

I am working on some homework for modern algebra class. The problem I just finished seems relatively easy, but I have learned to be wary of that feeling when it comes to this material. Below are the ...
3
votes
4answers
3k views

Product of two cyclic groups is cyclic iff their orders are co-prime

Say you have two groups $G = \langle g \rangle$ with order $n$ and $H = \langle h \rangle$ with order $m$. Then the product $G \times H$ is a cyclic group if and only if $gcd(n,m)=1$. I can't seem to ...