diff --git a/src/GroupRings.jl b/src/GroupRings.jl index 261cc83..8dc3ec3 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -277,6 +277,25 @@ end (*)(X::GroupRingElem, Y::GroupRingElem) = groupring_mult(X,Y) +############################################################################### +# +# *-involution +# +############################################################################### + +function star(X::GroupRingElem) + isdefined(X, :parent) || throw("Define parent object for $X first") + RG = parent(X) + result = RG() + for (i,c) in enumerate(X.coeffs) + if c != zero(eltype(X.coeffs)) + g = inv(RG.basis[i]) + result[g] = c + end + end + return result +end + ############################################################################### # # Misc