Intereting Posts

Birationally equivalent elliptic curves
A three variable binomial coefficient identity
How to tell if some power of my integer matrix is the identity?
Why do we categorize all other (iso.) singularities as “essential”?
Lie algebra associated to an arbitrary discrete group
Dedekind's theorem on a weakly Artinian integrally closed domain without Axiom of Choice
Sequence of a product of functions in $L^p. L^q$ with $p,q$ conjugate
$k/(x^n)$ module with finite free resolution is free
Can someone explain curvature in simple terms
How is it solved: $\sin(x) + \sin(3x) + \sin(5x) +\dotsb + \sin(2n – 1)x =$
Find all positive integers $a, b, c$ such that $a^2+1$ and $b^2+1$ are both primes and $(a^2+1)(b^2+1)=c^2+1$
Can someone provide the formal definition of the tangent line to a curve?
Irreducible but not prime in $K/(X^2-Y^3)$
Universal Cover of a Surface with Boundary. What does Cantor set on Boundary Correspond to?
Distance Between A Point And A Line

Let $A,B < G$ be two subgroups of some group $G$, then I have a question on the proof of the following:

$$

|AB| = \frac{|A||B|}{|A \cap B|}.

$$

Proof: Let $D = A \cap B$, arrange $A$ and $B$ in left cosets and right cosets regarding $D$ (which is also a subgroup)

$$

A = D \cup s_2 D \cup s_3 D \cup \ldots \cup s_n D, \quad

B = D \cup D t_2 \cup D t_3 \cup \ldots \cup D t_m

$$

Now the fact that $\frac{|A||B|}{|D|}$ are distinct results from the following equations:

If

$$

s_{\alpha}D D t_{\beta} = s_{\alpha_1} D D t_{\beta_1}

$$

then

$$

s_{\alpha_1}^{-1} s_{\alpha} D = D t_{\beta} t_{\beta}^{-1}

$$

As the first member of the last equation represents an element of $A$ while the second member represents an element of $B$, it results that the last equation implies $\alpha_1 = \alpha$ and $\beta_1 = \beta$.

The last step is not clear to me, why does $\alpha_1 = \alpha$ and $\beta_1 = \beta$ follows? Is it the case that if $aD = Db$ for $a \in A$ and $b \in B$ that $a=b=1$ follows? I don’t believe this and cannot prove it either? Could someone please explain the last step?

- Showing an isomorphism between exterior products of a free module
- Efficiently find the generators of a cyclic group
- Let $p$ be a prime integer. Show that for each $a ∈ GF(p)$ there exist elements $b$ and $c$ of $GF(p)$ satisfying $a = b^2 + c^2$.
- Is there a ring homomorphism $M_2(\mathbb Z)\to \mathbb Z$?
- How to compute the gcd of $x+a$ and $x+b$, where $a\neq b$?
- Is “generalized” singular homology/cohomology a thing? If not, why not?

- If $G$ acts such that $\mbox{fix}(g) \in \{0,p\}$ for $g \ne 1$, $M$ maximal with $|G : M| = p$, then $|M / L| = p$ for semiregular $L \unlhd G$.
- When are two semidirect products isomorphic?
- Why are “algebras” called algebras?
- Is there a rank 3 boolean interval with G simple group?
- $\mathbb{Q}(\sqrt{2+\sqrt{2}})$ is Galois over $\mathbb{Q}$, but $\mathbb{Q}(\sqrt{1+\sqrt{2}})$ is not
- When is the canonical extension of scalars map $M\to S\otimes_RM$ injective?
- CW complex such that action induces action of group ring on cellular chain complex.
- A question regarding normal field extensions and Galois groups
- Center of $D_6$ is $\mathbb{Z}_2$
- The number of ring homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$

It is not true in general that $aD = Db$, $a \in A$, $b \in B$, implies $a = b$. In fact $aD = Db$ is true for **any** choice of elements $a, b \in D$. What’s being used here is the fact that the $s_\alpha$ and $t_\beta$ are a set of representatives for the cosets. This means if $s_\alpha \neq s_{\alpha_1}$ then $s_\alpha D \neq s_{\alpha_1}D$. Turning this around, if $s_\alpha D = s_{\alpha_1}D$ then we must have $s_\alpha = s_{\alpha_1}$.

Now, you know that $s_{\alpha_1}, s_\alpha \in A$ and $D \subseteq A$ so $s_{\alpha_1}^{-1}s_\alpha D \subseteq A$. Similarly, $Dt_\beta t_{\beta_1}^{-1} \subseteq B$. As these are equal you get $s_{\alpha_1}^{-1}s_\alpha D \subseteq A \cap B = D$ and hence $s_{\alpha_1}^{-1}s_\alpha D = D$. But this can be rewritten as $s_{\alpha_1}D = s_\alpha D$, therefore $s_{\alpha_1} = s_\alpha$.

A similar argument works for the $t_\beta$.

- Infinite abelian group counterexample
- Galois theory: splitting field of cubic as a vector space
- Notions of stability for differential equations
- The modular curve X(N)
- Dominoes and induction, or how does induction work?
- What is the minimum polynomial of $x = \sqrt{2}+\sqrt{3}+\sqrt{4}+\sqrt{6} = \cot (7.5^\circ)$?
- Linear isometry between $c_0$ and $c$
- $l^p$ space not having inner product
- List of Interesting Math Blogs
- Projective and injective modules; direct sums and products
- Show that $\mathbb{E}(T) = \sum\limits^\infty_{k=1}\mathbb{P}(T \geq k)$ for $T$ nonnegative integer valued
- If nonempty, nonsingleton $Y$ is a proper convex subset of a simply ordered set $X$, then $Y$ is ray or interval?
- Triangle problem related to finding an area
- Proving a relation between $\sum\frac{1}{(2n-1)^2}$ and $\sum \frac{1}{n^2}$
- Proving $\lim_{x\to x_0}f(x)$ with epsilon delta definition